John Thanagarajah, Lin Padgham, James Harland  Home/Search
Context Related
| rmit.edu.au/~jah/p...acsc02goals.ps.gz rmit.edu.au/~linpa/Pap...acsc02goals.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: rmit.edu.au/~jah/pubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A number of agent-oriented programming systems are based on a framework of beliefs, desires and intentions (BDI) and more explicitly on the BDI logic of Rao and Georgeff. In this logic, goals are a consistent set of desires, and this property is fundamental to the semantics of the logic. However, implementations based on this framework typically have no explicit representation of either desires or goals, and consequently no mechanisms for checking consistency. In this paper we address this gap... (Update)
Context of citations to this paper: More
.... one cannot check whether the goal has been achieved, check whether the goal is impossible, or check for interference between goals [21]. This lack of intelligence also constitutes a gap between BDI theories and implementations: an ideal BDI agent is required to drop...
.... achieve, one cannot check whether the goal has been achieved, check whether the goal is impossible, or check for interference between goals [16]. This lack of intelligence also constitutes a gap between BDI (Belief Desire Intention) theories and implementations: an ideal BDI...
Cited by: More
Detecting Avoiding Interference Between Goals in Intelligent .. - John Thangarajah And (Correct)
Linking Agent Concepts and Methodology with CAN - Winikoff, Harland, Padgham (Correct)
Declarative Procedural Goals in Intelligent Agent Systems - Winikoff, Padgham.. (2002) (Correct)
Similar documents (at the sentence level):
78.4%: Representation and Reasoning for Goals in BDI Agents - Thangarajah, Padgham, Harland (Correct)
Active bibliography (related documents): More All
0.3: Simplifying the Development of Intelligent Agents - Winikoff, Padgham, Harland (2001) (Correct)
0.2: Agent-Oriented Programming in Linear Logic - Amin (1999) (Correct)
0.1: Towards a Logic of Rational Agency - van der Hoek, Wooldridge (2003) (Correct)
Similar documents based on text: More All
0.6: Language Design Issues for Agents based on Linear Logic.. - Harland, Winikoff (Correct)
0.6: Agents via Mixed-mode Computation in Linear Logic: A Proposal - Harland, Winikoff (2001) (Correct)
0.6: Formalizing motivational attitudes of agents: On.. - Dignum, Kinny, Sonenberg (Correct)
Related documents from co-citation: More All
4: JAM: A BDI-theoretic Mobile Agent Architecture (context) - Huber - 1999
4: Jack intelligent agents - components for intelligent agents in java - Busetta, Ronnquist et al. - 1999
4: An architecture for real-time reasoning and system control (context) - Ingrand, Georgeff et al. - 1992
BibTeX entry: (Update)
John Thangarajah, Lin Padgham, and James Harland. Representation and reasoning for goals in BDI agents. To appear in Proceedings of the TwentyFifth Australasian Computer Science Conference (ACSC http://citeseer.ist.psu.edu/491483.html More
@misc{ thangarajah-representation,
author = "J. Thangarajah and L. Padgham and J. Harland",
title = "Representation and reasoning for goals in BDI agents",
text = "John Thangarajah, Lin Padgham, and James Harland. Representation and reasoning
for goals in BDI agents. To appear in Proceedings of the TwentyFifth Australasian
Computer Science Conference (ACSC",
url = "citeseer.ist.psu.edu/491483.html" }
Citations (may not include all citations):200 and Practical Reason (context) - Bratman, Plans - 1987
138 An abstract architecture for rational agents (context) - Rao, Georgeff - 1992
85 Modelling rational agents within a BDIArchitecture (context) - Rao, Georgeff - 1991
68 An agent-based approach for building complex software system.. (context) - Jennings - 2001
56 Applications of intelligent agents - Jennings, Wooldridge - 1998
55 Jack intelligent agents - components for intelligent agents .. - Busetta, Ronnquist et al. - 1999
37 Jam: A BDI-theoretic mobile agent architecture (context) - Huber - 1999
25 Dynamic goal hierarchies - Bell, Huang - 1997
12 Agent programming with declarative goals - Hindriks, de Boer et al.
1 Agent Oriented Software (context) - Oriented, Pty et al. - 2000
Documents on the same site (http://www.cs.rmit.edu.au/~jah/pubs.html): More
Structural Properties of Logic Programs - Harland (Correct)
A Kripke-like Model for Negation as Failure - Harland (1989) (Correct)
Some Issues in the Operational Semantics of Logic Programs (or.. - Harland (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC