Intention and Rationality for PRS-Like Agents

@inproceedings{Wobcke2002IntentionAR,
  title={Intention and Rationality for PRS-Like Agents},
  author={W. Wobcke},
  booktitle={Australian Joint Conference on Artificial Intelligence},
  year={2002}
}
  • W. Wobcke
  • Published in
    Australian Joint Conference…
    2002
  • Computer Science
In this paper, we elaborate on our earlier work on modelling the mental states of PRS-like agents by considering the logical properties of intentions and various rationality postulates for PRS-like agents that are a consequence of this modelling, in particular Bratman's asymmetry thesis, the side effect problem for intentions and Rao and Georgeff's nontransference principles. We show that PRS-like agents do enjoy many of the accepted logical properties of intention and rationality postulates as… Expand
An Analysis of Three Puzzles in the Logic of Intention
  • W. Wobcke
  • Computer Science
  • Australian Conference on Artificial Intelligence
  • 2006
In this paper, we generalize our formal approach to modelling PRS agents away from PRS-specific assumptions to more general theories of rationality, while not losing the concreteness of theExpand
Proving BDI Properties of Agent-Oriented Programming Languages: The asymmetry thesis principles in AgentSpeak(L)
In this paper, we consider each of the nine BDI principles defined by Rao and Georgeff based on Bratman's asymmetry thesis, and we verify which ones are satisfied by Rao's AgentSpeak(L), a logicExpand
Agent Programming Language with Incomplete Knowledge - Agentspeak(I)
TLDR
This new language allows agent programs to effectively perform while having incomplete knowledge of the environment, to detect no-longer possible goals and re-plan these goals correspondingly, and to behave reactively to changes of environment. Expand
AGENT PROGRAMMING LANGUAGE WITH INCOMPLETE
This paper proposes an agent programming language called AgentSpeak(I). This new language allows agent programs (1) to effectively perform while having incomplete knowledge of the environment, (2) toExpand

References

SHOWING 1-10 OF 17 REFERENCES
Intention is Choice with Commitment
TLDR
This paper provides a logical analysis of the concept of intention as composed of two more basic concepts, choice (or goal) and commitment, and derives a preliminary account of interpersonal commitments. Expand
Modeling Rational Agents within a BDI-Architecture
TLDR
A formalization of intentions based on a branching-time possible-worlds model is presented and it is shown how the formalism realizes many of the important elements of Bratman's theory of intention. Expand
Modelling PRS-Like Agents' Mental States
TLDR
This paper presents a modelling of the mental states of PRS-like agents developed using a combination of dynamic logic and BDI logic that allows a mapping between the operational semantics and the model-theoretic semantics, considering the statics, though not the dynamics, of mental states. Expand
Bringing About Rationality: Incorporating Plans Into a BDI Agent Architecture
TLDR
By using a plan library to semantically restrict an agent's intention-worlds, this work defines a framework that models the reasoning process of an intention-based autonomous agent and shows that this framework supports several desirable properties involving anAgent's commitment to future intentions, based on its available plans. Expand
Intention, Plans, and Practical Reason
1. Introduction 2. On the way to the planning theory 3. Plans and practical reasoning 4. Agent rationality: toward a general theory 5. Reconsideration and rationality 6. Agent rationality: theExpand
Asymmetry Thesis and Side-Effect Problems in Linear-Time and Branching-Time Intention Logics
TLDR
This paper combines the intuition behind both these approaches and provides a semantic account of the asymmetry thesis, in both linear-time and branching-time logics, for solving many of these problems. Expand
An Operational Semantics for a PRS-Like Agent Architecture
  • W. Wobcke
  • Computer Science
  • Australian Joint Conference on Artificial Intelligence
  • 2001
TLDR
This paper develops an operational semantics for a simplified language based on PRS that is derived directly from a high-level abstract interpreter; thus taking one step towards bridging this gap in the case of a simplified agent programming language sufficiently expressive to incorporate a simple notion of intention. Expand
Reactive Reasoning and Planning
TLDR
The reasoning system that controls the robot is designed to exhibit the kind of behavior expected of a rational agent, and is endowed with the psychological attitudes of belief, desire, and intention, resulting in complex goal-directed and reflective behaviors. Expand
SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGIC
TLDR
An appropriate axiom system is given which is complete for loop-free programs and also puts conventional predicate calculus in a different light by lumping quantifiers with non-logical assignments rather than treating them as logical concepts. Expand
Semantical consideration on floyo-hoare logic
  • V. Pratt
  • Computer Science
  • 17th Annual Symposium on Foundations of Computer Science (sfcs 1976)
  • 1976
TLDR
An appropriate axiom system is given which is complete for loop-free programs and also puts conventional predicate calculus in a different light by lumping quantifiers with non-logical assignments rather than treating them as logical concepts. Expand
...
1
2
...