Combining Input/Output Logic and Reification for Representing Real-World Obligations

2017
OriginalPaper
Chapter

Published in:

Authors: Livio Robaldo; Llio Humphreys; Xin Sun; Loredana Cupi; Cristiana Santos; Robert Muthuri
Published in: New Frontiers in Artificial Intelligence
Publisher: Springer International Publishing

Read first chapter Log in

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

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.

Notes

Livio Robaldo has received funding from the European Unions Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie grant agreement No 661007 for the project “ProLeMAS: PROcessing LEgal language in normative Multi-Agent Systems”. Llio Humphreys is supported by the National Research Fund, Luxembourg. Loredana Cupi has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skodowska-Curie grant agreement No 690974 for the project “MIREL: MIning and REasoning with Legal texts”. We would like to thank prof. Leon van der Torre for fruitful discussions.

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Business + Economics & Engineering + Technology"

Online-Abonnement

Springer Professional "Business + Economics & Engineering + Technology" gives you access to:

more than 102.000 books
more than 537 journals

from the following subject areas:

Automotive
Construction + Real Estate
Business IT + Informatics
Electrical Engineering + Electronics
Energy + Sustainability
Finance + Banking
Management + Leadership
Marketing + Sales
Mechanical Engineering + Materials
Insurance + Risk

Secure your knowledge advantage now!

inform now

Springer Professional "Engineering + Technology"

Online-Abonnement

Springer Professional "Engineering + Technology" gives you access to:

more than 67.000 books
more than 390 journals

from the following specialised fileds:

Automotive
Business IT + Informatics
Construction + Real Estate
Electrical Engineering + Electronics
Energy + Sustainability
Mechanical Engineering + Materials

Secure your knowledge advantage now!

inform now

Springer Professional "Business + Economics"

Online-Abonnement

Springer Professional "Business + Economics" gives you access to:

more than 67.000 books
more than 340 journals

from the following specialised fileds:

Construction + Real Estate
Business IT + Informatics
Finance + Banking
Management + Leadership
Marketing + Sales
Insurance + Risk

Secure your knowledge advantage now!

inform now

previous chapter A Belief Revision Technique to Model Civil Code Updates

next chapter Using Ontologies to Model Data Protection Requirements in Workflows

Metadata
Footnotes
Literature

Title: Combining Input/Output Logic and Reification for Representing Real-World Obligations
Authors: Livio Robaldo
Llio Humphreys
Xin Sun
Loredana Cupi
Cristiana Santos
Robert Muthuri
Publisher: Springer International Publishing
Book: New Frontiers in Artificial Intelligence
Print ISBN: 978-3-319-50952-5

Electronic ISBN: 978-3-319-50953-2

Copyright Year: 2017
DOI: https://doi.org/10.1007/978-3-319-50953-2_16

This content is only visible if you are logged in and have the appropriate permissions.