1.2. Логическая программа. Основные конструкции - Лекция введение. Логическая программа. Основные

^ 1.2. Логическая программка. Главные конструкции
Логическая программка - это огромное количество аксиом и правил, задающих дела меж объектами. Вычислением логической программки является вывод следствий из программки. Программка задает огромное количество следствий, которое и представляет собой значение программки 1.2. Логическая программа. Основные конструкции - Лекция введение. Логическая программа. Основные. Искусство логического программирования состоит в построении ясных и роскошных программ с требуемым значением. Главные конструкции логического программирования - термы и утверждения - взяты из логики. Имеются три главных вида утверждений: факты, правила и 1.2. Логическая программа. Основные конструкции - Лекция введение. Логическая программа. Основные вопросы. Имеется единственная структура данных: логический терм.

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

^ Составной терм строится из функтора (именуемого основным функтором терма) и последовательности из 1-го либо более термов, именуемых аргументами. Функтор задается своим именованием, т 1.2. Логическая программа. Основные конструкции - Лекция введение. Логическая программа. Основные. е. неким атомом, и арностью., либо числом аргументов. Константы рассматриваются как 0-арные функторы. Синтаксически составной терм записывается как

f (t1, t2, ..., tn), где f -имя n- арного функтора, а ti - аргументы.

Для 1.2. Логическая программа. Основные конструкции - Лекция введение. Логическая программа. Основные n-арного функтора f употребляется запись f/п. Функторы с схожими именами, но разными арностями различны.

Терм является основ­ным, если в нем не содержится переменных; в неприятном случае терм неосновной. Так, foo (а 1.2. Логическая программа. Основные конструкции - Лекция введение. Логическая программа. Основные,b)-основной терм, а bar(Х)-нет.

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

• Определение: Подстановка -это конечное (может быть, пустое) огромное количество пар вида X = t, где X 1.2. Логическая программа. Основные конструкции - Лекция введение. Логическая программа. Основные-переменная, t-терм, при этом переменные в левых частях пар различны, т.е. Xi =ti, где Xi – переменная, ti – терм; Xi  Xj при i  j и Xi не заходит 1.2. Логическая программа. Основные конструкции - Лекция введение. Логическая программа. Основные в ti при всех i и j.

Примером подстановки, состоящей из одной пары, может служить {X = исаак}. Подстановки могут применяться к термам.

Итог внедрения подстановки  к терму А, обозначается A, есть терм, приобретенный подменой 1.2. Логическая программа. Основные конструкции - Лекция введение. Логическая программа. Основные каждого вхождения переменной X в А на t для каждой пары вида X = t из .

Итог внедрения {X = исаак} к терму отец (авраам, X) есть терм отец (авраам, исаак).

• Определение: А именуется 1.2. Логическая программа. Основные конструкции - Лекция введение. Логическая программа. Основные примером В, если найдется такая подстановка , что А= В, т.е. для хоть какой подстановки  = {X1 = t1, X2 = t2, ... , Xn = tn} и терма B терм В обозначает итог одновременной подмены каждого вхождения 1.2. Логическая программа. Основные конструкции - Лекция введение. Логическая программа. Основные в B переменной Xi на ti, 1 i  n.

По определению цель отец (авраам, исаак) является примером терма отец (авраам.Х). Аналогично мама (сара, исаак) - пример терма мама (X, У) при подстановке 1.2. Логическая программа. Основные конструкции - Лекция введение. Логическая программа. Основные {X = сара, У = исаак}.

• Определение: С именуется общим примером термов А и В, если С есть пример А и С есть пример В. Другими словами, если найдутся такие подстановки 1 и 2, что С = А1, синтаксически 1.2. Логическая программа. Основные конструкции - Лекция введение. Логическая программа. Основные совпадает с B2. К примеру, цели плюс(0,3,У) и плюс(0,Х,Х) имеют общий пример плюс(0,3,3).Внедрения подстановки {У = 3} к плюс(0,3,У) и подстановки {X = 3} к плюс(0,Х, X) приводят к 1.2. Логическая программа. Основные конструкции - Лекция введение. Логическая программа. Основные плюс (0,3,3).

В общем случае при поиске ответа на вопрос с внедрением факта ищется общий пример вопроса и факта. Если общий пример существует, то он и будет ответом. В неприятном случае ответ - нет.

• Определение 1.2. Логическая программа. Основные конструкции - Лекция введение. Логическая программа. Основные: Логическая программа- конечное огромное количество правил. Предложением либо прави­лом является замкнутое квантором общности утверждение вида

А  В1, В2 ,...,Bn , n  0,

где А и Bi -цели. Декларативное осознание такового утверждения - «А следует из 1.2. Логическая программа. Основные конструкции - Лекция введение. Логическая программа. Основные конъюнкции целей Bi», процедурная интерпретация - «для ответа на вопрос А ответь на конъюнктивный вопрос В1,В2,...,Bn». А именуется заголовком предложения, последовательность Bi- телом предложения. При к = 0 предложение именуется фактом либо 1.2. Логическая программа. Основные конструкции - Лекция введение. Логическая программа. Основные единичным предложением и имеет запись А., декларативное понима­ние - A истинно», процедурная интерпретация «цель А выполнена». При к = 1 предложение именуется итерационным

•Определение: Цель G с кванторами существования является логическим следствием программки 1.2. Логическая программа. Основные конструкции - Лекция введение. Логическая программа. Основные Р, если в Р найдется такое предложение с главным примером

А  В1, В2 ,...,Bn , n  0,

что В1, В2 ,...,Bn - логические следствия Р и A-пример G.

Заметим, что цель G логически следует из программки Р 1.2. Логическая программа. Основные конструкции - Лекция введение. Логическая программа. Основные и тогда только тогда, когда G может быть выведена из Р при помощи конечного числа применений обобщенного правила modus ponens.

•Определение: Обобщенный закон modus ponens утверждает, что из правила

R = (А 1.2. Логическая программа. Основные конструкции - Лекция введение. Логическая программа. Основные  В1, В2 ,...,Bn )

и фактов

B1’

B2’

.

.

.

Bn’

выводится А' при условии, что
А’  В1’, В2’ ,..., Bn’ является примером R.

• Определение: Вопросом именуется конъюнкция вида

A1, A2 ,..., An?, n > 0,

где Ai -цели. Считается, что переменные 1.2. Логическая программа. Основные конструкции - Лекция введение. Логическая программа. Основные в вопросе связаны квантором суще­ствования.


Вычисление логической программки Р строит пример данного вопроса, логически выводимый из Р. Цель G выводима из Р, если существует таковой пример А цели G, что 1.2. Логическая программа. Основные конструкции - Лекция введение. Логическая программа. Основные А  В1, В2 ,...,Bn , п0-основной пример предложения в Р и каждое Bi,выводимо из Р. Выводимость цели из тождественного факта рассматривается как особенный случай.

При помощи логической выводимости индуктивно определяется значение программки Р 1.2. Логическая программа. Основные конструкции - Лекция введение. Логическая программа. Основные, обозначаемым M(P). Огромное количество главных примеров фактов из Р принадлежит значению Р. Основная цель G заходит в значение, если существует таковой основной пример G  В1, В2 ,...,Bn правила из Р, что 1.2. Логическая программа. Основные конструкции - Лекция введение. Логическая программа. Основные В1, В2 ,...,Bn входят в значение Р. Таким макаром, значение состоит из числа тех главных примеров, которые выводятся из прог­раммы. Из этого определения следует, что значением логической программки, по­строенной просто 1.2. Логическая программа. Основные конструкции - Лекция введение. Логическая программа. Основные из главных фактов, является сама программка. Другими словами, для обычных программ программка «значит ровно то, что написано». Разглядим программку

отец (фарра, авраам). мужик (фарра).

отец (фарра, нахор). мужик (авраам 1.2. Логическая программа. Основные конструкции - Лекция введение. Логическая программа. Основные).

отец (фарра, аран). мужик (нахор).

отец (авраам, исаак). мужик (аран).

отец (аран, лот). мужик (исаак).

отец (аран, милка). мужик (лот).

отец (аран, иска). дама (сара).

мама (сара, исаак). дама (милка).

дама (иска).

отпрыск (Х 1.2. Логическая программа. Основные конструкции - Лекция введение. Логическая программа. Основные, У): - отец (У, Х), мужик (Х).

дочь (Х, У) :- отец(У, Х), дама (Х).

Программка 1.1. Домашняя база данных

Что будет ее значением? Оно содержит не считая фактов об отцах и матерях, очевидно обозначенных в 1.2. Логическая программа. Основные конструкции - Лекция введение. Логическая программа. Основные программке, также все факты вида родитель (X, У) для каждой пары X и Y, таковой, что факт отец (X, У) либо мама (X, У) находятся в программке. Этот пример 1.2. Логическая программа. Основные конструкции - Лекция введение. Логическая программа. Основные указывает, что значение программки в очевидном виде содержит все то, что программка утверждает неявно.

Если представить, что подразумеваемое значение программки также задано в виде огромного количества главных единичных целей, то можно спросить, как соотносятся действительное 1.2. Логическая программа. Основные конструкции - Лекция введение. Логическая программа. Основные и подразумеваемое значения программки. Мы можем проверить, все ли утверждения программки корректны либо вычисляет ли программка все, что нам требуется.

Неформально мы называем программку корректной относительно некого данного значения М, если значение 1.2. Логическая программа. Основные конструкции - Лекция введение. Логическая программа. Основные М (Р) программки Р является подмножеством М. Другими словами, корректная программка не вычисляет того, что не требуется. Программка полна относительно М. если М есть подмножество М(Р), т.е 1.2. Логическая программа. Основные конструкции - Лекция введение. Логическая программа. Основные. полная программка вычисляет все, что задано. Как следует, программка Р корректна и полна относительно данного значения М, если М = М(Р).

Замечание: В тех случаях, когда из имен предикатов либо констант интуитивно ясно, что является 1.2. Логическая программа. Основные конструкции - Лекция введение. Логическая программа. Основные их значением, будем считать, что подразумеваемое значение определяется в программке смыслом имен.

К примеру, если в программке для дела отпрыск содержится только 1-ая теорема, которая ссылается на отношение отец, то программка неполна 1.2. Логическая программа. Основные конструкции - Лекция введение. Логическая программа. Основные относитель­но интуитивно понимаемого значения дела отпрыск, потому что цель отпрыск (иссак, сара) невыводима. Если к программке добавить правило

отпрыск (Х, У) :- мама (Х,У), мужик(У).

то получим программку, неправильную относительно 1.2. Логическая программа. Основные конструкции - Лекция введение. Логическая программа. Основные подразумеваемого значения ввиду выводимости утверждения отпрыск (сара, исаак).

Будем именовать основную цель настоящей относительно подразумеваемого значения, если цель заходит в данное значение, и неверной в неприятном случае. В тех случаях, когда подразумеваемое значение 1.2. Логическая программа. Основные конструкции - Лекция введение. Логическая программа. Основные определяется именами предикатов и констант, содержа­щихся в программке, цели, входящие в такие значения, будем именовать просто настоящими.




12-nachalo-formirovaniya-antirusskih-nastroenij-v-liberalnoj-srede-politicheskij-diskurs-i-osnovnie-metodi-ego.html
12-namagnichivayushie-sili-i-magnitnie-polya-nesimmetrichnih-dvuhfaznih-mikromashin.html
12-nauchno-issledovatelskie-raboti-po-grantam-naprimer-rgnf-rffi-dogovoram-i-zakazam.html