Автор работы: Пользователь скрыл имя, 29 Мая 2013 в 15:47, курсовая работа
В символической логике вывод определяется более строго — как последовательность высказываний или формул, состоящая из аксиом, посылок и ранее доказанных формул (теорем). Последняя формула данной последовательности, выведенная как непосредственное следствие предшествующих формул по одному из правил вывода, принятых в рассматриваемой аксиоматической теории, представляет собой выводимую формулу. Поскольку каждая формальная система имеет свои собственные аксиомы и правила вывода, постольку во всякой системе понятие вывода носит специфический характер.
Логический вывод………………………………………………….3
Общее определение искусственного интеллекта…………..…….4
Экспертная система………………………………………………..6
Машина логического вывода…………………………………….10
Блок схема машины логического вывода…………………….…11