Logic of Awareness in Agent’s Reasoning

Yudai Kubono, Teeradaj Racharak, Satoshi Tojo

2023

Abstract

The aim of this study is to formally express awareness for modeling practical agent communication. The notion of awareness has been proposed as a set of propositions for each agent, to which he/she pays attention, and has contributed to avoiding logical omniscience. However, when an agent guesses another agent’s knowledge states, what matters are not propositions but are accessible possible worlds. Therefore, we introduce a partition of possible worlds connected to awareness, that is an equivalence relation, to denote indistinguishable worlds. Our logic is called Awareness Logic with Partition (ALP). In this paper, we first show a running example to illustrate a practical social game. Thereafter, we introduce syntax and Kripke semantics of the logic and prove its completeness. Finally, we outline an idea to incorporate some epistemic actions with dynamic operators that change the state of awareness.

Paper Citation

in Harvard Style

Kubono Y., Racharak T. and Tojo S. (2023). Logic of Awareness in Agent’s Reasoning. In Proceedings of the 15th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, ISBN 978-989-758-623-1, pages 207-216. DOI: 10.5220/0011630300003393

in Bibtex Style

@conference{icaart23,
author={Yudai Kubono and Teeradaj Racharak and Satoshi Tojo},
title={Logic of Awareness in Agent’s Reasoning},
booktitle={Proceedings of the 15th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,},
year={2023},
pages={207-216},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0011630300003393},
isbn={978-989-758-623-1},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 15th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,
TI - Logic of Awareness in Agent’s Reasoning
SN - 978-989-758-623-1
AU - Kubono Y.
AU - Racharak T.
AU - Tojo S.
PY - 2023
SP - 207
EP - 216
DO - 10.5220/0011630300003393