Reasoning about Rational Agents - Detailed Contents

• Contents
• Preface
• Acknowledgments

1. Rational Agents
1. Properties of Rational Agents
2. A Software Engineering Perspective
3. Belief-Desire-Intention Agents
4. Reasoning about Belief-Desire-Intention Agents
5. Frequently Asked Questions (FAQ)
6. The Structure of This Book
7. Notes and Further Reading
2. The Belief-Desire-Intention Model
1. Practical Reasoning
2. Intentions in Practical Reasoning
3. Implementing Rational Agents
4. The Deliberation Process
5. Commitment Strategies
6. Intention Reconsideration
7. Mental States and Computer Programs
8. Notes and Further Reading
3. Introduction to LORA
1. The First-Order Component of LORA
2. The Belief, Desire, Intention Component of LORA
3. The Temporal Component of LORA
• Quantifying in to Temporal Contexts*
• Some Common Temporal Properties*
4. The Action Component of LORA
5. Groups of Agents in LORA
6. Notes and Further Reading
4. LORA Defined
1. Syntax
2. Semantics
• The Basic Components: Agents, Actions, and Time
• Possible Worlds
• Domains
• Denotation
• Models and Satisfaction Relations
• The Semantics of Action Expressions
3. Derived Connectives
• Derived Temporal Operators
• Derived Operators for Reasoning about Groups
• Derived Operators for Reasoning about Actions
4. Some Properties of LORA
5. Notes and Further Reading
5. Properties of Rational Agents
1. BDI Correspondence Theory*
1. Subworlds
2. Subset Correspondence Results
3. Intersection-style Correspondences
2. Pairwise Interactions between Beliefs, Desires, and Intentions
1. Attitudes to Inevitabilities
2. Attitudes to Options
3. Varieties of Realism
1. Weak Realism and Inevitabilities
2. Weak Realism and Options
4. Systems of BDI Logic
5. The Side-Effect Problem
6. Notes and Further Reading
6. Collective Mental States
1. Mutual Beliefs, Desires, and Intentions
1. The Semantics of Mutual Belief*
2. Mutual Mental States as Fixed Points*
3. Properties of Mutual Belief
2. Mutual Mental States and Teamwork
1. Blind Social Commitment
2. A Minimal Social Convention
3. Notes and Further Reading
7. Communication
1. Speech Acts
• Speech Acts as Rational Action
• Agent Communication Languages: KQML and FIPA
2. Attempts
3. Informing
4. Requesting
5. Composite Speech Acts
• Questions and Answers
• Request-based Conversation Policies
6. Notes and Further Reading
8. Cooperation
1. What Is Cooperative Problem Solving?
2. Recognition
• Ability
• Potential for Cooperation Defined
3. Team Formation
4. Plan Formation
5. Notes and Further Reading
9. Logic and Agent Theory
Specification
1. Implementation
• Refinement
• Case Study: A Methodology for BDI Agents
2. Directly Executing Agent Specifications
• Case Study: Concurrent MetateM
3. Compiling Agent Specifications
• Case Study: Situated Automata
4. Verification
• Axiomatic Approaches
• Case Study: Axiomatizing Two Multiagent Languages
• Semantic Approaches: Model Checking
• Case Study: Model Checking BDI Systems
5. Notes and Further Reading

• Appendix: Summary of Notation
• Appendix: Formal Foundations
• References
• Index

 

 

Summary