loading
Documents

Research.Publish.Connect.

Paper

Authors: Song Yang ; Masaya Taniguchi and Satoshi Tojo

Affiliation: Japan Advanced Institute of Science and Technology, Japan

ISBN: 978-989-758-350-6

Keyword(s): Agent Communication, Rational Agent, Dynamic Epistemic Logic, Modal Logic, 4-valued Logic.

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/ he r 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. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.226.243.130

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.