KR2023Proceedings of the 20th International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning

Rhodes, Greece. September 2-8, 2023.

Edited by
  1. Pierre Marquis,
  2. Tran Cao Son
  3. Gabriele Kern-Isberner

ISSN: 2334-1033
ISBN: 978-1-956792-02-7

Sponsored by
Published by

Copyright © 2023 International Joint Conferences on Artificial Intelligence Organization

On Simple Expectations and Observations of Intelligent Agents: A Complexity Study

  1. Sourav Chakraborty(Indian Statistical Institute, Kolkata)
  2. Avijeet Ghosh(Indian Statistical Institute, Kolkata)
  3. Sujata Ghosh(Indian Statistical Institute, Chennai)
  4. François Schwarzentruber(Univ Rennes, IRISA, France)
PDF
BibTeX
https://doi.org/10.24963/kr.2023/14

Keywords

  1. Reasoning about actions and change, action languages
  2. Reasoning about knowledge, beliefs, and other mental attitudes

Abstract

Public observation logic (POL) reasons about agent expectations and agent observations in various real world situations. The expectations of agents take shape based on certain protocols about the world around and they remove those possible scenarios where their exceptions and observations do not match. This in turn influences the epistemic reasoning of these agents. In this work, we study the computational complexity of the satisfaction problems of various fragments of POL. In the process, we also highlight the inevitable link that these fragments have with the well-studied Public announcement logic.