2022/09/12 by Alexander Steen, Steen, Alexander, David Fuenmayor +1 · 1 citation
Computer Science · #03B16 (Secondary) #03B45 #03B60 #68T30 (Primary) 68T27 #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Semantic Web and Ontologies
paper · pdf · doi:10.48550/arxiv.2209.05090
openalex publication_date 2022/09/12 · openalex created_date 2022/09/14 · openalex updated_date 2026/07/28
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.