Студопедия

КАТЕГОРИИ:


Архитектура-(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)

Лекция №2. Основная структура в логических программах – это терм




Резюме

Основная структура в логических программах – это терм. Терм есть константа, переменная или составной терм. Константы обозначают конкретные объекты, такие, как целые числа и атомы, в то время как переменная обозначает единственный, но неопределенный объект. Символом атома может служить любая последовательность букв, которая берется в кавычки, если ее можно спутать с другими символами (такими, как переменные или целые числа). Символы переменных отличаются начальной прописной буквой.

Составной терм строится из функтора (называемого главным функтором терма) и последовательности из одного или более термов, называемых аргументами. Функтор задается своим именем, т.е. некоторым атомом, и арностью, или числом аргументов. Константы рассматриваются как 0-арные функторы. Синтаксически составной терм записывается как f(t,t,…t), где f – имя n -арного функтора, а t аргументы.. Для n -арного функтора f используется запись f/n. Функторы с одинаковыми именами, но различными арностями различны. Терм является основным, если в нем не содержится переменных; в противном случае терм неосновной.

Цели – это атомы или составные, в общем случае неосновные термы.

Подстановка – это конечное (возможно, пустое) множество пар вида Х = t, где X – переменная, t – терм, причем переменные в левых частях пар различны. Для любой подстановки Q = {X= t,X=t,…,X=t } и терма S терм SQ обозначает результат одновременной замены каждого вхождения в S переменной Xна t,1<i<n. Терм SQ называется примером терма S.

Логическая программа – конечное число предложений. Предложением, или правилом, является замкнутое квантором общности утверждение вида

A ¬ B,B,…B, k³0,

где A и B – цели. Декларативное понимание такого утверждения – «А следует из конъюнкции целей B;», процедурная интерпретация – «для ответа на вопрос А ответь на конъюнктивный вопрос B,B,…B». А называется заголовком предложения, последовательность Bтелом предложения. При k = 0 предложение называется фактом или единичным предложением и имеет запись A., декларативное понимание – «A истинно», процедурная интерпретация – «цель А выполнена». При k = 1 предложение называется итерационным.

Вопросом называется конъюнкция вида

A,…,A?n>0.

где A цели. Считается, что переменные в вопросе связаны квантором существования.

Вычисление логической программы Р строит пример заданного вопроса, логически выводимый из Р. Цель G выводимаиз Р, если существует такой пример А цели G, что A ¬ B,…B, n ³ 0, – основной пример предложения в Р и каждое В, выводимо из Р. Выводимость цели из тождественного факта рассматривается как особый случай.

С помощью логической выводимости индуктивно определяется значение программы Р. Множество основных примеров фактов из Р принадлежит значению Р. Основная цель G входит в значение, если существует такой основной пример G ¬ B,…B правила из Р, что B,…B входят в значение Р. Таким образом, значение состоит из тех основных примеров, которые выводятся из программы.

Подразумеваемое значение М программы Р также задается в виде множества основных единичных целей. Программа Р корректна относительно подразумеваемого значения М, если М(Р) образует подмножество М. Программа Р полна относительно М, если М – подмножество М(Р). Ясно, что программа корректна и полна относительно ее подразумеваемого значения (наиболее желательный случай), когда М = М(Р).

Основная цель называется истинной относительно подразумеваемого значения, если она принадлежит этому значению. В противном случае цель называется ложной.





Поделиться с друзьями:


Дата добавления: 2014-01-07; Просмотров: 302; Нарушение авторских прав?; Мы поможем в написании вашей работы!


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



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




Генерация страницы за: 0.008 сек.