Advertisement

Deon + : Abduction and Constraints for Normative Reasoning

  • Marco Alberti
  • Marco Gavanelli
  • Evelina Lamma
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7360)

Abstract

Deontic concepts and operators have been widely used in several fields where representation of norms is needed, including legal reasoning and normative multi-agent systems.

In the meantime, abductive logic programming (ALP for short) has been exploited to formalize societies of agents, commitments and institutions, taking advantage from ALP operational support as (static or dynamic) verification tool.

Nonetheless, the modal nature of deontic operators smoothly fits into abductive semantics and abductive reasoning, where hypotheses can be raised at run-time on the basis of the specified formulas.

In recent works, a mapping of the most common deontic operators (obligation, prohibition, permission) to the abductive expectations of an ALP framework for agent societies has been proposed. This mapping was supported by showing a correspondence between declarative semantics of abductive expectations and Kripke semantics for deontic operators.

Building upon such correspondence, in this work we introduce Deon  + , a language where the two basic deontic operators (namely, obligation and prohibition) are enriched with quantification over time, by means of ALP and Constraint Logic Programming (CLP for short). In this way, we can take into account different flavors for obligations and prohibitions over time, i.e., existential or universal. We also discuss how to address consistency verification of such deontic specifications by a suitable ALP proof procedure, enriched with CLP constraints.

Keywords

Logic Program Multiagent System Logic Programming Integrity Constraint Normative Reasoning 
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.
    Boella, G., van der Torre, L., Verhagen, H.: Introduction to normative multiagent systems. Computational and Mathematical Organization Theory 12, 71–79 (2006)CrossRefGoogle Scholar
  2. 2.
    Wright, G.: Deontic logic. Mind 60, 1–15 (1951)CrossRefGoogle Scholar
  3. 3.
    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)CrossRefGoogle Scholar
  4. 4.
    Prakken, H., Sartor, G.: Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-Classical Logics 7 (1997)Google Scholar
  5. 5.
    Governatori, G., Rotolo, A.: BIO logical agents: Norms, beliefs, intentions in defeasible logic. Autonomous Agents and Multi-Agent Systems 17, 36–69 (2008)CrossRefGoogle Scholar
  6. 6.
    Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Sartor, G., Torroni, P.: Mapping deontic operators to abductive expectations. Computational and Mathematical Organization Theory 12, 205–225 (2006)zbMATHCrossRefGoogle Scholar
  7. 7.
    Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: the SCIFF framework. ACM Transactions on Computational Logic 9 (2008)Google Scholar
  8. 8.
    Sartor, G.: Legal Reasoning: A Cognitive Approach to the Law. Springer, Berlin (2005)Google Scholar
  9. 9.
    Jaffar, J., Maher, M.: Constraint logic programming: a survey. Journal of Logic Programming 19-20, 503–582 (1994)MathSciNetCrossRefGoogle Scholar
  10. 10.
    Kakas, A.C., Michael, A., Mourlas, C.: ACLP: Abductive Constraint Logic Programming. Journal of Logic Programming 44, 129–177 (2000)MathSciNetzbMATHCrossRefGoogle Scholar
  11. 11.
    Kakas, A.C., van Nuffelen, B., Denecker, M.: \({\cal{A}}\)-System: Problem solving through abduction. In: Nebel, B. (ed.) Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI 2001), Seattle, Washington, USA, pp. 591–596. Morgan Kaufmann Publishers, Washington (2001)Google Scholar
  12. 12.
    Endriss, U., Mancarella, P., Sadri, F., Terreni, G., Toni, F.: The CIFF Proof Procedure for Abductive Logic Programming with Constraints. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 31–43. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  13. 13.
    Broersen, J., Dignum, F., Dignum, V., Meyer, J.J.C.: Designing a Deontic Logic of Deadlines. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol. 3065, pp. 43–56. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  14. 14.
    Marín, R.H., Sartor, G.: Time and norms: a formalisation in the event-calculus. In: Proceedings of the 7th International Conference on Artificial Intelligence and Law, ICAIL 1999, pp. 90–99. ACM Press, New York (1999)CrossRefGoogle Scholar
  15. 15.
    Sergot, M.J.: A query-the-user facility of logic programming. In: Degano, P., Sandwell, E. (eds.) Integrated Interactive Computer Systems, pp. 27–41. North-Holland (1983)Google Scholar
  16. 16.
    Dignum, V., Meyer, J.-J., Dignum, F., Weigand, H.: Formal Specification of Interaction in Agent Societies. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C., Gordon-Spears, D. (eds.) FAABS 2002. LNCS (LNAI), vol. 2699, pp. 37–52. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  17. 17.
    Fung, T.H., Kowalski, R.A.: The IFF proof procedure for abductive logic programming. Journal of Logic Programming 33, 151–165 (1997)MathSciNetzbMATHCrossRefGoogle Scholar
  18. 18.
    Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Compliance verification of agent interaction: a logic-based software tool. Applied Artificial Intelligence 20, 133–157 (2006)CrossRefGoogle Scholar
  19. 19.
    Torroni, P., Gavanelli, M., Chesani, F.: Argumentation in the semantic web. IEEE Intelligent Systems 22, 66–74 (2007)CrossRefGoogle Scholar
  20. 20.
    Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Montali, M., Torroni, P.: Expressing and verifying business contracts with abductive logic programming. International Journal of Electronic Commerce 12, 9–38 (2008)CrossRefGoogle Scholar
  21. 21.
    Gavanelli, M., Alberti, M., Lamma, E.: Integration of Abductive Reasoning and Constraint Optimization in SCIFF. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol. 5649, pp. 387–401. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  22. 22.
    Alberti, M., Cattafi, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Montali, M., Torroni, P.: A computational logic application framework for service discovery and contracting. International Journal of Web Services Research 8, 1–25 (2011)Google Scholar
  23. 23.
    Kunen, K.: Negation in logic programming. Journal of Logic Programming 4, 289–308 (1987)MathSciNetzbMATHCrossRefGoogle Scholar
  24. 24.
    Bürckert, H.: A resolution principle for constrained logics. Artificial Intelligence 66, 235–271 (1994)MathSciNetzbMATHCrossRefGoogle Scholar
  25. 25.
    Holzbaur, C.: Metastructures Versus Attributed Variables in the Context of Extensible Unification. In: Bruynooghe, M., Wirsing, M. (eds.) PLILP 1992. LNCS, vol. 631, pp. 260–268. Springer, Heidelberg (1992)CrossRefGoogle Scholar
  26. 26.
    Frühwirth, T.: Theory and practice of constraint handling rules. Journal of Logic Programming 37, 95–138 (1998)MathSciNetzbMATHCrossRefGoogle Scholar
  27. 27.
    Sergot, M.J.: A computational theory of normative positions. ACM Trans. Comput. Log. 2, 581–622 (2001)MathSciNetCrossRefGoogle Scholar
  28. 28.
    Anderson, A.: A reduction of deontic logic to alethic modal logic. Mind 67, 100–103 (1958)CrossRefGoogle Scholar
  29. 29.
    Meyer, J.J.C.: A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Notre Dame J. of Formal Logic 29(1), 109–136 (1988)zbMATHCrossRefGoogle Scholar
  30. 30.
    Prakken, H., Sergot, M.: Contrary-to-duty obligations. Studia Logica 57, 91–115 (1996)MathSciNetzbMATHCrossRefGoogle Scholar
  31. 31.
    Ryu, Y.U., Lee, R.M.: Defeasible deontic reasoning: A logic programming model. In: Meyer, J.J., Wieringa, R. (eds.) Deontic Logic in Computer Science: Normative System Specification, pp. 225–241. John Wiley & Sons Ltd. (1993)Google Scholar
  32. 32.
    Boella, G., van der Torre, L.W.N.: Attributing mental attitudes to normative systems. In: Rosenschein, J.S., Sandholm, T., Wooldridge, M., Yokoo, M. (eds.) Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2003), pp. 942–943. ACM Press, Melbourne (2003)CrossRefGoogle Scholar
  33. 33.
    Alberti, M., Gomes, A.S., Gonçalves, R., Leite, J., Slota, M.: Normative Systems Represented as Hybrid Knowledge Bases. In: Leite, J., Torroni, P., Ågotnes, T., Boella, G., van der Torre, L. (eds.) CLIMA XII 2011. LNCS, vol. 6814, pp. 330–346. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  34. 34.
    ALFEBIITE: A Logical Framework for Ethical Behaviour between Infohabitants in the Information Trading Economy of the universal information ecosystem. IST-1999-10298 (1999), http://www.iis.ee.ic.ac.uk/~alfebiite
  35. 35.
    Artikis, A., Pitt, J., Sergot, M.: Animated specifications of computational societies. In: Castelfranchi, C., Lewis Johnson, W. (eds.) Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), Part III, pp. 1053–1061. ACM Press, Bologna (2002)CrossRefGoogle Scholar
  36. 36.
    Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Compliance verification of agent interaction: a logic-based tool. In: Trappl, R. (ed.) Proceedings of the 17th European Meeting on Cybernetics and Systems Research, Symposium, From Agent Theory to Agent Implementation (AT2AI-4), vol. II, pp. 570–575. Austrian Society for Cybernetic Studies, Vienna (2004)Google Scholar
  37. 37.
    Bracciali, A., Demetriou, N., Endriss, U., Kakas, A.C., Lu, W., Mancarella, P., Sadri, F., Stathis, K., Terreni, G., Toni, F.: The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol. 3267, pp. 340–367. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  38. 38.
    Mancarella, P., Terreni, G., Sadri, F., Toni, F., Endriss, U.: The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments. TPLP 9, 691–750 (2009)MathSciNetzbMATHGoogle Scholar
  39. 39.
    Sadri, F., Stathis, K., Toni, F.: Normative kgp agents. Computational & Mathematical Organization Theory 12, 101–126 (2006)zbMATHCrossRefGoogle Scholar
  40. 40.
    Arisha, K.A., Ozcan, F., Ross, R., Subrahmanian, V.S., Eiter, T., Kraus, S.: IMPACT: a Platform for Collaborating Agents. IEEE Intelligent Systems 14, 64–72 (1999)CrossRefGoogle Scholar
  41. 41.
    Eiter, T., Subrahmanian, V., Pick, G.: Heterogeneous active agents, I: Semantics. Artificial Intelligence 108, 179–255 (1999)MathSciNetzbMATHCrossRefGoogle Scholar
  42. 42.
    Alberti, M., Gavanelli, M., Lamma, E., Sartor, G., Mello, P., Torroni, P.: Un sistema basato su logica computazionale per il trattamento degli operatori deontici. In: Bisi, S., di Cocco, C. (eds.) La gestione e la negoziazione automatica dei diritti sulle opere dell’ingegno digitali: aspetti giuridici e informatici, Bologna, Italy, Gedit edizioni, pp. 1–33 (2006)Google Scholar
  43. 43.
    López y López, F., Luck, M., d’Inverno, M.: A normative framework for agent-based systems. Computational & Mathematical Organization Theory 12, 227–250 (2006)CrossRefGoogle Scholar
  44. 44.
    Kafalı, Ö., Toni, F., Torroni, P.: Reasoning about Exceptions to Contracts. In: Leite, J., Torroni, P., Ågotnes, T., Boella, G., van der Torre, L. (eds.) CLIMA XII 2011. LNCS (LNAI), vol. 6814, pp. 225–242. Springer, Heidelberg (2011)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Marco Alberti
    • 1
  • Marco Gavanelli
    • 2
  • Evelina Lamma
    • 2
  1. 1.CENTRIA, DI-FCTUniversidade Nova de LisboaCaparicaPortugal
  2. 2.ENDIFUniversity of FerraraFerraraItaly

Personalised recommendations