double arrow

Определение отношений на основе фактов и правил

Центральное понятие- отношениемеждуобъектами, представленное в терминах ограничения условий и целей. Программист мыслит в терминах структуры отношений, не заботясь о точности их реализации.

Отношение – это обобщение функции, которое определяется как подмножество прямого произведения множеств.

Итак, сама программа – это множество фактов и правил, задающих отношения между объектами в конкретной прикладной области. Отношение в Прологе называется предикатом. Объекты, связанные этим отношением, называются аргументами. Аргументы могут быть константами (атомами) или переменными.

Предикат определяет, является ли данное отношение истинным или ложным, поэтому предикат можно рассматривать как “индикатор отношения”.

Для записи отношений между объектами можно использовать различные формализмы. В ЛП используется исчисление предикатов первого порядка (ИП1П).Вернее, ограниченная форма ИП1П в виде логики так называемых хорновских предложений(факты, правила и цели).

По сути хорновские дизъюнкты - это логические импликации(правила типа если - то).В общем виде импликации имеют вид:

A ;A ;….;A :-B ,B ,…,B (n>=0;m>=0)

В – это посылки импликации, А – это заключение импликации.

Чтобы увеличить эффективность метода резолюций, используемого в качестве метода автоматизации доказательства теорем, берутся лишь формулы при n=1 и m>=0:

· Формула Хорна-> A:-B ,B ,….,B

· (n=1; m>0)- это правило

·

· A:-

· (m=0;n=1) - это факт

·

·?:-B ,B ,…..,B

· (m>0;n=0) –это цель

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


Понравилась статья? Добавь ее в закладку (CTRL+D) и не забудь поделиться с друзьями:  



Сейчас читают про: