Skip to main content
SpringerLink
Log in

Time Is Up! – Norms with Deadlines in Action Languages

  • Conference paper
Computational Logic in Multi-Agent Systems (CLIMA 2013)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 8143))

Included in the following conference series:

Abstract

Action Languages are simple logical formalisms to describe the properties of a domain and the behavior of an agent and to reason about it. They offer an elegant solution to the frame problem, but are inapt to reason with norms in which an obligation deadline may require the agent to adapt its behavior even though no action occurred. In this paper we extend the Action Language \(\mathcal{A}\) with features that allow reasoning about norms and time in dynamic domains. Unlike previous extensions of Action Languages with norms, our resulting language is expressive enough to represent and reason with different kinds of obligations with deadlines that explicitly refer to time, as well as norm violations and even simple contrary-to-duty obligations resulting from the satisfaction or violation of an agent’s obligations.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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.

References

  1. Ågotnes, T., van der Hoek, W., Wooldridge, M.: Robust normative systems and a logic of norm compliance. Logic Journal of the IGPL 18(1), 4–30 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  2. Alberti, M., Gomes, A.S., Gonçalves, R., Knorr, M., Leite, J., Slota, M.: Normative systems require hybrid knowledge bases. In: van der Hoek, W., Padgham, L., Conitzer, V., Winikoff, M. (eds.) AAMAS, pp. 1425–1426. IFAAMAS (2012)

    Google Scholar 

  3. Alechina, N., Dastani, M., Logan, B.: Programming norm-aware agents. In: Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, vol. 2, pp. 1057–1064. IFAAMAS (2012)

    Google Scholar 

  4. Alferes, J.J., Gonçalves, R., Leite, J.: Equivalence of defeasible normative systems. Journal of Applied Non-Classical Logics 23(1-2), 25–48 (2013)

    Article  Google Scholar 

  5. Artikis, A., Sergot, M., Pitt, J.: Specifying norm-governed computational societies. ACM Trans. Comput. Log. 10(1), 1–42 (2009)

    Article  MathSciNet  Google Scholar 

  6. Balbiani, P., Broersen, J., Brunel, J.: Decision procedures for a deontic logic modeling temporal inheritance of obligations. Electr. Notes Theor. Comput. Sci. 231, 69–89 (2009)

    Article  MathSciNet  Google Scholar 

  7. Boella, G., van der Torre, L., Verhagen, H.: Introduction to the special issue on normative multiagent systems. Autonomous Agents and Multi-Agent Systems 17(1), 1–10 (2008)

    Article  Google Scholar 

  8. Boella, G., van der Torre, L.W.N.: Regulative and constitutive norms in normative multiagent systems. In: Dubois, D., Welty, C.A., Williams, M.A. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR 2004), Whistler, Canada, June 2-5, pp. 255–266. AAAI Press (2004)

    Google Scholar 

  9. Broersen, J., Brunel, J.: Preservation of obligations in a temporal and deontic framework. In: Durfee, E., Yokoo, M., Huhns, M., Shehory, O. (eds.) Autonomous Agents and Multi-Agent Systems, p. 177 (2007)

    Google Scholar 

  10. Bulling, N., Dastani, M.: Verifying normative behaviour via normative mechanism design. In: Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI 2011, vol. 1, pp. 103–108. AAAI Press (2011)

    Google Scholar 

  11. Carmo, J., Jones, A.: Deontic logic and contrary-to-duties. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 8, pp. 265–343. Kluwer Academic Publishers, Dordrecht (2002)

    Chapter  Google Scholar 

  12. Castilho, M.A., Herzig, A., Varzinczak, I.J.: It depends on the context! a decidable logic of actions and plans based on a ternary dependence relation. In: Benferhat, S., Giunchiglia, E. (eds.) NMR, pp. 343–348 (2002)

    Google Scholar 

  13. Cholvy, L.: Checking regulation consistency by using SOL-resolution. In: ICAIL, pp. 73–79 (1999)

    Google Scholar 

  14. Cliffe, O., De Vos, M., Padget, J.: Specifying and reasoning about multiple institutions. In: Noriega, P., Vázquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N., Matson, E. (eds.) COIN 2006. LNCS (LNAI), vol. 4386, pp. 67–85. Springer, Heidelberg (2007), http://dx.doi.org/10.1007/978-3-540-74459-7_5

    Chapter  Google Scholar 

  15. Craven, R., Lobo, J., Ma, J., Russo, A., Lupu, E., Bandara, A.: Expressive policy analysis with enhanced system dynamicity. In: Proceedings of the 4th International Symposium on Information, Computer, and Communications Security, ASIACCS 2009, pp. 239–250. ACM, New York (2009)

    Google Scholar 

  16. Craven, R., Sergot, M.: Agent strands in the action language nC+. J. Applied Logic 6(2), 172–191 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  17. Dastani, M., Meyer, J.J.C., Tinnemeier, N.A.M.: Programming norm change. Journal of Applied Non-Classical Logics 22(1-2), 151–180 (2012)

    Article  Google Scholar 

  18. Demolombe, R., Herzig, A., Varzinczak, I.J.: Regression in modal logic. Journal of Applied Non-Classical Logics 13(2), 165–185 (2003)

    Article  MATH  Google Scholar 

  19. Dignum, F., Kuiper, R.: Combining dynamic deontic logic and temporal logic for the specification of deadlines. In: HICSS (5), pp. 336–346 (1997)

    Google Scholar 

  20. Dignum, F., Kuiper, R.: Obligations and dense time for specifying deadlines. In: HICSS (5), pp. 186–195 (1998)

    Google Scholar 

  21. Dignum, V.: A model for organizational interaction: based on agents, founded in logic. Ph.D. thesis, Universiteit Utrecht (2004)

    Google Scholar 

  22. Esteva, M., Rodríguez-Aguilar, J.-A., Sierra, C., Garcia, P., Arcos, J.-L.: On the formal specification of electronic institutions. In: Sierra, C., Dignum, F.P.M. (eds.) Agent Mediated Elec. Commerce. LNCS (LNAI), vol. 1991, pp. 126–147. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  23. Gebser, M., Grote, T., Schaub, T.: Coala: A compiler from action languages to ASP. In: Janhunen, T., Niemelä, I. (eds.) JELIA 2010. LNCS, vol. 6341, pp. 360–364. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  24. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Comput. 9(3-4), 365–385 (1991)

    Article  Google Scholar 

  25. Gelfond, M., Lifschitz, V.: Action languages. Electron. Trans. Artif. Intell. 2, 193–210 (1998)

    MathSciNet  Google Scholar 

  26. Gelfond, M., Lobo, J.: Authorization and obligation policies in dynamic systems. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 22–36. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  27. Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artif. Intell. 153(1), 49–104 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  28. Governatori, G., Rotolo, A.: Justice delayed is justice denied: Logics for a temporal account of reparations and legal compliance. In: Leite, J., Torroni, P., Ågotnes, T., Boella, G., van der Torre, L. (eds.) CLIMA XII 2011. LNCS, vol. 6814, pp. 364–382. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  29. Harel, D.: First-Order Dynamic Logic. Springer-Verlag New York, Inc., Secaucus (1979)

    Book  MATH  Google Scholar 

  30. Herzig, A., Varzinczak, I.J.: Metatheory of actions: Beyond consistency. Artif. Intell. 171(16-17), 951–984 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  31. Irwin, K., Yu, T., Winsborough, W.H.: On the modeling and analysis of obligations. In: Proceedings of the 13th ACM Conference on Computer and Communications Security, CCS 2006, pp. 134–143. ACM, New York (2006)

    Chapter  Google Scholar 

  32. Kowalski, R., Sergot, M.: A logic-based calculus of events. New Generation Computing 4(1), 67–95 (1986)

    Article  Google Scholar 

  33. Leite, J., Soares, L.: Adding evolving abilities to a multi-agent system. In: Inoue, K., Satoh, K., Toni, F. (eds.) CLIMA 2006. LNCS (LNAI), vol. 4371, pp. 246–265. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  34. Reiter, R.: The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In: Lifschitz, V. (ed.) Artificial Intelligence and Mathematical Theory of Computation, pp. 359–380. Academic Press (1991)

    Google Scholar 

  35. Sadiq, W., Governatori, G., Namiri, K.: Modeling control objectives for business process compliance. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 149–164. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  36. Thielscher, M.: From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem. Artif. Intell. 111(1), 277–299 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  37. Thielscher, M.: A unifying action calculus. Artif. Intell. 175(1), 120–141 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  38. Tran, N., Baral, C.: Reasoning about triggered actions in AnsProlog and its application to molecular interactions in cells. In: Dubois, D., Welty, C.A., Williams, M.A. (eds.) KR, pp. 554–564. AAAI Press (2004)

    Google Scholar 

  39. Zhang, D.-M., Chopra, S., Foo, N.Y.: Consistency of action descriptions. In: Ishizuka, M., Sattar, A. (eds.) PRICAI 2002. LNCS (LNAI), vol. 2417, pp. 70–79. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  40. Zhang, D., Foo, N.Y.: EPDL: A logic for causal reasoning. In: Nebel, B. (ed.) IJCAI, pp. 131–138. Morgan Kaufmann (2001)

    Google Scholar 

  41. Zhang, D.-M., Foo, N.Y.: Interpolation properties of action logic: Lazy-formalization to the frame problem. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 357–368. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CENTRIA, Universidade Nova de Lisboa, 2829-516, Caparica, Portugal

    Matthias Knorr, Alfredo Gabaldon, Ricardo Gonçalves, João Leite & Martin Slota

Authors
  1. Matthias Knorr
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alfredo Gabaldon
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ricardo Gonçalves
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. João Leite
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Martin Slota
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. CENTRIA and Departamento de Informática, Universidade Nova de Lisboa, Campus de Caparica, 2829-516, Caparica, Portugal

    João Leite

  2. Department of Computer Science, New Mexico State University, 88003, Las Cruces, NM, USA

    Tran Cao Son

  3. Dipartimento di Informatica: Scienza e Ingegneria (DISI), University of Bologna, V.le Risorgimento 2, 40136, Bologna, Italy

    Paolo Torroni

  4. Computer Science and Communication Lab, University of Luxembourg, 6 Rue Richard Coudenhove-Kalergi, 1359, Luxembourg, Luxembourg

    Leon van der Torre

  5. Institute of Information Systems, Vienna University of Technology, Favoritenstraße 9-11, 1040, Vienna, Austria

    Stefan Woltran

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Knorr, M., Gabaldon, A., Gonçalves, R., Leite, J., Slota, M. (2013). Time Is Up! – Norms with Deadlines in Action Languages. In: Leite, J., Son, T.C., Torroni, P., van der Torre, L., Woltran, S. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2013. Lecture Notes in Computer Science(), vol 8143. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40624-9_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-40624-9_14

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-40623-2

  • Online ISBN: 978-3-642-40624-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation