我需要为道义逻辑编写规则，是否有任何编程语言可以做到这一点？我看到了prolog，我现在正在学习，但是如何在PROLOG中表达道义逻辑？请帮忙
答案 0 :(得分：1)
2018年的这篇论文声称将宗法逻辑桥接到SAT，有关如何实现的一些想法，请参见2015年的论文：
Deontic Logic推理基础架构-2018
克里斯托夫·本斯默勒，泽维尔·父母和莱恩特·范德托
http://page.mi.fu-berlin.de/cbenzmueller/papers/C69.pdf
用于标准Kripke结构的基于SMT的BMC方法 上午。 Zbrzezny-2015年 http://www.ifaamas.org/Proceedings/aamas2015/aamas/p2021.pdf
许多Prolog系统都有SAT求解器。你可以尝试一下 这些线。这是一些带有SAT解算器的Prolog系统：
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