ФО(.)

В информатике , FO(.) (он же FO-dot ) — это язык представления знаний основанный на логике первого порядка (FO). Он расширяет FO типами , агрегатами (подсчет, суммирование, максимизация... по множеству), арифметикой, индуктивными определениями, частичными функциями и интенсиональными объектами.

Сама по себе база знаний FO(.) не может быть запущена, поскольку это всего лишь «мешок информации», который можно использовать в качестве входных данных для различных общих алгоритмов рассуждения. К механизмам рассуждения, использующим FO(.), относятся IDP-Z3, ВПЛ и ФОЛАСП. Например, система IDP позволяет генерировать модели , отвечать на заданные запросы, проверять связь между двумя теориями и проверять выполнимость , а также другие типы выводов по базе знаний FO(.).

FO(.) имеет четыре типа операторов:

• Объявления типов, функций и предикатов,
• Аксиомы , т. е. логические предложения о возможных мирах,
• Определения, которые определяют уникальную интерпретацию определенного символа с учетом интерпретации его параметров. Определения могут быть индуктивными.
• Перечисления, т. е. определения символов путем перечисления.

Пример

Закон о голосовании определяет, что для голосования гражданам должно быть не менее 18 лет. Более того, если закон о голосовании интерпретируется как предписывающий, голосование является обязательным, если вы старше 18 лет. Это можно представить в FO(.) следующим образом:

vocabulary V {
  age: () → ℤ                             // function declaration
  prescriptive, vote: () → 𝔹              // predicate declarations
}
theory T:V {
  age() < 18 ⇒ ¬vote().                   // axiom: if you are less than 18, you may not vote.
  prescriptive() ⇒ (age() ≥ 18 ⇒ vote()). // axiom: if prescriptive: if you are at least 18, you must vote
}

В этом коде А →B обозначает функцию от A до B , $\mathbb {Z}$ обозначает целые числа , $\mathbb {B}$ обозначает логические значения , ¬ обозначает отрицание и ⇒ обозначает материальное условное . Предикаты < и ≥ являются встроенными и имеют свое обычное значение.

Такую базу знаний можно автоматически превратить в Интерактивного юриста. (см. здесь )

Внешние ссылки

• Официальный сайт