Abductive Logic Programming (ALP) has been exploited to formalize societies of agents, commitments and norms, taking advantage from ALP operational support as a (static or dynamic) verification tool. In [7], the most common deontic operators (obligation, prohibition, permission) are mapped into the abductive expectations of an ALP framework for agent societies. Building upon such correspondence, in [5], authors introduced Deon+ , a language where obligation and prohibition deontic operators are enriched with quantification over time, by means of ALP and Constraint Logic Programming (CLP). In recent work [30, 31], we have shown that the same ALP framework can be suitable to represent Datalog± ontologies. Ontologies are a fundamental component of both the Semantic Web and knowledge-based systems, even in the legal setting, since they provide a formal and machine manipulable model of a domain. In this work, we show that ALP is a suitable framework for representing both norms and ontologies. Normative reasoning and ontological query answering are obtained by applying the same abductive proof procedure, smoothly achieving their integration. In particular, we consider the ALP framework named SCIFF and derived from the IFF abductive framework, able to deal with existentially (and universally) quantified variables in rule heads and CLP constraints. The main advantage is that this integration is achieved within a single language, grounded on abduction in computational logic.

Abductive Logic Programming for Normative Reasoning and Ontologies / Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe. - STAMPA. - 10091:(2017), pp. 187-203. (Intervento presentato al convegno Ninth International Workshop on Juris-informatics (JURISIN 2015) tenutosi a Keio University Kanagawa, Japan nel November 17 - 18, 2015) [10.1007/978-3-319-50953-2_14].

Abductive Logic Programming for Normative Reasoning and Ontologies

COTA, Giuseppe
2017-01-01

Abstract

Abductive Logic Programming (ALP) has been exploited to formalize societies of agents, commitments and norms, taking advantage from ALP operational support as a (static or dynamic) verification tool. In [7], the most common deontic operators (obligation, prohibition, permission) are mapped into the abductive expectations of an ALP framework for agent societies. Building upon such correspondence, in [5], authors introduced Deon+ , a language where obligation and prohibition deontic operators are enriched with quantification over time, by means of ALP and Constraint Logic Programming (CLP). In recent work [30, 31], we have shown that the same ALP framework can be suitable to represent Datalog± ontologies. Ontologies are a fundamental component of both the Semantic Web and knowledge-based systems, even in the legal setting, since they provide a formal and machine manipulable model of a domain. In this work, we show that ALP is a suitable framework for representing both norms and ontologies. Normative reasoning and ontological query answering are obtained by applying the same abductive proof procedure, smoothly achieving their integration. In particular, we consider the ALP framework named SCIFF and derived from the IFF abductive framework, able to deal with existentially (and universally) quantified variables in rule heads and CLP constraints. The main advantage is that this integration is achieved within a single language, grounded on abduction in computational logic.
2017
978-3-319-50952-5
Abductive Logic Programming for Normative Reasoning and Ontologies / Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe. - STAMPA. - 10091:(2017), pp. 187-203. (Intervento presentato al convegno Ninth International Workshop on Juris-informatics (JURISIN 2015) tenutosi a Keio University Kanagawa, Japan nel November 17 - 18, 2015) [10.1007/978-3-319-50953-2_14].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11381/2870770
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 1
social impact