2

我需要为道义逻辑编写规则，是否有任何编程语言可以做到这一点？我看到了序言，我现在正在学习，但是如何在序言中表达道义逻辑？请帮忙

4

1 回答 1

1

2018 年的这篇论文声称将道义逻辑与 SAT 联系起来，有关如何做到这一点的一些想法，请参见 2015 年的论文：

A Deontic Logic Reasoning Infrastructure - 2018 Christoph Benzmüller、Xavier Parent 和 Leendert van der Torre
http://page.mi.fu-berlin.de/cbenzmueller/papers/C69.pdf

基于 SMT 的标准 Kripke 结构的 BMC 方法 AM 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

于 2018-12-22T00:23:45.377 回答