Intention and Rationality for PRS-Like Agents

@inproceedings{Wobcke2002IntentionAR,
  title={Intention and Rationality for PRS-Like Agents},
  author={Wayne Wobcke},
  booktitle={Australian Joint Conference on Artificial Intelligence},
  year={2002}
}
  • W. Wobcke
  • Published in
    Australian Joint Conference…
    2 December 2002
  • Philosophy
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… 

An Analysis of Three Puzzles in the Logic of Intention

  • W. Wobcke
  • Philosophy
    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 the

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 logic

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.

AGENT PROGRAMMING LANGUAGE WITH INCOMPLETE

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.

References

SHOWING 1-10 OF 17 REFERENCES

Intention is Choice with Commitment

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.

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.

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.

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: the

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.

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.

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.

SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGIC

  • V. Pratt
  • Computer Science, Philosophy
    FOCS 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.

Semantical consideration on floyo-hoare logic

  • V. Pratt
  • Computer Science, Philosophy
    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.