Normative systems require hybrid knowledge bases

Authors:
Marco Alberti;Matthias Knorr;Ana Sofia Gomes;João Leite;Ricardo Gonçalves;Martin Slota
Affiliations:
Universidade Nova de Lisboa, Portugal;Universidade Nova de Lisboa, Portugal;Universidade Nova de Lisboa, Portugal;Universidade Nova de Lisboa, Portugal;Universidade Nova de Lisboa, Portugal;Universidade Nova de Lisboa, Portugal
Venue:
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Year:
2012

Citing 5
Cited 0

The British Nationality Act as a logic program

Communications of the ACM
The Description Logic Handbook

The Description Logic Handbook
Reconciling description logics and rules

Journal of the ACM (JACM)
Local closed world reasoning with description logics under the well-founded semantics

Artificial Intelligence
Implementing query answering for hybrid MKNF knowledge bases

PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages

Quantified Score

Hi-index	0.00

Visualization

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.