Agent deliberation via forward and backward chaining in linear logic

  • Authors:

  • Luke Trodd;James Harland;John Thangarajah

  • Affiliations:

  • RMIT University, Melbourne, Australia;RMIT University, Melbourne, Australia;RMIT University, Melbourne, Australia

  • Venue:
  • Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

Agent solutions to programming problems are often based on the Belief-Desire-Intention (BDI) paradigm [12]. Beliefs represent what the agent believes to be the current state of the world. Desires specify the proactive behaviour of the agent, in that the agent works to make these true. Often desires can be mutually exclusive or contradictory, requiring the agent to select from among them, and so BDI implementations often use goals, which can be thought of as desires with some restrictions on them (such as requiring goals to be consistent, feasible and not yet achieved). There can be several types of goals, including achievement goals, whcih are dropped once they have been achieved, and maintenance goals, which are continually monitored, even when currenlty true. Intentions are plans of action that the agent has committed to to achieve its current goals. Often there are many ways to achieve a set of goals that the agent is working on, implying the need for a mechanism to choose between them.