Normative Systems require Hybrid Knowledge Bases

Marco Alberti, Matthias Knorr, Ana Sofia Gomes, Joao Leite, Ricardo Gonçalves, Martin Slota

Research output: Contribution to conferenceAbstract

Abstract

In this extended abstract we borrow an example from the
Portuguese Penal Code to advocate that norms used to regulate interaction in human societies, just as those used in
multi-agent systems, require the joint use of the features
based on the Closed World Assumption of rules in Logic Programming and those based on the Open World Assumption
of ontologies in Description Logics, all of which are provided
by Hybrid MKNF Knowledge Bases.
Original languageEnglish
Number of pages2
Publication statusPublished - 2012
Event11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012) - Valencia, Spain
Duration: 4 Jun 20128 Jun 2012

Conference

Conference11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012)
CountrySpain
CityValencia
Period4/06/128/06/12

Fingerprint

Logic programming
Hybrid systems
Ontology

Keywords

  • Norms
  • Knowledge representation
  • Organisations and institutions
  • Design languages for agent systems

Cite this

Alberti, M., Knorr, M., Gomes, A. S., Leite, J., Gonçalves, R., & Slota, M. (2012). Normative Systems require Hybrid Knowledge Bases. Abstract from 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012), Valencia, Spain.
Alberti, Marco ; Knorr, Matthias ; Gomes, Ana Sofia ; Leite, Joao ; Gonçalves, Ricardo ; Slota, Martin. / Normative Systems require Hybrid Knowledge Bases. Abstract from 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012), Valencia, Spain.2 p.
@conference{2184642b9b0447ce9ebae4abac772ca9,
title = "Normative Systems require Hybrid Knowledge Bases",
abstract = "In this extended abstract we borrow an example from thePortuguese Penal Code to advocate that norms used to regulate interaction in human societies, just as those used inmulti-agent systems, require the joint use of the featuresbased on the Closed World Assumption of rules in Logic Programming and those based on the Open World Assumptionof ontologies in Description Logics, all of which are providedby Hybrid MKNF Knowledge Bases.",
keywords = "Norms, Knowledge representation, Organisations and institutions, Design languages for agent systems",
author = "Marco Alberti and Matthias Knorr and Gomes, {Ana Sofia} and Joao Leite and Ricardo Gon{\cc}alves and Martin Slota",
note = "M. Knorr was partially supported by FCT Project ERRO PTDC/EIA-CCO/121823/2010, A. S. Gomes by FCT Grant SFRH/BD/64038/2009, R. Gon¸calves by FCT Grant SFRH/BPD/47245/2008, J. Leite by FCT Project ASPEN PTDC/EIA-CCO/110921/2009 and M. Slota by FCT Grant SFRH/BD/38214/2007. ; 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012) ; Conference date: 04-06-2012 Through 08-06-2012",
year = "2012",
language = "English",

}

Alberti, M, Knorr, M, Gomes, AS, Leite, J, Gonçalves, R & Slota, M 2012, 'Normative Systems require Hybrid Knowledge Bases' 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012), Valencia, Spain, 4/06/12 - 8/06/12, .

Normative Systems require Hybrid Knowledge Bases. / Alberti, Marco; Knorr, Matthias; Gomes, Ana Sofia; Leite, Joao; Gonçalves, Ricardo ; Slota, Martin.

2012. Abstract from 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012), Valencia, Spain.

Research output: Contribution to conferenceAbstract

TY - CONF

T1 - Normative Systems require Hybrid Knowledge Bases

AU - Alberti, Marco

AU - Knorr, Matthias

AU - Gomes, Ana Sofia

AU - Leite, Joao

AU - Gonçalves, Ricardo

AU - Slota, Martin

N1 - M. Knorr was partially supported by FCT Project ERRO PTDC/EIA-CCO/121823/2010, A. S. Gomes by FCT Grant SFRH/BD/64038/2009, R. Gon¸calves by FCT Grant SFRH/BPD/47245/2008, J. Leite by FCT Project ASPEN PTDC/EIA-CCO/110921/2009 and M. Slota by FCT Grant SFRH/BD/38214/2007.

PY - 2012

Y1 - 2012

N2 - In this extended abstract we borrow an example from thePortuguese Penal Code to advocate that norms used to regulate interaction in human societies, just as those used inmulti-agent systems, require the joint use of the featuresbased on the Closed World Assumption of rules in Logic Programming and those based on the Open World Assumptionof ontologies in Description Logics, all of which are providedby Hybrid MKNF Knowledge Bases.

AB - In this extended abstract we borrow an example from thePortuguese Penal Code to advocate that norms used to regulate interaction in human societies, just as those used inmulti-agent systems, require the joint use of the featuresbased on the Closed World Assumption of rules in Logic Programming and those based on the Open World Assumptionof ontologies in Description Logics, all of which are providedby Hybrid MKNF Knowledge Bases.

KW - Norms

KW - Knowledge representation

KW - Organisations and institutions

KW - Design languages for agent systems

UR - https://dl.acm.org/citation.cfm?id=2343776

M3 - Abstract

ER -

Alberti M, Knorr M, Gomes AS, Leite J, Gonçalves R, Slota M. Normative Systems require Hybrid Knowledge Bases. 2012. Abstract from 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012), Valencia, Spain.