Студопедия


Авиадвигателестроения Административное право Административное право Беларусии Алгебра Архитектура Безопасность жизнедеятельности Введение в профессию «психолог» Введение в экономику культуры Высшая математика Геология Геоморфология Гидрология и гидрометрии Гидросистемы и гидромашины История Украины Культурология Культурология Логика Маркетинг Машиностроение Медицинская психология Менеджмент Металлы и сварка Методы и средства измерений электрических величин Мировая экономика Начертательная геометрия Основы экономической теории Охрана труда Пожарная тактика Процессы и структуры мышления Профессиональная психология Психология Психология менеджмента Современные фундаментальные и прикладные исследования в приборостроении Социальная психология Социально-философская проблематика Социология Статистика Теоретические основы информатики Теория автоматического регулирования Теория вероятности Транспортное право Туроператор Уголовное право Уголовный процесс Управление современным производством Физика Физические явления Философия Холодильные установки Экология Экономика История экономики Основы экономики Экономика предприятия Экономическая история Экономическая теория Экономический анализ Развитие экономики ЕС Чрезвычайные ситуации ВКонтакте Одноклассники Мой Мир Фейсбук LiveJournal Instagram

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




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

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

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

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

Для записи отношений между объектами можно использовать различные формализмы. В ЛП используется исчисление предикатов первого порядка (ИП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. Схема, демонстрирующая два уровня значения программы – декларативное и процедурное





Дата добавления: 2015-04-01; просмотров: 255; Опубликованный материал нарушает авторские права? | Защита персональных данных | ЗАКАЗАТЬ РАБОТУ


Не нашли то, что искали? Воспользуйтесь поиском:

Лучшие изречения: Учись учиться, не учась! 10273 - | 7824 - или читать все...

Читайте также:

  1. A. Определение. Критерии признания
  2. Direct Mail». Правила написания и распространения
  3. G-8» и «G-20» в современной системе международных отношений. Россия в механизме «G-8» и «G-20»
  4. I. ВЫБЕРИТЕ ОДИН ПРАВИЛЬНЫЙ ОТВЕТ
  5. I. Дайте определения следующих правовых категорий. 1. Финансовые правоотношения (дать определение)
  6. I. Общие положения. "Об утверждении Правил ухода за лесами"
  7. I. Общие положения. 1. Настоящие Правила определяют типовые условия, в соответствии с которыми заключается договор обязательного страхования гр
  8. I. Общие положения. 1. Настоящие Правила определяют типовые условия, в соответствии с которыми заключается договор обязательного страхования гражданской ответственности
  9. I. Определение изучаемых объектов и явлений
  10. I. Определение параболы. Вывод канонического уравнения
  11. I. Определение эллипса. Вывод канонического уравнения
  12. I. Определение. Каноническое уравнение


 

3.80.5.157 © studopedia.ru Не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования. Есть нарушение авторского права? Напишите нам | Обратная связь.


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