输入/输出逻辑到SAT的归约
计算机科学中的逻辑
2026-03-02 v2 人工智能
摘要
义务逻辑是用于推理规范、义务、许可和禁止的形式化方法。输入/输出(I/O)逻辑是一类所谓的基于规范的义务逻辑，它在底层对象逻辑语言之外形式化条件规范，其中条件规范本身不具有真值。在本文中，提出了一种利用合适的归约到(一系列)命题可满足性问题的I/O逻辑自动化方法。展示了所提出过程的原型实现——rio(I/O逻辑推理器)，并将其应用于说明性示例。
引用
@article{arxiv.2508.16242,
title = {A Reduction of Input/Output Logics to SAT},
author = {Alexander Steen},
journal= {arXiv preprint arXiv:2508.16242},
year = {2026}
}
备注
34 pages