Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Deon  + : Abduction and Constraints for Normative Reasoning

  • Chapter
Logic Programs, Norms and Action

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

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook
USD 15.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 15.99
Price excludes VAT (USA)
  • 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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

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

    Article  Google Scholar 

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

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

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

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

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

    Article  MathSciNet  Google Scholar 

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

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

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

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

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

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

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

    Article  Google Scholar 

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

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

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

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

    Article  MathSciNet  MATH  Google Scholar 

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

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

    Chapter  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

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

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

    Article  MATH  Google Scholar 

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

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

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

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

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

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

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

    Article  Google Scholar 

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

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

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

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CENTRIA, DI-FCT, Universidade Nova de Lisboa, Quinta da Torre, 2829-516, Caparica, Portugal

    Marco Alberti

  2. ENDIF, University of Ferrara, Via Saragat, 1, 44122, Ferrara, Italy

    Marco Gavanelli & Evelina Lamma

Authors
  1. Marco Alberti
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marco Gavanelli
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Evelina Lamma
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Software and Knowledge Engineering Laboratory, Institute of Informatics and Telecommunications, National Centre for Scientific Research ’Demokritos’, 15310, Athens, Greece

    Alexander Artikis

  2. Department of Computing, Imperial College London, 180 Queen’s Gate, SW7 2AZ, London, UK

    Robert Craven

  3. Department of Computer Engineering, Middle East Technical University, Dumlupınar Bulvarı No. 1, 06800, Çankaya, Ankara, Turkey

    Nihan Kesim Çiçekli

  4. Axiomatics AB, Box 2157, 103 14, Stockholm, Sweden

    Babak Sadighi

  5. Royal Holloway, University of London, UK

    Kostas Stathis

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)

Publish with us

Policies and ethics

Search

Navigation