Пример. Основные компоненты модели

Основные компоненты модели

Пример.

Исчисление предикатов первого порядка

Широкое распространение получило представление знаний, основанное на исчислениях различного вида. Процедурная семантика такого метода описывает способ достижения цели через удовлетворение некоторого множества условий. Реализация правила осуществляется при выполнении всех необходимых условий, заложенных в него. При таком подходе, связи (отношения) между объектами можно представить с помощью исчисления высказываний [7].

Модель реализуется путем доказательства логических высказываний. Логическое высказывание может быть доказано при условии, что могут быть доказаны все составляющие этого высказывания, кроме головного. Логика высказывания строится на описании различного рода предикатов.

Предикат в узком смысле − это свойство объекта. В широком смысле − это описание отношений между свойствами объекта, которые могут быть определены или не определены. Свойства предиката описываются совокупностью его аргументов. Корректность описания отношений между ними основывается не только на истинно-функциональных отношениях между входящими фактами, но и на их внутренней структуре, а также на понимании таких выражений, как «все», «всякий», «достаточно» и т.д., тесно связанных с определением кванторов общности и существования, лежащих в основе исчисления предикатов первого порядка.

Таким образом, отношения на языке логики предикатов можно задать в виде правил, представляющих собой совокупности фактов, связанных между собой логическими операциями конъюнкции («и», &, Ù, and), дизъюнкции («или», Ú, or), инверсии («не», ~, not), импликации («если, то», ®) и др., а также кванторами общности (")и существования ($).

Мать (Анна, Вера) & Сестра (Анна, Лиза) ® Мать (Лиза, Вера).

"(X) Мать (X, Вера) & Сестра (X, Y) ® Мать (Y, Вера).

Основной единицей модели представления знаний является факт.

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

Является (Петр, Х);

Живет (Y, Воронеж, Т),

где Х, Y, Т – переменные, определяющие интерпретацию факта в высказывании.

Высказывание – это элементарное утверждение, использующееся для построения сложных предложений.

Формирование предикатов осуществляется в соответствии со следующими правилами:

· каждый предикат имеет имя;

· каждый предикат обязательно имеет аргументы;

· количество аргументов предиката не ограниченно;

· последовательность аргументов в задании предиката определяется последовательностью их интерпретаций в заданной проблемной области. Эта последовательность заранее известна программисту и не меняется на протяжении всей программы.

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

Дата добавления: 2014-12-29