道义逻辑编程
我需要为道义逻辑编写规则，有没有任何编程语言可以做到这一点？我看到了 prolog，现在正在学习，但是如何在 PROLOG 中表达道义逻辑？请帮忙
I need to write rules for deontic logic, is there any programming language to do that? I saw prolog and I'm learning now but how to express deontic logic in PROLOG? please help
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
2018 年的这篇论文声称将道义逻辑与 SAT 连接起来，有关如何实现这一点的一些想法，请参阅 2015 年的论文：
道义逻辑推理基础设施 - 2018
克里斯托夫·本兹缪勒、泽维尔·帕伦特和林德·范德托雷
http://page.mi.fu-berlin.de/cbenzmueller/ paper/C69.pdf
用于标准 Kripke 结构的基于 SMT 的 BMC 方法
AM 兹布热兹尼 - 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
This paper from 2018 claims bridging deontic logic to SAT, for some ideas how this could be done see the 2015 paper:
A Deontic Logic Reasoning Infrastructure - 2018
Christoph Benzm¨uller, Xavier Parent, and Leendert van der Torre
http://page.mi.fu-berlin.de/cbenzmueller/papers/C69.pdf
SMT-based BMC methods for standard Kripke structures
A.M. Zbrzezny - 2015
http://www.ifaamas.org/Proceedings/aamas2015/aamas/p2021.pdf
Many Prolog systems have SAT solvers. You could try something along
these lines. Here are some Prolog systems with SAT solvers:
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