Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version)

Autor:	Steen, Alexander, Fuenmayor, David
Rok vydání:	2022
Předmět:	Computer Science - Artificial Intelligence 68T30 (Primary) 68T27 03B45 03B60 03B16 (Secondary)
Druh dokumentu:	Working Paper
Popis:	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. Comment: 19 pages, 1 figure
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2209.05090 Zobrazit plný text záznamu View this record from Arxiv