In this paper, we propose to combine Input/Output logic, a well-known formalism for normative reasoning, with the reification-based approach of Jerry R. Hobbs. The latter is a wide-coverage logic for Natural Language Semantics able to handle a fairly large set of linguistic phenomena into a simple logical formalism. The result is a new framework that we will call 'reified Input/Output logic'. This paper represents the first step of a long-term research aiming at filling the gap between Input/Output logic and the richness of Natural Language Semantics. We plan in our future work to use reified Input/Output logic as the underlying formalism for applications in legal informatics to process and reason on existing legal texts, which are available in natural language only.
The underlying logical framework we will use in our methodology is reified Input/Output logic REF , a recent approach designed as an attempt to investi-gate the logical architecture of the provisions in natural language.
Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation
J. Log. Comput.
J. Log. Comput.
Computer Science Mathematics