KR2024Proceedings of the 21st International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning

Hanoi, Vietnam. November 2-8, 2024.

Edited by

ISSN: 2334-1033
ISBN: 978-1-956792-05-8

Sponsored by
Published by

Copyright © 2024 International Joint Conferences on Artificial Intelligence Organization

Action Language mA* with Higher-Order Action Observability

  1. David Buckingham(Tufts University)
  2. Matthias Scheutz(Tufts University)
  3. Tran Cao Son(New Mexico State University)
  4. Francesco Fabiano(New Mexico State University)

Keywords

  1. Reasoning about actions and change, action languages-General
  2. Reasoning about knowledge, beliefs, and other mental attitudes-General
  3. Reasoning in multi-agent systems-General

Abstract

This paper presents a novel semantics for the mA* epistemic action language that takes into consideration dynamic per-agent observability of events. Different from the original mA* semantics, the observability of events is defined locally at the level of possible worlds, giving a new method for compiling event models. Locally defined observability represents agents' uncertainty and false-beliefs about each others' ability to observe events. This allows for modeling second-order false-belief tasks where one agent does not know the truth about another agent's observations and resultant beliefs. The paper presents detailed constructions of event models for ontic, sensing, and truthful announcement action occurrences and proves various properties relating to agents' beliefs after the execution of an action. It also shows that the proposed approach can model second order false-belief tasks and satisfies the robustness and faithfulness criteria discussed by Bolander (2018, https://doi.org/10.

1007/978-3-319-62864-6_8).