Intention is choice with commitment
Artificial Intelligence
Properties of independently axiomatizable bimodal logics
Journal of Symbolic Logic
Representing and executing agent-based systems
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
The imperative future: principles of executable temporal logic
The imperative future: principles of executable temporal logic
Synthesis of Communicating Processes from Temporal Logic Specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Computational Logic (TOCL)
Branching time controllers for discrete event systems
Theoretical Computer Science
Alternating-time temporal logic
Journal of the ACM (JACM)
IEEE Intelligent Systems
Reasoning about Probabilistic Lossy Channel Systems
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Reasoning about Uncertainty
Heterogeneous temporal probabilistic agents
ACM Transactions on Computational Logic (TOCL)
Programming resource-bounded deliberative agents
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Specifying and reasoning about uncertain agents
International Journal of Approximate Reasoning
Towards an Epistemic Logic for Uncertain Agents
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
A complete probabilistic belief logic
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Verifying real-time temporal, cooperation and epistemic properties for uncertain agents
MICAI'06 Proceedings of the 5th Mexican international conference on Artificial Intelligence
Model checking for epistemic and temporal properties of uncertain agents
PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
| Hi-index | 0.00 |
We consider the representation and execution of agents specified using temporal logics. Previous work in this area has provided a basis for the direct execution of agent specifications, and has been extended to allow the handling of agent beliefs, deliberation and multi-agent groups. However, the key problem of uncertainty has not been tackled. Given that agents work in unknown environments, and interact with other agents that may, in turn, be unpredictable, then it is essential for any formal agent description to incorporate some mechanism for capturing this aspect. Within the framework of executable specifications, formal descriptions involving uncertainty must also be executable. The contribution of this paper is to extend executable temporal logic in order to allow the representation and execution of uncertain statements within agents. In particular, we extend the basis of the MetateM temporal framework with a probabilistic belief dimension captured by the recently introduced PFKD45 logic. We provide a description of the extended logic, the translation procedure for formulae in this extended logic to an executable normal form, and the execution algorithm for such formulae. We also outline technical results concerning the correctness of the translation to the normal form and the completeness of the execution mechanism.