Knowledge and common knowledge in a distributed environment
Journal of the ACM (JACM)
Representing and reasoning with probabilistic knowledge: a logical approach to probabilities
Representing and reasoning with probabilistic knowledge: a logical approach to probabilities
Reasoning about knowledge and probability
Journal of the ACM (JACM)
Reasoning about knowledge
Deciding the winner in parity games is in UP ∩ co-UP
Information Processing Letters
Model checking
Completeness of Kozen's axiomatisation of the propositional &mgr;-calculus
Information and Computation
Symbolic Model Checking
Model checking multi-agent systems with MABLE
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Model Checking Knowledge and Time
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Probabilistic Models for Agent's Beliefs and Decisions
UAI '00 Proceedings of the 16th Conference on Uncertainty in Artificial Intelligence
Probabilistic Dynamic Epistemic Logic
Journal of Logic, Language and Information
Probabilistic belief logic and its probabilistic aumann semantics
Journal of Computer Science and Technology
Verification of Multiagent Systems via Unbounded Model Checking
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Dynamic epistemic logic with assignment
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
A deterministic subexponential algorithm for solving parity games
SODA '06 Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm
Logical implementation of uncertain agents
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Abstraction for model checking the probabilistic temporal logic of knowledge
AICI'10 Proceedings of the 2010 international conference on Artificial intelligence and computational intelligence: Part I
Synchronizing Diachronic Uncertainty
Journal of Logic, Language and Information
| Hi-index | 0.00 |
In this paper, we introduce a probabilistic epistemic temporal logic, called PETL, which is a combination of temporal logic and probabilistic knowledge logic. The model checking algorithm is given. Furthermore, we present a probabilistic epistemic temporal logic, called μPETL, which generalizes μ-calculus by adding probabilistic knowledge modality. Similar to μ-calculus, μPETL is a succinct and expressive language. It is showed that temporal modalities such as “always”, “sometime” and “until”, and probabilistic knowledge modalities such as “probabilistic knowledge” and “probabilistic common knowledge” can be expressed in such a logic. PETL is proven to be a sublogic of μPETL. The model checking technique for μPETL is also studied.