Abstract
Agent systems are designed to work in complex dynamic environments, which requires an agent to repeatedly deliberate over its choice of actions. A common way to achieve this is to use agent architectures based on the Belief-Desire-Intention (BDI) model, in which an agent continuously deliberates over the best way to achieve its goals in the current environment. In this paper we explore how a BDI approach can be implemented in Lygon, a logic programming language based on linear logic. In particular, we show how backward and forward chaining techniques can be used to provide proactive and reactive agent behaviours. We discuss some extensions to Lygon which allow us to use abduction techniques to generate plans to achieve a given goal, as well as an addition to the syntax of Lygon which greatly simplifies the specification of a sequence of goals to be achieved. We also show how a simple addition to the backward chaining process allows us to specify proactive checking of maintenance goals.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bosser, A.-G., Cavazza, M., Champagnat, R.: Linear logic for non-linear storytelling. In: Proceedings of the European Conference on Artificial Intelligence, Lisbon (August 2010)
Chaudhuri, K., Pfenning, F., Price, G.: A logical characterization of forward and backward chaining in the inverse method. Journal of Automated Reasoning 40, 133–177 (2008)
Denecker, M., Kakas, A.C.: Abduction in Logic Programming. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol. 2407, pp. 402–436. Springer, Heidelberg (2002)
Duff, S., Harland, J., Thangarajah, J.: On proactivity and maintenance goals. In: Proceedings of the International Conference on Autonomous Agents and Multi-Agent Systems, Hakodate, pp. 1033–1040 (2006)
Girard, J.-Y.: Linear logic. Theoretical Computer Science 50(1), 1–102 (1987)
Harland, J., Pym, D., Winikoff, M.: Programming in Lygon: An Overview. In: Nivat, M., Wirsing, M. (eds.) AMAST 1996. LNCS, vol. 1101, pp. 391–405. Springer, Heidelberg (1996)
Harland, J., Pym, D., Winikoff, M.: Forward and backward chaining in linear logic. In: CADE-17 Workshop on Proof-Search in Type-Theoretic Systems, Pittsburgh (June 2000)
Harland, J., Winikoff, M.: Agents via mixed-mode computation in linear logic. Annals of Mathematics and Artificial Intelligence 42(1), 167–196 (2004)
Hodas, J., Miller, D.: Logic programming in a fragment of intuitionistic linear logic. Information and Computation 110(2), 327–365 (1994)
Kowalski, R., Sadri, F.: Towards a Unified Agent Architecture that Combines Rationality with Reactivity. In: Pedreschi, D., Zaniolo, C. (eds.) LID 1996. LNCS, vol. 1154, pp. 135–149. Springer, Heidelberg (1996)
Liang, C., Miller, D.: Focusing and polarization in linear, intuitionistic, and classical logic. Theoretical Computer Science 410(46), 4747–4768 (2009)
Masseron, M., Tollu, C., Vauzeilles, J.: Generating plans in linear logic i: Actions as proofs. Theoretical Computer Science 113(2), 349–370 (1993)
Polakow, J.: Linear logic programming with an ordered context. In: Principles and Practice of Declarative Programming, Montreal (September 2000)
Porello, D., Endriss, U.: Modelling multilateral negotiation in linear logic. In: Proceedings of the European Conference on Artificial Intelligence, Lisbon, p. 939 (August 2010)
Rao, A.S., Georgeff, M.P.: An abstract architecture for rational agents. In: Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, pp. 439–449 (1992)
Shanahan, M.: Prediction is deduction but explanation is abduction. In: Proceedings of the International Joint Conference on Artificial Intelligence, pp. 1055–1060 (1989)
Winikoff, M.: Logic Programming With Linear Logic. PhD Thesis, University of Melbourne (1997)
Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative and procedural goals in intelligent agent systems. In: Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, Toulouse (April 2002)
Woolridge, M.: Intelligent Agents. MIT Press, Cambridge (1999)
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
Trodd, L., Harland, J., Thangarajah, J. (2013). Agent Deliberation via Forward and Backward Chaining in Linear Logic. In: Baldoni, M., Dennis, L., Mascardi, V., Vasconcelos, W. (eds) Declarative Agent Languages and Technologies X. DALT 2012. Lecture Notes in Computer Science(), vol 7784. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-37890-4_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-37890-4_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-37889-8
Online ISBN: 978-3-642-37890-4
eBook Packages: Computer ScienceComputer Science (R0)