Многосопряженное логическое программирование
 | Эту статью необходимо отредактировать, чтобы Википедии она соответствовала Руководству по стилю . В частности, у него проблемы с MOS:WE . ( Март 2024 г. ) |
Многосопряженное логическое программирование [ 1 ] определяет синтаксис и семантику программы логического программирования таким образом, что лежащие в ее основе математические вычисления, обосновывающие результаты, представляют собой оставшуюся решетку и/или MV-алгебру .
Определение многосопряженной логической программы дается, как обычно в программировании нечеткой логики набора взвешенных правил и фактов данного формального языка F. , как Обратите внимание, что нам разрешено использовать разные последствия в наших правилах.
Определение: Многосопряженная логическая программа — это набор P правил вида <( A ← i B ), δ> такой, что:
1. Правило (A ←i B) является формулой F ;
2. Фактор доверия δ является элементом ( истинным значением ) L ;
3. Головка А — атом;
4. Тело B — это формула, построенная из атомов B1, …, Bn (n ≥ 0) с помощью конъюнкторов , дизъюнкторов и агрегаторов .
5. Факты – это правила с телом ┬.
6. Запрос (или цель ) представляет собой атом, задуманный как вопрос? Подсказка системы.
Реализации
[ редактировать ]Реализации мультисопряженного логического программирования : Рфуззи, [ 2 ] Флопер, [ 3 ] и больше мы сейчас не помним.
Ссылки
[ редактировать ]- ^ Медина, Хесус; Охеда-Асьего, Мануэль; Войташ, Питер (2001). «Многосопряженное логическое программирование с непрерывной семантикой». Логическое программирование и немотонные рассуждения . Конспекты лекций по информатике. Том. 2173. стр. 351–364. дои : 10.1007/3-540-45402-0_26 . ISBN 978-3-540-42593-9 .
{{cite book}}:|journal=игнорируется ( помогите ) - ^ «Рфуззи» . Архивировано из оригинала 28 февраля 2012 г. Проверено 21 января 2012 г.
- ^ «Флопер» .
 | Эта статья о компьютерах незавершена . Вы можете помочь Википедии, расширив ее . |