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

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

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

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

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

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