Goal-Directed Decision Procedures for Input/Output Logics
Goal-Directed Decision Procedures for Input/Output Logics
复制标题
输入/输出逻辑的目标导向决策过程
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
A. Steen
中科院分区：
文献类型：
--
作者：
A. Steen
输入/输出(I/O)逻辑处理条件规范的抽象研究。在这里，规范被表示为成对的公式，而不是本身携带真值的陈述。I/O逻辑在过去已经得到了深入的研究，包括进一步的应用和需求。本文提出了一类自动推理过程，它在给定一组规范和一个具体情况下，根据I/O逻辑的输出操作来决定一个fiAIR的特定ff状态是否是必需的。这些过程在底层的逻辑形式中是参数的，并且可以用不同的经典对象逻辑来实例化，例如命题逻辑或ff一阶逻辑。这些过程被证明是正确的，并对命题I/O逻辑的概念验证实现进行了调查。
Input/Output (I/O) logics address the abstract study of conditional norms. Here, norms are represented as pairs of formulas instead of statements that themselves carry truth-values. I/O logics have been studied thoroughly in the past, including further applications and refinements. In this paper, a class of automated reasoning procedures is presented that, given a set of norms and a concrete situation, decide whether a specific state of affairs is obligatory according to the output operations of I/O logics. The procedures are parametric in the underlying logical formalism and can be instantiated with different classical objects logics, such as propositional logic or first-order logic. The procedures are shown to be correct, and a proof-of-concept implementation for propositional I/O logics is surveyed.