Reified Input/ Output logic
Reified Input/Output logic (Robaldo and Sun, 2017) is a formalism that integrates, within Input/Output logic (Makinson and van der Torre, 2003), reification-based mechanisms coming from the literature in Natural Language Semantics, specifically the neo-Davidsonian approach of prof. 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 (flat) logical formalism.
Reified Input/Output logic provides a novel framework to represent deontic statements coming from existing legislation, available in Natural Language only, thus advocating new research directions in legal informatics. Reified Input/Output logic has been designed to facilitate the building of large knowledge bases from normative text.
We plan in future work to use reified Input/Output logic as the underlying formalism for applications in legal informatics. The first case study of reified Input/Output logic is the DAPRECO knowledge base.