论文标题
自动规范推理（扩展版）之间的LegalRuleml和TPTP之间的桥接
Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version)
论文作者
论文摘要
LegalRuleml是一个综合的基于XML的表示框架，用于建模和交换规范规则。另一方面，TPTP输入和输出格式是与自动推理系统相互作用的通用标准。在本文中，我们通过（i）基于TPTP格式定义逻辑上的规范性推理语言，提供了两个社区之间的桥梁，（ii）在LegalRuleml和该语言的相关片段之间提供翻译方案，以及（iii）根据此翻译为自动化规范推理提供灵活的型号。我们用三种不同的规范逻辑实例化并证明了该方法。
LegalRuleML is a comprehensive XML-based representation framework for modeling and exchanging normative rules. The TPTP input and output formats, on the other hand, are general-purpose standards for the interaction with automated reasoning systems. In this paper we provide a bridge between the two communities by (i) defining a logic-pluralistic normative reasoning language based on the TPTP format, (ii) providing a translation scheme between relevant fragments of LegalRuleML and this language, and (iii) proposing a flexible architecture for automated normative reasoning based on this translation. We exemplarily instantiate and demonstrate the approach with three different normative logics.
