Combining Input/Output Logic and Reification for Representing Real-World Obligations
| Autor: | Robert Muthuri, Xin Sun, Cristiana Santos, Llio Humphreys, Livio Robaldo, Loredana Cupi |
|---|---|
| Jazyk: | angličtina |
| Předmět: |
Input/output
Management science Programming language Deontic logic Legislation 06 humanities and the arts 02 engineering and technology Reification (computer science) 0603 philosophy ethics and religion 16. Peace & justice computer.software_genre First-order logic Logical framework TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES 020204 information systems Normative reasoning 060302 philosophy 0202 electrical engineering electronic engineering information engineering Natural language semantics computer Mathematics |
| Zdroj: | Lecture Notes in Computer Science Lecture Notes in Computer Science-New Frontiers in Artificial Intelligence New Frontiers in Artificial Intelligence ISBN: 9783319509525 JSAI-isAI Workshops |
| ISSN: | 0302-9743 1611-3349 |
| DOI: | 10.1007/978-3-319-50953-2_16 |
| Popis: | In this paper, we propose a new approach to formalize real-world obligations that may be found in existing legislation. Specifically, we propose to formalize real-world obligations by combining insights of two logical frameworks: Input/Output logic, belonging to the literature in deontic logic and normative reasoning, and the Reification-based approach of Jerry R. Hobbs, belonging to the literature in Natural Language Semantics. The present paper represents the first step of the ProLeMAS project, whose main goal is the one of filling the gap between the current logical formalizations of legal text, mostly propositional, and the richness of Natural Language Semantics. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|