Дипломная работа на тему: Формальная онтология и языки искусственного интеллекта

План работы:

Введение 3
Глава 1. История развития формальной онтологии 7
1.1. Определение формальной онтологии 7
1.2. История развития формальной онтологии 8
1.2.1. Брентано в основании формальной онтологии и реизма 9
1.2.2. Практическое выстраивание системы формальной онтологии на примере работ Ежи Пержановски 11
1.2.3. Систематизация онтологии Ричарда Поли 15
1.2.4. Современное понимание онтологии в смежных науках 18
1.3. Заключение об истории формальной онтологии 22
Глава 2. Формальные онтологии как инструмент систематизации информации 25
2.1. Язык OWL для веб-поиска 25
2.2. Проект Cyc 26
Глава 3. Анализ принципов программирования онтологического языка GOL 31
3.1. Сущность и структура GOL 31
3.2. Соответствие GOL критериям формальной онтологии. Методы GOL 34
3.3. Пространство и время в системе GFO 37
3.4. Переход базы знаний одной онтологии в другую 38
3.5. Заключение по языку GOL 38
Глава 4. Формальная онтология как метод классических языков программирования 40
4.1. Парадигмы программирования и существующие онтологические системы на классических языках программирования 40
4.1.1. Язык KIF 41
4.2. Применимость формальной онтологии для написания сильного и слабого искусственного интеллекта 43
Заключение 46
Список литературы 52