Advertisement

Normative Systems Represented as Hybrid Knowledge Bases

  • Marco Alberti
  • Ana Sofia Gomes
  • Ricardo Gonçalves
  • João Leite
  • Martin Slota
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6814)

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 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Alferes, J.J., Knorr, M., Swift, T.: Queries to hybrid MKNF knowledge bases through oracular tabling. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol. 5823, pp. 1–16. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  2. 2.
    Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)zbMATHGoogle Scholar
  3. 3.
    Boella, G., Governatori, G., Rotolo, A., van der Torre, L.: lex minus dixit quam voluit, lex magis dixit quam voluit: A formal study on legal compliance and interpretation. In: Casanovas, P., Pagallo, U., Sartor, G., Ajani, G. (eds.) AICOL-II/JURIX 2009. LNCS, vol. 6237, pp. 162–183. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  4. 4.
    Boella, G., Governatori, G., Rotolo, A., van der Torre, L.: A logical understanding of legal interpretation. In: Lin, F., Sattler, U., Truszczynski, M. (eds.) KR. AAAI Press, Menlo Park (2010)Google Scholar
  5. 5.
    Boella, G., Pigozzi, G., van der Torre, L.: Normative framework for normative system change. In: Sierra, C., Castelfranchi, C., Decker, K.S., Sichman, J.S. (eds.) AAMAS. IFAAMAS , vol. 1, pp. 169–176 (2009)Google Scholar
  6. 6.
    Boella, G., van der Torre, L., Verhagen, H.: Introduction to normative multiagent systems. Computational and Mathematical Organization Theory 12, 71–79 (2006), http://dx.doi.org/10.1007/s10588-006-9537-7, 10.1007, doi:10.1007/s10588-006-9537-7CrossRefGoogle Scholar
  7. 7.
    Chen, W., Warren, D.S.: Tabled Evaluation with Delaying for General Logic Programs. J. ACM 43(1), 20–74 (1996)MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    DeYoung, H., Garg, D., Jia, L., Kaynar, D.K., Datta, A.: Experiences in the logical specification of the HIPAA and GLBA privacy laws. In: Al-Shaer, E., Frikken, K.B. (eds.) WPES, pp. 73–82. ACM, New York (2010)Google Scholar
  9. 9.
    Gelder, A.V., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. Journal of the ACM 38(3), 620–650 (1991)MathSciNetzbMATHGoogle Scholar
  10. 10.
    Sartor, G., Pompeu Casanovas, M.A.B., Fernandez-Barrera, M. (eds.): Approaches to Legal Ontologies: Theories, Domains, Methodologies. Law, Governance and Technology series. Springer, Heidelberg (2011)Google Scholar
  11. 11.
    Gomes, A.S., Alferes, J.J., Swift, T.: Implementing query answering for hybrid MKNF knowledge bases. In: Carro, M., Peña, R. (eds.) PADL 2010. LNCS, vol. 5937, pp. 25–39. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  12. 12.
    Governatori, G., Rotolo, A.: Bio logical agents: Norms, beliefs, intentions in defeasible logic. Autonomous Agents and Multi-Agent Systems 17(1), 36–69 (2008)CrossRefGoogle Scholar
  13. 13.
    Governatori, G., Rotolo, A.: Norm compliance in business process modeling. In: Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.) RuleML 2010. LNCS, vol. 6403, pp. 194–209. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  14. 14.
    Knorr, M., Alferes, J.J., Hitzler, P.: A coherent well-founded model for hybrid mknf knowledge bases. In: ECAI, pp. 99–103 (2008) Google Scholar
  15. 15.
    Knorr, M., Alferes, J.J., Hitzler, P.: Local closed world reasoning with description logics under the well-founded semantics. Artificial Intelligence (2011) (accepted for publication)Google Scholar
  16. 16.
    Lifschitz, V.: Nonmonotonic databases and epistemic queries. In: Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI 1991), pp. 381–386 (1991)Google Scholar
  17. 17.
    Makinson, D., van der Torre, L.W.N.: What is input/output logic? input/output logic, constraints, permissions. In: Boella, G., van der Torre, L.W.N., Verhagen, H. (eds.) Normative Multi-agent Systems. Dagstuhl Seminar Proceedings, vol. 07122. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl (2007)Google Scholar
  18. 18.
    Motik, B., Rosati, R.: Reconciling description logics and rules. Journal of the ACM 57(5) (2010)Google Scholar
  19. 19.
    Motik, B., Sattler, U., Studer, R.: Query answering for owl-dl with rules. J. Web Sem. 3(1), 41–60 (2005)CrossRefGoogle Scholar
  20. 20.
    Prakken, H., Sartor, G.: Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-Classical Logics 7(1) (1997)Google Scholar
  21. 21.
    Prakken, H., Sartor, G.: The role of logic in computational models of legal argument: A critical survey. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol. 2408, pp. 342–381. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  22. 22.
    Schmidt-Strauss, M., Smolka, G.: Attributive concept descriptions with complements. Artificial Intelligence 48, 1–26 (1990)MathSciNetCrossRefzbMATHGoogle Scholar
  23. 23.
    Sergot, M.J., Sadri, F., Kowalski, R.A., Kriwaczek, F., Hammond, P., Cory, H.T.: The british nationality act as a logic program. Commun. ACM 29, 370–386 (1986), http://doi.acm.org/10.1145/5689.5920 CrossRefGoogle Scholar
  24. 24.
    Shoham, Y., Tennenholtz, M.: On social laws for artificial agent societies: off-line design. Artif. Intell. 73, 231–252 (1995), http://dx.doi.org/10.1016/0004-37029400007-N CrossRefGoogle Scholar
  25. 25.
    Slota, M., Leite, J.: Towards closed world reasoning in dynamic open worlds. TPLP 10(4-6), 547–563 (2010)MathSciNetzbMATHGoogle Scholar
  26. 26.
    Slota, M., Leite, J., Swift, T.: Splitting and updating hybrid knowledge bases. TPLP ( to appear, 2011)Google Scholar
  27. 27.
    Swift, T., Warren, D.S.: Cold Dead Fish: A System for Managing Ontologies (2003), http://xsb.sourceforge.net

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Marco Alberti
    • 1
  • Ana Sofia Gomes
    • 1
  • Ricardo Gonçalves
    • 1
  • João Leite
    • 1
  • Martin Slota
    • 1
  1. 1.CENTRIA & Departamento de InformáticaUniversidade Nova de LisboaPortugal

Personalised recommendations