Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

Теоретические основы логики предикатов




Нием.

Математическая логика - это функционально-полный набор формальных инструментальных средств, предназначенных для моделирования и реализации индуктивных и дедуктивных рассуждений[6,11]. Эти средства включают (см. рис.2.9):

1) формальные языки логики, предназначенные для постановки интеллектуальных задач и представления (моделирования) знаний в аксиоматических теориях любых предметных областей;

2) математические структуры для представления (моделирования) систем знаний, эквивалентных преобразований систем знаний, манипулирования знаниями и формулирования новых знаний;

3) формальные правила вывода и алгоритмы как инструментарий для обоснования достоверности рассуждений, т.е. доказательства истинности заключения в рассуждении.

 

 


Рис. 2.9. Составные части математической логики.

 

В основаниях классической математики известно несколько логических систем, но в качестве фундамента математической логики обоснованно принята одна из них – логика первого порядка, имеющая еще и другие названия – логика предикатов, исчисление предикатов. Поэтому для овладения основами искусственного интеллекта необходимо глубокое изучение теоретических основ логики предикатов, которые изложены в следующем разделе пособия. Основное преимущество использования логики предикатов для представления знаний заключается в том, что обладающий хорошо понятными математическими свойствами мощный механизм вывода может быть непосредственно запрограммирован. Кроме этого, надо еще знать, чем дополняют другие логические системы логику предикатов и в каких ситуациях следует прибегать к их помощи. Следует также знать о графических представлениях логики предикатов – семантических сетях и сетях фреймов, в частности об их преимуществах и недостатках в сопоставлении с логикой предикатов. Вернуться





Дата добавления: 2014-01-04; Просмотров: 353; Нарушение авторских прав?;


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



ПОИСК ПО САЙТУ:


Читайте также:
studopedia.su - Студопедия (2013 - 2022) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление
Генерация страницы за: 0.013 сек.