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

25 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

Keywords

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

Fingerprint Dive into the research topics of 'Normative systems represented as hybrid knowledge bases'. Together they form a unique fingerprint.

  • 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