Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation
Open Access
- 1 April 2017
- journal article
- Published by Oxford University Press (OUP) in Journal of Logic and Computation
- Vol. 27 (8), 2471-2503
- https://doi.org/10.1093/logcom/exx009
Abstract
In this article, 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 (NLS) 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 article represents the first step of a long-term research aiming at filling the gap between Input/Output logic and the richness of NLS. 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.Keywords
This publication has 22 references indexed in Scilit:
- Interpretation and inference with maximal referential termsJournal of Computer and System Sciences, 2010
- A causal approach to nonmonotonic reasoningArtificial Intelligence, 2004
- An ontology of time for the semantic webACM Transactions on Asian Language Information Processing, 2004
- Head-Driven Statistical Models for Natural Language ParsingComputational Linguistics, 2003
- Permission from an Input/Output PerspectiveJournal of Philosophical Logic, 2003
- Constraints for Input/Output LogicsJournal of Philosophical Logic, 2001
- Input/Output LogicsJournal of Philosophical Logic, 2000
- The British Nationality Act as a logic programCommunications of the ACM, 1986
- The Metaphysics of American LawCalifornia Law Review, 1985
- Generic terms and generic sentencesJournal of Philosophical Logic, 1982