A Logical Model of Communication Channels
File version
Accepted Manuscript (AM)
Author(s)
Olivieri, Francesco
Santaca, Katia
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Lavangnananda, K
PhonAmnuaisuk, S
Engchuan, W
Chan, JH
Date
Size
File type(s)
Location
Bangkok, Thailand
License
Abstract
A channel is a logical spcae where agents make announcements publicly. Examples of such objects are forums, wikis and social networks. Several questions arise about the nature of such a statement as well as about the attitude of the agent herself in doing these announcements. Does the agent know whether the statement is true? Is this agent announcing that statement or its opposite in any other channel? Extensions to Dynamic Epistemic Logics have been proposed in the recent past that give account to public announcements. One major limit of these logics is that announcements are always considered truthful. It is however clear that, in real life, incompetent agents may announce false things, while deceitful agents may even announce things they do not believe in. In this paper, we shall provide a logical framework, called Multiple Channel Logic, able to relate true statements, agent beliefs, and announcements on communication channels. We discuss syntax and semantics of this logic and show the behaviour of the proposed deduction system. Lastly, we shall present a classification of agents based on the above introduced behaviour analysis.
Journal Title
Conference Title
Intelligent and Evolutionary Systems
Book Title
Edition
Volume
5
Issue
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
© 2016 Springer International Publishing Switzerland. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher.The original publication is available at www.springerlink.com
Item Access Status
Note
Access the data
Related item(s)
Subject
Artificial intelligence
Agents
ATTITUDES
Computer Science, Theory & Methods
Persistent link to this record
Citation
Cristani, M; Olivieri, F; Santaca, K, A Logical Model of Communication Channels, Intelligent and Evolutionary Systems, 2016, 5, pp. 57-71