Стиль этой статьи неэнциклопедичен или нарушает нормы русского языка. |
F-логика — (англ. frame logic) — язык представления знаний и онтологий. F-логика сочетает возможности концептуального моделирования с объектно-ориентированными языками и предлагает декларативный, компактный и простой синтаксис вместе с четкой семантикой логического языка на основе фреймов.
Характеристики F-логики включают, среди прочих, идентификацию объектов, составные объекты, наследование, полиморфизм, запросные методы, инкапсуляцию. F-логика находится в том же отношении к объектно-ориентированному программированию, в каком классическое исчислениее предикатов относится к реляционному программированию баз данных.
F-логика была первоначально разработана для дедуктивных баз данных, но теперь чаще используется для семантических технологий, особенно для Semantic Web.
F-логику рассматривают как один из формализмов для онтологий, хотя дескриптивная логика более популярна и принята как основная для языка онтологий OWL.
Среда разработки F-логики используется также в приложениях для информационной интеграции, вопросно-ответных системах и семантическом поиске.
Начиная с версии 4 редактора онтологий Protege, F-логика поддерживается как один из двух видов онтологии. Синтаксис Формата Правил Обмена (RIF) Консорциума Всемирной Паутины основан на F-логике.
Классы и индивиды могут быть определены в F-логике следующим образом:
Это означает, что «мужчина есть человек», « женщина есть человек», «Бред есть мужчина», «Анжелина — женщина».
Утверждения о классах и индивидах могут быть записаны следующим образом:
Это означает, что «сын человека есть мужчина», «Меддок и Пакс — сыновья Бреда» и «Бред и Анжелина — супруги».
Заметьте, что ->>
используется для присвоения значений.
Аксиомы F-логики можно представлять в следующем виде:
Они означают «X есть мужчина, если X — человек и не женщина», «для всех Х, У : человек X имеет отца У, если мужчина У имеет сына X».
Система Флора 2 (расширение F-логики) ввела несколько изменений в синтаксис F-логики, делая его более удобным для представления знаний и системы рассуждений, отличая от нотации чисто теоретической логики. В частности, переменные стали помечать префиксом «?», различение функциональных и многозначных свойств было заменено константами мощности, добавлены другие важные изменения.
В отличие от формализма дескриптивной онтологии, семантика F-логики совместима с гипотезой замкнутого мира. Вместе с тем, F-логика в общем случае неразрешима, тогда как дескриптивная логика, на которой базируется OWL — разрешима. Однако в F-логике можно представить более выразительные утверждения, чем это возможно с дескриптивными логиками.
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .