КАТЕГОРИИ: Архитектура-(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) |
Логические основы Пролога
Введение Традиционно под программой понимают последовательность операторов (команд, выполняемых компьютером). Этот стиль программирования принято называть императивным. Программируя в императивном стиле, программист должен объяснить компьютеру, как нужно решать задачу. Противоположный ему стиль программирования — так называемый декларативный стиль, в котором программа представляет собой совокупность утверждений, описывающих фрагмент предметной области или сложившуюся ситуацию. Программируя в декларативном стиле, программист должен описать, что нужно решать. В их основе лежит формализованная человеческая логика. Человек лишь описывает решаемую задачу, а поиском решения занимается декларативная система программирования. Декларативные языки можно назвать языками наивысшего уровня, т.к. они очень близки к человеческому языку и мышлению. По статистике строка исходного текста на языке Пролог соответствует 14 строкам на императивном языке. Основные области языка Пролог: · автоматизированный перевод с одного языка на другой · быстрая разработка интерфейсов для существующих систем · символьные вычисления для решения уравнений, дифференцирование и интегрирование · экспертные системы и оболочки · автоматическое доказательство теорем · полуавтоматическое составление расписаний · САПР Области, для которых Пролог не предназначен: большой объем арифметических вычислений (обработка аудио, видео и т.д.); написание драйверов. Задана формализованная система F, если определены: 1. Алфавит – счетное множество символов 2. Формулы системы – некоторое подмножество всех слов, которое можно образовать из символов, входящих в алфавит 3. Аксиомы – выделенное множество формул системы 4. Правила вывода системы – конечное множество отношений между формулами системы. Зададим логику первого порядка (или логику предикатов), на которой основывается Пролог. Язык логики предикатов — один из формальных языков, наиболее приближенных к человеческому языку. Алфавит логики первого порядка составляют следующие символы:
Если предикатный или функциональный символ имеет N – аргументов, он называется N- местным предикатным или функциональным символом. Терм – выражение, образованное из переменных и констант, возможно с применением функций. Все объекты в Пролог представляются в виде Термов. Атомная (элементарная) формула получается путём применения предиката к термам. Формулы логики первого порядка получаются следующим образом: 1. Всякая атомная формула есть формула 2. Если А и В – формулы, х – переменная, тогда - тоже формулы. 3. Других формул нет Литералом называют атомную формулу или отрицание атомной формулы. Атом называют положительным литералом, а его отрицание – отрицательным литералом. Дизъюнкт – дизъюнкция конечного числа литералов. Если дизъюнкт не содержит литералов, его называют пустым дизъюнктом. КНФ – конъюнкция конечного числа дизъюнктов. Существуют алгоритмы приведения произвольной формулы исчисления к множеству дизъюнктов. Унификация позволяет отождествлять формулы логики 1-го порядка путем замены свободных переменных на термы.
Дата добавления: 2014-01-07; Просмотров: 528; Нарушение авторских прав?; Мы поможем в написании вашей работы! Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет |