4-valued Logic for Agent Communication with Private/Public Information Passing

Song Yang, Masaya Taniguchi, Satoshi Tojo

2019

Abstract

Thus far, the agent communication has often been modeled in dynamic epistemic logic, where each agent changes his/ her belief, restricting the accessibility to possible worlds in Kripke semantics. Prior to the message passing, in general, the sender should be required to believe the contents of the message. In some occasions, however, the recipient may not believe what he/ she has heard since he/ she may not have enough background knowledge to understand it or the information may be encrypted and he/ she may not know how to decipher it. In this paper, we generalize those messages that require special knowledge as private information and formalize that the recipient does not change his/ her belief receiving such private messages. Then, we distinguish the validity of the information from the belief change of the recipient; that is, even though the communication itself is held and the information is logically contradictory to his/ her original belief, the recipient may not change his/ her belief. For this purpose, we employ 4-valued logic where each proposition is given 2 (usual true and false) times 2 (private or public information or not) truth value.

Paper Citation

in Harvard Style

Yang S., Taniguchi M. and Tojo S. (2019). 4-valued Logic for Agent Communication with Private/Public Information Passing.In Proceedings of the 11th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, ISBN 978-989-758-350-6, pages 54-61. DOI: 10.5220/0007400000540061

in Bibtex Style

@conference{icaart19,
author={Song Yang and Masaya Taniguchi and Satoshi Tojo},
title={4-valued Logic for Agent Communication with Private/Public Information Passing},
booktitle={Proceedings of the 11th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,},
year={2019},
pages={54-61},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007400000540061},
isbn={978-989-758-350-6},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 11th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,
TI - 4-valued Logic for Agent Communication with Private/Public Information Passing
SN - 978-989-758-350-6
AU - Yang S.
AU - Taniguchi M.
AU - Tojo S.
PY - 2019
SP - 54
EP - 61
DO - 10.5220/0007400000540061