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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Å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)
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)
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)
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)
Artikis, A., Sergot, M., Pitt, J.: Specifying norm-governed computational societies. ACM Trans. Comput. Log. 10(1), 1–42 (2009)
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)
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)
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)
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)
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)
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)
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)
Cholvy, L.: Checking regulation consistency by using SOL-resolution. In: ICAIL, pp. 73–79 (1999)
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
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)
Craven, R., Sergot, M.: Agent strands in the action language nC+. J. Applied Logic 6(2), 172–191 (2008)
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)
Demolombe, R., Herzig, A., Varzinczak, I.J.: Regression in modal logic. Journal of Applied Non-Classical Logics 13(2), 165–185 (2003)
Dignum, F., Kuiper, R.: Combining dynamic deontic logic and temporal logic for the specification of deadlines. In: HICSS (5), pp. 336–346 (1997)
Dignum, F., Kuiper, R.: Obligations and dense time for specifying deadlines. In: HICSS (5), pp. 186–195 (1998)
Dignum, V.: A model for organizational interaction: based on agents, founded in logic. Ph.D. thesis, Universiteit Utrecht (2004)
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)
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)
Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Comput. 9(3-4), 365–385 (1991)
Gelfond, M., Lifschitz, V.: Action languages. Electron. Trans. Artif. Intell. 2, 193–210 (1998)
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)
Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artif. Intell. 153(1), 49–104 (2004)
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)
Harel, D.: First-Order Dynamic Logic. Springer-Verlag New York, Inc., Secaucus (1979)
Herzig, A., Varzinczak, I.J.: Metatheory of actions: Beyond consistency. Artif. Intell. 171(16-17), 951–984 (2007)
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)
Kowalski, R., Sergot, M.: A logic-based calculus of events. New Generation Computing 4(1), 67–95 (1986)
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)
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)
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)
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)
Thielscher, M.: A unifying action calculus. Artif. Intell. 175(1), 120–141 (2011)
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)
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)
Zhang, D., Foo, N.Y.: EPDL: A logic for causal reasoning. In: Nebel, B. (ed.) IJCAI, pp. 131–138. Morgan Kaufmann (2001)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)