Атрибуционное исчисление - Attributional calculus

Атрибуционное исчисление логика и система представления, определяемая Рышард С. Михальски. Он сочетает в себе элементы логика предикатов, пропозициональное исчисление, и многозначная логика. Атрибутивное исчисление обеспечивает формальный язык для естественная индукция, индуктивный процесс обучения, результаты которого имеют естественные для людей формы.

использованная литература

Михальский, Р.С., "Атрибутное исчисление: язык логики и представления для естественной индукции", отчеты лаборатории машинного обучения и вывода, MLI 04-2, Университет Джорджа Мейсона, Фэрфакс, Вирджиния, апрель 2004 г.