Open AccessBook
Logical Dynamics of Information and Interaction
Johan van Benthem
- 12 Jun 2014
TL;DR: A new view of logic as a theory of information-driven agency and intelligent interaction between many agents is developed, unifying all these systems, and positioning them at the interface of logic, philosophy, computer science and game theory.
read more
Abstract: This book develops a new view of logic as a theory of information-driven agency and intelligent interaction between many agents - with conversation, argumentation and games as guiding examples. It provides one uniform account of dynamic logics for acts of inference, observation, questions and communication, that can handle both update of knowledge and revision of beliefs. It then extends the dynamic style of analysis to include changing preferences and goals, temporal processes, group action and strategic interaction in games. Throughout, the book develops a mathematical theory unifying all these systems, and positioning them at the interface of logic, philosophy, computer science and game theory. A series of further chapters explores repercussions of the 'dynamic stance' for these areas, as well as cognitive science.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge
Alexandru Baltag,Bryan Renne,Sonja Smets +2 more
- 03 Sep 2012
TL;DR: A logic for reasoning about the evidence-based knowledge and beliefs and the evidential dynamics of non-logically -omniscient agents and a formal dynamic account of Lehrer’s well-known Gettier-type scenario involving the famous Ferrari and the infamous Messrs. Nogot and Havit is provided.
The effort of reasoning: modelling the inference steps of boundedly rational agents
Sonja Smets,Anthia Solaki +1 more
- 24 Jul 2018
TL;DR: A new logical system to explicitly model the different deductive reasoning steps of a boundedly rational agent is designed and can be reduced to awareness-like plausibility structures that validate the same formulas and a sound and complete axiomatization is given with respect to them.
How to Make Friends: A Logical Approach to Social Group Creation
Sonja Smets,Fernando R. Velázquez-Quesada +1 more
- 11 Sep 2017
TL;DR: This paper focuses on the mechanisms which indicate when agents can form a team based on the correspondence in their set of features, and uses tools of dynamic epistemic logic to study the properties of different strategies to network formations.
Resolving Distributed Knowledge
Thomas Ågotnes,Yì N. Wáng +1 more
TL;DR: In this paper, the authors introduce an operator R_G such that a distributed knowledge is known after all the members of the group have shared all their information with each other, after the distributed knowledge has been resolved.
Uncertainty-Based Knowing How Logic
TL;DR: In this paper , a new semantics for a multi-agent epistemic operator of knowing how based on an indistinguishability relation between plans is proposed, which is closer to the standard presentation of knowing that modalities in classical epistemic logic.
References
•Book
The Evolution of Cooperation
Robert Axelrod,William D. Hamilton +1 more
- 01 Apr 1984
TL;DR: In this paper, a model based on the concept of an evolutionarily stable strategy in the context of the Prisoner's Dilemma game was developed for cooperation in organisms, and the results of a computer tournament showed how cooperation based on reciprocity can get started in an asocial world, can thrive while interacting with a wide range of other strategies, and can resist invasion once fully established.
The Evolution of Cooperation.
Terry Connolly,Robert Axelrod +1 more
TL;DR: A model is developed based on the concept of an evolutionarily stable strategy in the context of the Prisoner's Dilemma game to show how cooperation based on reciprocity can get started in an asocial world, can thrive while interacting with a wide range of other strategies, and can resist invasion once fully established.
15.2K
•Book
A mathematical theory of evidence
Glenn Shafer
- 01 Jan 1976
TL;DR: This book develops an alternative to the additive set functions and the rule of conditioning of the Bayesian theory: set functions that need only be what Choquet called "monotone of order of infinity." and Dempster's rule for combining such set functions.
14.6K
I.—computing machinery and intelligence
TL;DR: I propose to consider the question, “Can machines think?”♣ This should begin with definitions of the meaning of the terms “machine” and “think”.
11.1K
Related Papers (5)
Hans van Ditmarsch,Wiebe van der Hoek,Barteld Kooi +2 more
- 15 Nov 2007
Ronald Fagin,Joseph Y. Halpern,Moshe Y. Vardi,Yoram Moses +3 more
- 14 Aug 1995
Alexandru Baltag,Sonja Smets +1 more
- 01 Jan 2008