A Many-valued Semantics for Multi-agent System

Yang Song, Satoshi Tojo

2022

Abstract

We often employ epistemic logic to express the epistemic states of agents. However, it is often too complicated to build a Kripke model because we should consider all possibilities of the knowledge between agents. In this paper, we employ a many-valued logic to express the epistemic states of agents. Thus far, the representations usually show the epistemic state of a single agent, however, we apply the logic to the multi-agent system. Here, we consider that there exist three kinds of epistemic states of known, truth-value unknown, and content unknown. Furthermore, we introduce two kinds of agent communication in our semantics, i.e., teaching and asking, and show how the epistemic states of agents will change.

Download


Paper Citation


in Harvard Style

Song Y. and Tojo S. (2022). A Many-valued Semantics for Multi-agent System. In Proceedings of the 14th International Conference on Agents and Artificial Intelligence - Volume 3: ICAART, ISBN 978-989-758-547-0, pages 863-870. DOI: 10.5220/0010918300003116


in Bibtex Style

@conference{icaart22,
author={Yang Song and Satoshi Tojo},
title={A Many-valued Semantics for Multi-agent System},
booktitle={Proceedings of the 14th International Conference on Agents and Artificial Intelligence - Volume 3: ICAART,},
year={2022},
pages={863-870},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010918300003116},
isbn={978-989-758-547-0},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 14th International Conference on Agents and Artificial Intelligence - Volume 3: ICAART,
TI - A Many-valued Semantics for Multi-agent System
SN - 978-989-758-547-0
AU - Song Y.
AU - Tojo S.
PY - 2022
SP - 863
EP - 870
DO - 10.5220/0010918300003116