АвтоАвтоматизацияАрхитектураАстрономияАудитБиологияБухгалтерияВоенное делоГенетикаГеографияГеологияГосударствоДомДругоеЖурналистика и СМИИзобретательствоИностранные языкиИнформатикаИскусствоИсторияКомпьютерыКулинарияКультураЛексикологияЛитератураЛогикаМаркетингМатематикаМашиностроениеМедицинаМенеджментМеталлы и СваркаМеханикаМузыкаНаселениеОбразованиеОхрана безопасности жизниОхрана ТрудаПедагогикаПолитикаПравоПриборостроениеПрограммированиеПроизводствоПромышленностьПсихологияРадиоРегилияСвязьСоциологияСпортСтандартизацияСтроительствоТехнологииТорговляТуризмФизикаФизиологияФилософияФинансыХимияХозяйствоЦеннообразованиеЧерчениеЭкологияЭконометрикаЭкономикаЭлектроникаЮриспунденкция

Логика предикатов

Читайте также:
  1. Бесконечнозначная логика как обобщение многозначной системы Поста
  2. Женская логика»
  3. Женская логика».
  4. Жесткая и гибкая логика
  5. ИНТУИЦИОНИСТСКАЯ ЛОГИКА
  6. Итак. Женская логика и демагогия – одно и то же.
  7. Итак. Женская логика и демагогия — одно и то же.
  8. Итоги делового диалога. Логика принятия решений
  9. Какой тип бытия по Аристотелю изучает логикас) бытие как категория
  10. Категориальная логика мышления
  11. Конструктивная логика А. А. Маркова
  12. Лекция8. Эмиттерно-связанная логика. Транзисторная логика с непосредственными связями (ТЛНС).

Предикат - это логическая функция n переменных, которая в зависимости от значений переменных принимает два значения: Истина (Т) или Ложь (F). Такого рода предикат называют n местным. Предикат имеющий истинное значение и полученный при подстановке или конкретизации где объекты или константы, называется фактом.

Для работы с предикатами был предложен (1972г) язык логического программирования (Пролог: программирование БД, БЗ, семантических сетей, фреймов и ЭС), основанный на том, что задача решается в свойственной человеку манере, и предполагает, что информация о задаче формулируется в виде предикатов-фактов и логических выражений, называемых правилами. Поиск решения в Прологе осуществляется с помощью метода резолюции, реализующего обратный вывод. Правила используются в тех случаях, когда необходимо показать, что некоторый факт зависит от других фактов (условий). Правила обладают большей общностью, чем факты. Это объясняется тем, что в правилах обычно содержаться переменные. Важно помнить, что переменная может обозначать не один, а несколько различных объектов. Область действия переменной – одно правило. Кроме того, переменная обозначает один и тот же объект по всему правилу. Поэтому в процессе логического вывода все вхождения одной переменной в правиле заменяются одним и тем же значением.

Благодаря правилам и переменным система логического вывода позволяет выводить такие знания, которые в явном виде в базе знаний отсутствуют.

Совокупность фактов и правил образуют базу знаний (БЗ). БЗ может быть использована для решения задачи поиска знаний с привлечением целевого утверждения – предиката цели. БЗ вместе с предикатом цели называется логической программой. БЗ в системе логического программирования делится на две части: описание фактов и описание логических правил.


1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 |

Поиск по сайту:



Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Студалл.Орг (0.004 сек.)