Message passing in a dynamic epistemic logic setting

Sietsma, Floor; Eijck, Jan van

doi:10.1145/2000378.2000404

Cited by 6 publications

(5 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Both [10] and [2] limit the message contents to atomic propositions, and message actions are specified only in the history model, while [15] has a richer language to represent both message contents and actions. Sietsma and van Eijck in their recent paper [14] propose a framework for message passing that combines the dynamic epistemic semantics and history-based approaches.…”

Section: Resultsmentioning

confidence: 99%

A Logic for Knowledge Flow in Social Networks

Ruan

Thielscher

2011

AI 2011: Advances in Artificial Intelligence

View full text Add to dashboard Cite

Abstract. In this paper, we develop a formal framework for analysing the flow of information and knowledge through social networks. Specifically, we propose a multi-agent epistemic logic in which we can represent and reason about communicative actions based on social networks and the resulting knowledge and ignorance of agents. We apply this logic to formally analyse the "Revolt or Stay-at-home" problem known from the literature, where social networks play an important role in agents' knowledge acquisition and decision-making. We evaluate our work by proving some mathematical properties of our new logic, including the fact that it generalises the existing Logic of Public Announcement.

show abstract

Section: Resultsmentioning

confidence: 99%

A Logic for Knowledge Flow in Social Networks

Ruan

Thielscher

2011

AI 2011: Advances in Artificial Intelligence

View full text Add to dashboard Cite

show abstract

“…We already indicated in Section 7 that sending messages containing a formula i ◭ m increases the expressiveness of the messages from the epistemic point of view. One could also consider in our framework sending epistemic formulas, a feature recently studied in [17] in a setting with a finite number of messages and the BCC feature absent.…”

Section: Discussionmentioning

confidence: 99%

“…However, the forward did not include the original message and the BCC feature was absent. More recently, in [17] explicit messages are introduced in a dynamic epistemic logic to analyze a similar setting, though BCC was simulated as discussed in Section 7. In both papers it is assumed that the number of messages is finite.…”

Section: Related Workmentioning

confidence: 99%

Common Knowledge in Email Exchanges

Sietsma

Apt

2013

ACM Trans. Comput. Logic

Self Cite

View full text Add to dashboard Cite

We consider a framework in which a group of agents communicates by means of emails, with the possibility of replies, forwards and blind carbon copies (BCC). We study the epistemic consequences of such email exchanges by introducing an appropriate epistemic language and semantics. This allows us to find out what agents learn from the emails they receive and to determine when a group of agents acquires common knowledge of the fact that an email was sent. We also show that in our framework from the epistemic point of view the BCC feature of emails cannot be simulated using messages without BCC recipients.

show abstract

“…Back to early stage investigations on Public Announcements, the idea that someone could forecast others' lies is incorporated within the logic itself [7]. A more recent study focused on communication, and introduces, in a different way with respect to the approach we adopted here, a notion of channel [8]. The framework is Dynamic Epistemic Logic.…”

Section: Related Workmentioning

confidence: 99%

A Logical Model of Communication Channels

Cristani

Olivieri

Santacà

2015

Proceedings in Adaptation, Learning and Optimization

View full text Add to dashboard Cite

A channel is a logical space 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 behavior of the proposed deduction system. Lastly, we shall present a classification of agents based on the above introduced behavior analysis.

show abstract

Message passing in a dynamic epistemic logic setting

Cited by 6 publications

References 11 publications

A Logic for Knowledge Flow in Social Networks

A Logic for Knowledge Flow in Social Networks

Common Knowledge in Email Exchanges

A Logical Model of Communication Channels

Contact Info

Product

Resources

About