scholarly journals The Dynamic Epistemic Logic for Actual Knowledge

2020 ◽  
Vol 49 (1) ◽  
Author(s):  
Arkadiusz Wójcik
Keyword(s):  
Epistemic Logic ◽  
Dynamic Epistemic Logic ◽  
Logical Omniscience ◽  
Actual Knowledge ◽  
Knowledge Change ◽  
The Past ◽  
Knowledge Models ◽  
Complete Axiomatization ◽  
New Information

The dynamic epistemic logic for actual knowledge models the phenomenon of actual knowledge change when new information is received. In contrast to the systems of dynamic epistemic logic which have been discussed in the past literature, our system is not burdened with the problem of logical omniscience, that is, an idealized assumption that the agent explicitly knows all classical tautologies and all logical consequences of his or her knowledge. We provide a sound and complete axiomatization for this logic.

scholarly journals Does Amy Know Ben Knows You Know Your Cards? A Computational Model of Higher-Order Epistemic Reasoning

2021 ◽  
Author(s):  
Cedegao Zhang ◽  
Huang Ham ◽  
Wesley H. Holliday
Keyword(s):  
Computational Model ◽  
Cognitive Ability ◽  
Epistemic Logic ◽  
Human Performance ◽  
Higher Order ◽  
Dynamic Epistemic Logic ◽  
Card Game ◽  
Epistemic Reasoning ◽  
New Information ◽  
Starting Point

Reasoning about what other people know is an important cognitive ability, known as epistemic reasoning, which has fascinated psychologists, economists, and logicians. In this paper, we propose a computational model of humans’ epistemic reasoning, including higher-order epistemic reasoning—reasoning about what one person knows about another person’s knowledge—that we test in an experiment using a deductive card game called “Aces and Eights”. Our starting point is the model of perfect higher-order epistemic reasoners given by the framework of dynamic epistemic logic. We modify this idealized model with bounds on the level of feasible epistemic reasoning and stochastic update of a player’s space of possibilities in response to new information. These modifications are crucial for explaining the variation in human performance across different participants and different games in the experiment. Our results demonstrate how research on epistemic logic and cognitive models can inform each other.

Houses of cards

2001 ◽  
Vol 14 ◽  
pp. 56-57 ◽  
Author(s):  
Bettina Bergmann
Keyword(s):  
Statistical Analysis ◽  
Domestic Space ◽  
Behavioral Patterns ◽  
Ad Hominem ◽  
The Past ◽  
Recent Scholarship ◽  
New Information ◽  
Exciting Time

We have reached an important moment in the study of the Roman house. The past 20 years have been extremely active, with scholars approaching domestic space down different disciplinary and methodological avenues. Since the important essay on Campanian houses by A. Wallace-Hadrill in 1988, new excavations and scores of books and articles have changed the picture of Pompeii and, with it, that of the Roman house. Theoretical archaeologists have taken the lead, approaching Pompeii as an "archaeological laboratory" in which, armed with the interpretative tools of spatial and statistical analysis, they attempt to recover ancient behavioral patterns. The interdisciplinary picture that emerges is complex and inevitably contradictory. There is so much new information and such a tangle of perspectives that it is time to consider what we have learned and what kinds of interpretative tools we might best employ. Without doubt this is an exciting time in Roman studies. But two overviews of recent scholarship to appear this year, the present one by R. Tybout and another by P. Allison (AJA 105.2 [2001]), express considerable frustration and resort to ad hominem recriminations that signal a heated backlash, at least among some.

Pop Music, Processing Fluency, and Pleasure

2021 ◽  
pp. 467-488
Author(s):  
Jeff Smith
Keyword(s):  
Aesthetic Experience ◽  
Vital Role ◽  
Processing Fluency ◽  
Pop Music ◽  
Exposure Effect ◽  
The Past ◽  
New Information ◽  
Important Research Topic ◽  
Stimulus Features ◽  
Film Viewing

Over the past fifteen years, processing fluency has become an increasingly important research topic in mapping the contours of aesthetic experience. It refers to the ease with which our minds assimilate new information, and it plays an important priming function in the pleasure or enjoyment experienced during film viewing. Fluency occurs as the result of both stimulus features and contextual factors, which include, among other things, the exposure effect, repetition, dishabituation, and spontaneous recovery. It can also play a vital role in cinematic listening, predisposing auditors toward positive judgments of films based on the ways in which they trigger efficient recall of music’s formal patterns. Processing fluency, thus, figures as an important dimension of film and music cross-promotion, either by leveraging consumer interest in music ancillaries or by enabling spectators to re-experience films through their soundtrack albums.

Topo-Logic as a Dynamic-Epistemic Logic

2017 ◽  
pp. 330-346 ◽  
Author(s):  
Alexandru Baltag ◽  
Aybüke Özgün ◽  
Ana Lucia Vargas Sandoval
Keyword(s):  
Epistemic Logic ◽  
Dynamic Epistemic Logic

Looking backward to the future: Counter-memory as oppositional knowledge-production in the Israeli–Palestinian conflict

2016 ◽  
Vol 65 (1) ◽  
pp. 54-72 ◽  
Author(s):  
Yifat Gutman
Keyword(s):  
Knowledge Production ◽  
Historical Narrative ◽  
Temporal Shift ◽  
Palestinian Refugees ◽  
The Past ◽  
Historical Justice ◽  
New Information ◽  
The Future ◽  
Peace Activism ◽  
Activist Groups

This article examines a strategy of peace activism that gained visibility in the last decades: memory activism. Memory activists manifest a temporal shift in transnational politics: first the past, then the future. Affiliated with the globally-circulating paradigm of historical justice, memory activist groups assume that a new understanding of the past could lead to a new perception of present problems and project alternative solutions for the future. Based on ethnographic fieldwork and discourse analysis among memory activists of the 1948 war in Israel since 2001, the article examines the activist production of counter-memory during active conflict. Using Coy et al.’s typology of oppositional knowledge-production, the article shows how the largest group of memory activism in Israel produced ‘new’ information on the war, critically assessed the dominant historical narrative, offered an alternative shared narrative, and began to envision practical solutions for Palestinian refugees. However, the analysis raises additional concerns that reach beyond the scope of the typology, primarily regarding the unequal power relations that exist not only between the dominant and activist production of oppositional knowledge, but also among activists.

scholarly journals Playing cards with Hintikka An introduction to dynamic epistemic logic

2005 ◽  
Vol 3 ◽  
Author(s):  
H. P. Ditmarsch ◽  
W. Van Der Hoek ◽  
B. P. Kooi
Keyword(s):  
Epistemic Logic ◽  
Common Knowledge ◽  
Dynamic Epistemic Logic ◽  
Knowledge And Beliefs ◽  
Public Announcements

This contribution is a gentle introduction to so-called dynamic epistemic logics, that can describe how agents change their knowledge and beliefs. We start with a concise introduction to epistemic logic, through the example of one, two and finally three players holding cards; and, mainly for the purpose of motivating the dynamics, we also very summarily introduce the concepts of general and common knowledge. We then pay ample attention to the logic of public announcements, wherein agents change their knowledge as the result of public announcements. One crucial topic in that setting is that of unsuccessful updates: formulas that become false when announced. The Moore-sentences that were already extensively discussed at the conception of epistemic logic in Hintikka’s ‘Knowledge and Belief ’ (1962) give rise to such unsuccessful updates. After that, we present a few examples of more complex epistemic updates.

Naftidrofuryl (praxilene)

1988 ◽  
Vol 26 (7) ◽  
pp. 25-27
Keyword(s):  
Cerebrovascular Disease ◽  
Vascular Disease ◽  
Peripheral Vascular Disease ◽  
Clinical Benefit ◽  
Senile Dementia ◽  
Peripheral Vascular ◽  
The Past ◽  
New Information

We have discussed the use of naftidrofuryl oxalate (Praxilene - Lipha) in peripheral vascular disease, senile dementia and acute cerebrovascular disease several times over the past 16 years. On each occasion we concluded that the evidence that naftidrofuryl gave clinical benefit was at best equivocal, and further trials were needed. We now review recent trials and other new information about the drug.

Sign in / Sign up

Export Citation Format

Share Document