Logics of time and computation
Logics of time and computation
Intention is choice with commitment
Artificial Intelligence
Reasoning about knowledge
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
First-Order Dynamic Logic
Bringing About Rationality: Incorporating Plans Into a BDI Agent Architecture
PRICAI '96 Proceedings of the 4th Pacific Rim International Conference on Artificial Intelligence: Topics in Artificial Intelligence
Semantical consideration on floyo-hoare logic
SFCS '76 Proceedings of the 17th Annual Symposium on Foundations of Computer Science
Decision-making in an embedded reasoning system
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
A representationalist theory of intention
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Intention and Rationality for PRS-Like Agents
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Proving BDI Properties of Agent-Oriented Programming Languages
Annals of Mathematics and Artificial Intelligence
Model generation for PRS-like agents
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Model checking for PRS-like agents
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
An analysis of three puzzles in the logic of intention
AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
Hi-index | 0.00 |
In recent years, there have been increased efforts towards defining rigorous operational semantics for a range of agent programming languages. At the same time, there have been increased efforts to develop logical frameworks for modelling belief, desire and intention (and related notions) that make closer connections to the workings of particular architectures, thus aiming to provide some computational interpretation of these abstract models. However, there remains a substantial gap between the more abstract logical approaches and the more computationally oriented operational approaches. In this paper, we present 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. This represents a first step towards bridging the gap between theory and practice for an agent programming language that includes a simple notion of intention.