Skip to main content

Deon  + : Abduction and Constraints for Normative Reasoning

  • Chapter

Part of the Lecture Notes in Computer Science book series (LNAI,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.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Boella, G., van der Torre, L., Verhagen, H.: Introduction to normative multiagent systems. Computational and Mathematical Organization Theory 12, 71–79 (2006)

    CrossRef  Google Scholar 

  2. Wright, G.: Deontic logic. Mind 60, 1–15 (1951)

    CrossRef  Google Scholar 

  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)

    CrossRef  Google Scholar 

  4. Prakken, H., Sartor, G.: Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-Classical Logics 7 (1997)

    Google Scholar 

  5. Governatori, G., Rotolo, A.: BIO logical agents: Norms, beliefs, intentions in defeasible logic. Autonomous Agents and Multi-Agent Systems 17, 36–69 (2008)

    CrossRef  Google Scholar 

  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)

    CrossRef  MATH  Google Scholar 

  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. Sartor, G.: Legal Reasoning: A Cognitive Approach to the Law. Springer, Berlin (2005)

    Google Scholar 

  9. Jaffar, J., Maher, M.: Constraint logic programming: a survey. Journal of Logic Programming 19-20, 503–582 (1994)

    CrossRef  MathSciNet  Google Scholar 

  10. Kakas, A.C., Michael, A., Mourlas, C.: ACLP: Abductive Constraint Logic Programming. Journal of Logic Programming 44, 129–177 (2000)

    CrossRef  MathSciNet  MATH  Google Scholar 

  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. 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)

    CrossRef  Google Scholar 

  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)

    CrossRef  Google Scholar 

  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)

    CrossRef  Google Scholar 

  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. 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)

    CrossRef  Google Scholar 

  17. Fung, T.H., Kowalski, R.A.: The IFF proof procedure for abductive logic programming. Journal of Logic Programming 33, 151–165 (1997)

    CrossRef  MathSciNet  MATH  Google Scholar 

  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)

    CrossRef  Google Scholar 

  19. Torroni, P., Gavanelli, M., Chesani, F.: Argumentation in the semantic web. IEEE Intelligent Systems 22, 66–74 (2007)

    CrossRef  Google Scholar 

  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)

    CrossRef  Google Scholar 

  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)

    CrossRef  Google Scholar 

  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. Kunen, K.: Negation in logic programming. Journal of Logic Programming 4, 289–308 (1987)

    CrossRef  MathSciNet  MATH  Google Scholar 

  24. Bürckert, H.: A resolution principle for constrained logics. Artificial Intelligence 66, 235–271 (1994)

    CrossRef  MathSciNet  MATH  Google Scholar 

  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)

    CrossRef  Google Scholar 

  26. Frühwirth, T.: Theory and practice of constraint handling rules. Journal of Logic Programming 37, 95–138 (1998)

    CrossRef  MathSciNet  MATH  Google Scholar 

  27. Sergot, M.J.: A computational theory of normative positions. ACM Trans. Comput. Log. 2, 581–622 (2001)

    CrossRef  MathSciNet  Google Scholar 

  28. Anderson, A.: A reduction of deontic logic to alethic modal logic. Mind 67, 100–103 (1958)

    CrossRef  Google Scholar 

  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)

    CrossRef  MATH  Google Scholar 

  30. Prakken, H., Sergot, M.: Contrary-to-duty obligations. Studia Logica 57, 91–115 (1996)

    CrossRef  MathSciNet  MATH  Google Scholar 

  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. 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)

    CrossRef  Google Scholar 

  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)

    CrossRef  Google Scholar 

  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. 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)

    CrossRef  Google Scholar 

  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. 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)

    CrossRef  Google Scholar 

  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)

    MathSciNet  MATH  Google Scholar 

  39. Sadri, F., Stathis, K., Toni, F.: Normative kgp agents. Computational & Mathematical Organization Theory 12, 101–126 (2006)

    CrossRef  MATH  Google Scholar 

  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)

    CrossRef  Google Scholar 

  41. Eiter, T., Subrahmanian, V., Pick, G.: Heterogeneous active agents, I: Semantics. Artificial Intelligence 108, 179–255 (1999)

    CrossRef  MathSciNet  MATH  Google Scholar 

  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. 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)

    CrossRef  Google Scholar 

  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)

    CrossRef  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Alberti, M., Gavanelli, M., Lamma, E. (2012). Deon  + : Abduction and Constraints for Normative Reasoning. In: Artikis, A., Craven, R., Kesim Çiçekli, N., Sadighi, B., Stathis, K. (eds) Logic Programs, Norms and Action. Lecture Notes in Computer Science(), vol 7360. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29414-3_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-29414-3_17

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-29413-6

  • Online ISBN: 978-3-642-29414-3

  • eBook Packages: Computer ScienceComputer Science (R0)