Интеллектуальные информационные системы. Макаренко С.И. - 62 стр.

    Логическая модель знаний строится на базе предикатов.
    Логика предикатов является развитием алгебры логики (или логики
высказываний). В логике высказываний для обозначения фактов
используются буквы (имена или идентификаторы или фразы), не имеющие
структуры (используемые как атомарные объекты), и       принимающие
значения «1» или «0» («да» или «нет»). То, что фразы имеют атомарный
характер, не позволяет обнаружить похожесть их смысла. Например,
высказывания «расстояние от Земли до Солнца – 150 млрд. км» и
«расстояние от Земли до Марса – 60 млн. км» имеют похожий смысл, но
абсолютно разные в логике высказываний.
      В логике предикатов факты обозначаются n-арными логическими
функциями – предикатами F(x1, x2, ..., xm), где F – имя предиката (функтор) и
xi – аргументы предиката [3].
     Предикатом называется функция, принимающая два значения
ИСТИНА и ЛОЖЬ – и предназначенная для выражения свойств объекта или
связей между ними.
    Имена предикатов неделимы, т.е. являются так называемыми атомами.
Аргументы могут быть атомами или функциями f(x1, x2, ..., xm), где f – имя
функции, а x1, x2, ..., xm, так же как и аргументы предикатов являются
переменными или константами предметной области [3].
     В результате интерпретации (по другому, конкретизации) предиката
функторы и аргументы принимают значения констант из предметной области
(строк, чисел, структур и т.д.). При этом следует различать интерпретацию на
этапе описания предметной области (создания программ и баз знаний) и на
этапе решения задач (выполнения программ с целью корректировки или
пополнения баз знаний) [3].
    Выше приведенные примеры высказываний в виде предикатов будут
выглядеть как «расстояние (Земля, Солнце, 150000000000)» и «расстояние
(Земля, Марс, 60000000)». Так как они имеют определенную структуру, их
можно сравнивать по частям, моделируя работу с содержащимся в них
смыслом.
    Предикат с арностью n> 1 может используется в инженерии знаний для
представления n-арного отношения, связывающего между собой n сущностей
(объектов) – аргументов предиката [3].
     Например, предикат «отец («Иван», «Петр Иванович»)» может означать,
что сущности «Иван» и «Петр Иванович» связаны родственным отношением,
а именно, последний является отцом Ивана или наоборот - уточнение
семантики (смысла) этого предиката связано с тем, как он используется, т.е. в
каких операциях или более сложных отношениях он участвует, и какую роль
в них играют его 1-й и 2-й аргументы.



                                     61