Logic of Information Flow on Communication Channels

Wang, Yanjing; Sietsma, Floor; Eijck, Jan van

doi:10.1007/978-3-642-20715-0_8

Cited by 9 publications

(7 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…They use a history-based semantics rather than dynamic epistemic semantics of [3,4]. Apt et al [2] and Wang et al [15] also use a history-based semantics, but the communication structure (named hypergraph) is formed on groups: A message from an agent is received by all members of the same group. 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.…”

Section: Resultsmentioning

confidence: 99%

“…Apt et al [2] and Wang et al [15] also use a history-based semantics, but the communication structure (named hypergraph) is formed on groups: A message from an agent is received by all members of the same group. 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%

See 1 more Smart Citation

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%

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

“…EXAMPLE 8.8. In epistemic logical treatments of gossip protocols discussed by Wang et al (2011) and Attamah et al (2014), agents exchange information by telephone calls. We can assume calls i j between agents i and j are calls of type ab − in Attamah et al (2014).…”

Section: If Imentioning

confidence: 99%

Contingency and Knowing Whether

2015

Self Cite

View full text Add to dashboard Cite

A proposition is noncontingent, if it is necessarily true or it is necessarily false. In an epistemic context, ‘a proposition is noncontingent’ means that you know whether the proposition is true. In this paper, we study contingency logic with the noncontingency operator Δ but without the necessity operator □. This logic is not a normal modal logic, because Δ(φ → ψ) → (Δφ → Δψ) is not valid. Contingency logic cannot define many usual frame properties, and its expressive power is weaker than that of basic modal logic over classes of models without reflexivity. These features make axiomatizing contingency logics nontrivial, especially for the axiomatization over symmetric frames. In this paper, we axiomatize contingency logics over various frame classes using a novel method other than the methods provided in the literature, based on the ‘almost-definability’ schema AD proposed in our previous work. We also present extensions of contingency logic with dynamic operators. Finally, we compare our work to the related work in the fields of contingency logic and ignorance logic, where the two research communities have similar results but are apparently unaware of each other’s work. One goal of our paper is to bridge this gap.

show abstract

“…The explicit exchange of information is one of the main driving forces of how our social environment affects us. Note that paradigmatic forms of communication have already been explored from a logical perspective (e.g., the public observations of Plaza 1989; Gerbrandy and Groeneveld 1997, the diverse forms of private ones of Baltag et al 1998;Wang et al 2010;Sietsma and van Eijck 2011, and the group communication of Baltag et al 2018). Still, our opinions and information are also affected by subtler forms of interaction, such as socialisation, conformity, compliance, reactance and obedience (see, e.g., Nowak et al 2013;Cialdini and Griskevicius 2010).…”

Section: Introductionmentioning

confidence: 99%

A Closeness- and Priority-Based Logical Study of Social Network Creation

Smets

Velázquez–Quesada

2020

J of Log Lang and Inf

View full text Add to dashboard Cite

This paper is part of an ongoing programme on the study of the logical aspects of social network formation. It recalls the so-called social network model, discussing the properties of a notion of closeness between agents (in terms of the number of traits they have in common); then introduces an extended social network model in which different agents might assign different values to different traits, discussing the properties of the notion of weighted closeness that arises. These notions are used to define social network creation operations by means of a threshold strategy. The paper studies the properties of the social networks the updates create, providing sound and complete axiom systems for formal languages describing these updates' effects.

show abstract

Logic of Information Flow on Communication Channels

Cited by 9 publications

References 20 publications

A Logic for Knowledge Flow in Social Networks

A Logic for Knowledge Flow in Social Networks

Contingency and Knowing Whether

A Closeness- and Priority-Based Logical Study of Social Network Creation

Contact Info

Product

Resources

About