Authors:
Song Yang
;
Masaya Taniguchi
and
Satoshi Tojo
Affiliation:
Japan Advanced Institute of Science and Technology and Japan
Keyword(s):
Agent Communication, Rational Agent, Dynamic Epistemic Logic, Modal Logic, 4-valued Logic.
Related
Ontology
Subjects/Areas/Topics:
Agent Communication Languages
;
Agent Models and Architectures
;
Agents
;
Artificial Intelligence
;
Artificial Intelligence and Decision Support Systems
;
Distributed and Mobile Software Systems
;
Enterprise Information Systems
;
Knowledge Engineering and Ontology Development
;
Knowledge-Based Systems
;
Model-Based Reasoning
;
Multi-Agent Systems
;
Software Engineering
;
Symbolic Systems
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/ h
er 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)