Work

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

Year: 2022

Type: preprint

Abstract: 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.

Source: arXiv (Cornell University)

DOI: 10.48550/arxiv.2209.05090

Authors: Steen, Alexander, Fuenmayor, David

Institutions: Universität Greifswald, University of Luxembourg, University of Bamberg

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: Fonds National de la Recherche Luxembourg

OpenAlex ID: W4295682375

Cites:

Cited by: 1

Related to: 10