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