Многосопряженное логическое программирование - Multi-adjoint logic programming

Многосопряженное логическое программирование[1] определяет синтаксис и семантику логическое программирование программу таким образом, чтобы математические вычисления, оправдывающие результаты, были остаточная решетка и / или MV-алгебра.

Определение многосопряженной логической программы дается, как обычно в нечеткая логика программирование, как набор взвешенных правил и фактов данного формальный язык F. Обратите внимание, что нам разрешено использовать различные значения в наших правилах.

Определение: А многосопряженная логическая программа - множество P правил вида <(А ←я Б), δ> такое, что:

1. В правило (A ← i B) - формула F;

2. Программа коэффициент достоверности δ это элемент (a истинность ) из L;

3. В глава А это атом;

4. тело B формула, построенная из атомы B1,…, Bn (n ≥ 0) с помощью конъюнкторы, дизъюнкторы, и агрегаторы.

5. Факты правила с телом ┬.

6. Запрос (или Цель) атом предназначен как вопрос?А подсказка системы.

Реализации

Реализации Многосопряженное логическое программирование: Rfuzzy,[2]Флопер,[3] и больше мы сейчас не вспомним.

  1. ^ Медина, Хесус; Охеда-Асьего, Мануэль; Войташ, Питер (2001). Многосопряженное логическое программирование с непрерывной семантикой. Логическое программирование и немотонические рассуждения. Конспект лекций по информатике. 2173. С. 351–364. Дои:10.1007/3-540-45402-0_26. ISBN  978-3-540-42593-9.
  2. ^ "Rfuzzy". Архивировано из оригинал на 2012-02-28. Получено 2012-01-21.
  3. ^ "Флопер".