Agent deliberation via forward and backward chaining in linear logic

Trodd, L, Harland, J and Thangarajah, J 2013, 'Agent deliberation via forward and backward chaining in linear logic' in M. Baldoni et al. (ed.) Declarative Agent Languages and Technologies X: 10th InternationalWorkshop, DALT 2012, Springer, Heidelberg, Germany, pp. 57-75.


Document type: Book Chapter
Collection: Book Chapters

Title Agent deliberation via forward and backward chaining in linear logic
Author(s) Trodd, L
Harland, J
Thangarajah, J
Year 2013
Title of book Declarative Agent Languages and Technologies X: 10th InternationalWorkshop, DALT 2012
Publisher Springer
Place of publication Heidelberg, Germany
Editor(s) M. Baldoni et al.
Start page 57
End page 75
Subjects Adaptive Agents and Intelligent Robotics
Summary 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.
Copyright notice © Springer-Verlag Berlin Heidelberg 2013
DOI - identifier 10.1007/978-3-642-37890-4
ISBN 9783642378898
Versions
Version Filter Type
Altmetric details:
Access Statistics: 160 Abstract Views  -  Detailed Statistics
Created: Tue, 10 Jun 2014, 12:44:00 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us