Abstract
External Transaction Logic (\(\mathcal{ETR}\)) is an extension of logic programming useful to reason about the behavior of agents that have to operate in a two-fold environment in a transactional way: an internal knowledge base defining the agent’s internal knowledge and rules of behavior, and an external world where it executes actions and interact with other entities. Actions performed by the agent in the external world may fail, e.g. because their preconditions are not met or because they violate some norm of the external environment. The failure to execute some action must lead, in the internal knowledge base, to its complete rollback, following the standard ACID transaction model. Since it is impossible to rollback external actions performed in the outside world, external consistency must be achieved by executing compensating operations (or repairs) that revert the effects of the initial executed actions.
In \(\mathcal{ETR}\), repairs are stated explicitly in the program. With it, every performed external action is explicitly associated with its corresponding compensation or repair. Such user defined repairs provide no guarantee to revert the effects of the original action. In this paper we define how \(\mathcal{ETR}\) can be extended to automatically calculate compensations in case of failure. For this, we start by explaining how the semantics of Action Languages can be used to model the external domain of \(\mathcal{ETR}\), and how we can use it to reason about the reversals of actions.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Artikis, A., Sergot, M.J., Pitt, J.V.: Specifying norm-governed computational societies. ACM Trans. Comput. Log. 10(1) (2009)
Bonner, A.J., Kifer, M.: Transaction logic programming. In: ICLP, pp. 257–279 (1993)
Bonner, A.J., Kifer, M.: Transaction logic programming (or a logic of declarative and procedural knowledge). Technical Report CSRI-323, University of Toronto (1995)
Bordini, R.H., Wooldridge, M., Hübner, J.F.: Programming Multi-Agent Systems in AgentSpeak using Jason. Wiley Series in Agent Technology. John Wiley & Sons (2007)
Costantini, S., Tocchio, A.: About declarative semantics of logic-based agent languages. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol. 3904, pp. 106–123. Springer, Heidelberg (2006)
Dastani, M.: 2apl: a practical agent programming language. Autonomous Agents and Multi-Agent Systems 16(3), 214–248 (2008)
Dastani, M., Meyer, J.-J.C., Grossi, D.: A logic for normative multi-agent programs. J. Log. Comput. 23(2), 335–354 (2013)
Eiter, T., Erdem, E., Faber, W.: Undoing the effects of action sequences. J. Applied Logic 6(3), 380–415 (2008)
Gelfond, M., Lifschitz, V.: Action languages. Electron. Trans. Artif. Intell. 2, 193–210 (1998)
Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artif. Intell. 153(1-2), 49–104 (2004)
Giunchiglia, E., Lifschitz, V.: An action language based on causal explanation: Preliminary report. In: AAAI/IAAI, pp. 623–630. AAAI, The MIT Press (1998)
Gomes, A.S., Alferes, J.J.: Transaction logic with external actions. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 272–277. Springer, Heidelberg (2011)
Gomes, A.S., Alferes, J.J.: Extending transaction logic with external actions. Theory and Practice of Logic Programming, On-line Supplement (to appear, 2013)
Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Agent programming in 3apl. Autonomous Agents and Multi-Agent Systems 2(4), 357–401 (1999)
Kowalski, R.A., Sadri, F.: Abductive logic programming agents with destructive databases. Ann. Math. Artif. Intell. 62(1-2), 129–158 (2011)
Sergot, M.J., Craven, R.: The deontic component of action language \(n{\mathcal{C}}+\). In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS (LNAI), vol. 4048, pp. 222–237. Springer, Heidelberg (2006)
Son, T.C., Pontelli, E., Sakama, C.: Formalizing commitments using action languages. In: Sakama, C., Sardina, S., Vasconcelos, W., Winikoff, M. (eds.) DALT 2011. LNCS, vol. 7169, pp. 67–83. Springer, Heidelberg (2012)
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
Gomes, A.S., Alferes, J.J. (2013). External Transaction Logic with Automatic Compensations. 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_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-40624-9_15
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)