Model Checking Algorithms for Epistemic Goals in Cooperative MultiAgent Systems
Qingliang Chen, Keyi Zhu · Acta Scientiarum Naturalium Universitatis Sunyatseni · 2009
The model of checking algorithms was studied for epistemic specifications in ATEL(Alternating Temporal Epistemic Logic) for multi-agent systems,including nested knowledge modalities,distributed knowledge and common knowledge modalities,based on the invariant property checking approach proposed by Wooldridge.The results showed that ATEL maintains a good balance between the expressive power and computational complexity.