Атрибутивное исчисление
Атрибутивное исчисление — это логика и система представления, определенная Рышардом С. Михальским . Он сочетает в себе элементы логики предикатов , исчисления высказываний и многозначной логики . Атрибутивное исчисление обеспечивает формальный язык для естественной индукции, которая представляет собой индуктивный процесс обучения, результаты которого представлены в удобочитаемых формах.
Ссылки
[ редактировать ]- Михальски, Р.С., «АТРИБУЦИОННОЕ ИСЧИСЛЕНИЕ: язык логики и представления для естественной индукции», Отчеты Лаборатории машинного обучения и вывода, MLI 04–2, Университет Джорджа Мейсона, Фэрфакс, Вирджиния, апрель 2004 г.