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