On Verifying Expectations and Observations of Intelligent Agents

Sourav Chakraborty; Avijeet Ghosh; Sujata Ghosh; François Schwarzentruber

IJCAI 2022poster1 citations

On Verifying Expectations and Observations of Intelligent Agents

Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber

Abstract

Public observation logic (POL) is a variant of dynamic epistemic logic to reason about agent expectations and agent observations. Agents have certain expectations, regarding the situation at hand, that are actuated by the relevant protocols, and they eliminate possible worlds in which their expectations do not match with their observations. In this work, we investigate the computational complexity of the model checking problem for POL and prove its PSPACE-completeness. We also study various syntactic fragments of POL. We exemplify the applicability of POL model checking in verifying different characteristics and features of an interactive system with respect to the distinct expectations and (matching) observations of the system. Finally, we provide a discussion on the implementation of the model checking algorithms.

Knowledge Representation and Reasoning: Computational Complexity of ReasoningKnowledge Representation and Reasoning: Reasoning about actionsKnowledge Representation and Reasoning: Reasoning about Knowledge and Belief

BibTeX

@inproceedings{ijcai2022p356,
  title     = {On Verifying Expectations and Observations of Intelligent Agents},
  author    = {Chakraborty, Sourav and Ghosh, Avijeet and Ghosh, Sujata and Schwarzentruber, François},
  booktitle = {Proceedings of the Thirty-First International Joint Conference on
               Artificial Intelligence, {IJCAI-22}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {Lud De Raedt},
  pages     = {2568--2574},
  year      = {2022},
  month     = {7},
  note      = {Main Track},
  doi       = {10.24963/ijcai.2022/356},
  url       = {https://doi.org/10.24963/ijcai.2022/356},
}