Intention is choice with commitment
Artificial Intelligence
Cognitive Carpentry: A Blueprint for how to Build a Person
Cognitive Carpentry: A Blueprint for how to Build a Person
First-Order Dynamic Logic
An Operational Semantics for a PRS-Like Agent Architecture
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Intention and Rationality for PRS-Like Agents
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Modelling PRS-Like Agents' Mental States
PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Semantical consideration on floyo-hoare logic
SFCS '76 Proceedings of the 17th Annual Symposium on Foundations of Computer Science
Asymmetry thesis and side-effect problems in linear-time and branching-time intention logics
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Reactive reasoning and planning
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Model checking for PRS-like agents
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Hi-index | 0.00 |
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 connection between an agent's mental states and formal models, using three “puzzles” in the logic of intention to motivate our extended approach. We show how the theory can be used to represent solutions to the puzzles and draw out insights into how agent architectures may be extended to handle these more complex scenarios.