Мне нужно написать правила для деонтической логики, есть ли какой-нибудь язык программирования для этого? Я видел пролог и сейчас учусь, но как выразить деонтическую логику в ПРОЛОГЕ? пожалуйста помоги
Программирование деонтической логики
Ответы (1)
В этом документе от 2018 года утверждается, что он связывает деонтическую логику с SAT, некоторые идеи о том, как это можно сделать, см. в документе 2015 года:
Инфраструктура деонтических логических рассуждений - 2018 Кристоф Бензмюллер, Ксавьер Пэрент и Леендерт ван дер Торре
http://page.mi.fu-berlin.de/cbenzmueller/papers/C69.pdf
Методы BMC на основе SMT для стандартных структур Крипке А.М. Збжезный – 2015 г. /p2021.pdf
Многие системы Prolog имеют решатели SAT. Вы можете попробовать что-то в этом духе. Вот некоторые системы Prolog с решателями SAT:
SWI-Prolog CLP(B):
http://www.swi-prolog.org/pldoc/man?section=clpb
Jekejeke Prolog CLP(B):
http://www.jekejeke.ch/idatab/doclet/prod/en/docs/15_min/10_docu/02_reference/07_theory/03_finite/06_tree.html