Normative systems represented as hybrid knowledge bases

Marco Alberti, Ana Sofia Gomes, Ricardo Gonçalves, João Leite, Martin Slota

Research output: Chapter in Book/Report/Conference proceedingConference contribution

24 Citations (Scopus)

Abstract

Normative systems have been advocated as an effective tool to regulate interaction in multi-agent systems. Logic programming rules intuitively correspond to conditional norms, and their semantics is based on the closed world assumption, which allows default negation, often used in norms. However, there are cases where the closed world assumption is clearly not adequate, and others that require reasoning about unknown individuals, which is not possible in logic programming. On the other hand, description logics are based on the open world assumption and support reasoning about unknown individuals, but do not support default negation. In this paper, we demonstrate the need for the aforementioned features (closed and open world assumptions, and reasoning about unknown individuals) in order to model human laws, with examples from the Portuguese Penal Code. We advocate the use of hybrid knowledge bases combining rules and ontologies, which provide the joint expressivity of logic programming and description logics. We define a normative scenario as the pair of a set of facts and a set of norms, and give it a formal semantics by translation into an MKNF knowledge base. We describe the implementation of the language, which computes the relevant consequences of given facts and norms, and use it to establish the resulting sentence in a penal scenario.

Original languageEnglish
Title of host publicationComputational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Proceedings
EditorsJ. Leite, P. Torroni, T. Agotnes, G. Boella, L. VanDerTorre
Place of PublicationBerlin, Heidelberg
PublisherSpringer-Verlag
Pages330-346
Number of pages17
ISBN (Electronic)978-3-642-22359-4
ISBN (Print)978-3-642-22358-7
DOIs
Publication statusPublished - 28 Sep 2011
Event12th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XII, Co-located with the 22nd International Joint Conference on Artificial Intelligence - Barcelona, Spain
Duration: 17 Jul 201018 Jul 2010

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer-Verlag
Volume6814 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference12th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XII, Co-located with the 22nd International Joint Conference on Artificial Intelligence
CountrySpain
CityBarcelona
Period17/07/1018/07/10

Fingerprint

Logic programming
Knowledge Base
Logic Programming
Norm
Reasoning
Description Logics
Semantics
Unknown
Closed
Multi agent systems
Scenarios
Ontology
Formal Semantics
Multi-agent Systems
Interaction
Demonstrate
Model

Keywords

  • Logic Program
  • Multiagent System
  • Logic Programming
  • Description Logic
  • Normative System

Cite this

Alberti, M., Gomes, A. S., Gonçalves, R., Leite, J., & Slota, M. (2011). Normative systems represented as hybrid knowledge bases. In J. Leite, P. Torroni, T. Agotnes, G. Boella, & L. VanDerTorre (Eds.), Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Proceedings (pp. 330-346). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6814 LNAI). Berlin, Heidelberg: Springer-Verlag. https://doi.org/10.1007/978-3-642-22359-4_23
Alberti, Marco ; Gomes, Ana Sofia ; Gonçalves, Ricardo ; Leite, João ; Slota, Martin. / Normative systems represented as hybrid knowledge bases. Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Proceedings. editor / J. Leite ; P. Torroni ; T. Agotnes ; G. Boella ; L. VanDerTorre. Berlin, Heidelberg : Springer-Verlag, 2011. pp. 330-346 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{e556b7b8d5504ca68e61c1b3075ff82c,
title = "Normative systems represented as hybrid knowledge bases",
abstract = "Normative systems have been advocated as an effective tool to regulate interaction in multi-agent systems. Logic programming rules intuitively correspond to conditional norms, and their semantics is based on the closed world assumption, which allows default negation, often used in norms. However, there are cases where the closed world assumption is clearly not adequate, and others that require reasoning about unknown individuals, which is not possible in logic programming. On the other hand, description logics are based on the open world assumption and support reasoning about unknown individuals, but do not support default negation. In this paper, we demonstrate the need for the aforementioned features (closed and open world assumptions, and reasoning about unknown individuals) in order to model human laws, with examples from the Portuguese Penal Code. We advocate the use of hybrid knowledge bases combining rules and ontologies, which provide the joint expressivity of logic programming and description logics. We define a normative scenario as the pair of a set of facts and a set of norms, and give it a formal semantics by translation into an MKNF knowledge base. We describe the implementation of the language, which computes the relevant consequences of given facts and norms, and use it to establish the resulting sentence in a penal scenario.",
keywords = "Logic Program, Multiagent System, Logic Programming, Description Logic, Normative System",
author = "Marco Alberti and Gomes, {Ana Sofia} and Ricardo Gon{\cc}alves and Jo{\~a}o Leite and Martin Slota",
year = "2011",
month = "9",
day = "28",
doi = "10.1007/978-3-642-22359-4_23",
language = "English",
isbn = "978-3-642-22358-7",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "330--346",
editor = "J. Leite and P. Torroni and T. Agotnes and G. Boella and L. VanDerTorre",
booktitle = "Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Proceedings",

}

Alberti, M, Gomes, AS, Gonçalves, R, Leite, J & Slota, M 2011, Normative systems represented as hybrid knowledge bases. in J Leite, P Torroni, T Agotnes, G Boella & L VanDerTorre (eds), Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6814 LNAI, Springer-Verlag, Berlin, Heidelberg, pp. 330-346, 12th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XII, Co-located with the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Spain, 17/07/10. https://doi.org/10.1007/978-3-642-22359-4_23

Normative systems represented as hybrid knowledge bases. / Alberti, Marco; Gomes, Ana Sofia; Gonçalves, Ricardo; Leite, João; Slota, Martin.

Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Proceedings. ed. / J. Leite; P. Torroni; T. Agotnes; G. Boella; L. VanDerTorre. Berlin, Heidelberg : Springer-Verlag, 2011. p. 330-346 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6814 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Normative systems represented as hybrid knowledge bases

AU - Alberti, Marco

AU - Gomes, Ana Sofia

AU - Gonçalves, Ricardo

AU - Leite, João

AU - Slota, Martin

PY - 2011/9/28

Y1 - 2011/9/28

N2 - Normative systems have been advocated as an effective tool to regulate interaction in multi-agent systems. Logic programming rules intuitively correspond to conditional norms, and their semantics is based on the closed world assumption, which allows default negation, often used in norms. However, there are cases where the closed world assumption is clearly not adequate, and others that require reasoning about unknown individuals, which is not possible in logic programming. On the other hand, description logics are based on the open world assumption and support reasoning about unknown individuals, but do not support default negation. In this paper, we demonstrate the need for the aforementioned features (closed and open world assumptions, and reasoning about unknown individuals) in order to model human laws, with examples from the Portuguese Penal Code. We advocate the use of hybrid knowledge bases combining rules and ontologies, which provide the joint expressivity of logic programming and description logics. We define a normative scenario as the pair of a set of facts and a set of norms, and give it a formal semantics by translation into an MKNF knowledge base. We describe the implementation of the language, which computes the relevant consequences of given facts and norms, and use it to establish the resulting sentence in a penal scenario.

AB - Normative systems have been advocated as an effective tool to regulate interaction in multi-agent systems. Logic programming rules intuitively correspond to conditional norms, and their semantics is based on the closed world assumption, which allows default negation, often used in norms. However, there are cases where the closed world assumption is clearly not adequate, and others that require reasoning about unknown individuals, which is not possible in logic programming. On the other hand, description logics are based on the open world assumption and support reasoning about unknown individuals, but do not support default negation. In this paper, we demonstrate the need for the aforementioned features (closed and open world assumptions, and reasoning about unknown individuals) in order to model human laws, with examples from the Portuguese Penal Code. We advocate the use of hybrid knowledge bases combining rules and ontologies, which provide the joint expressivity of logic programming and description logics. We define a normative scenario as the pair of a set of facts and a set of norms, and give it a formal semantics by translation into an MKNF knowledge base. We describe the implementation of the language, which computes the relevant consequences of given facts and norms, and use it to establish the resulting sentence in a penal scenario.

KW - Logic Program

KW - Multiagent System

KW - Logic Programming

KW - Description Logic

KW - Normative System

UR - http://www.scopus.com/inward/record.url?scp=80053097416&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-22359-4_23

DO - 10.1007/978-3-642-22359-4_23

M3 - Conference contribution

SN - 978-3-642-22358-7

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 330

EP - 346

BT - Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Proceedings

A2 - Leite, J.

A2 - Torroni, P.

A2 - Agotnes, T.

A2 - Boella, G.

A2 - VanDerTorre, L.

PB - Springer-Verlag

CY - Berlin, Heidelberg

ER -

Alberti M, Gomes AS, Gonçalves R, Leite J, Slota M. Normative systems represented as hybrid knowledge bases. In Leite J, Torroni P, Agotnes T, Boella G, VanDerTorre L, editors, Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Proceedings. Berlin, Heidelberg: Springer-Verlag. 2011. p. 330-346. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-642-22359-4_23