A Logical Model of Communication Channels

Loading...
Thumbnail Image
File version

Accepted Manuscript (AM)

Author(s)
Cristani, Matteo
Olivieri, Francesco
Santaca, Katia
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)

Lavangnananda, K

PhonAmnuaisuk, S

Engchuan, W

Chan, JH

Date
2016
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