Results 11 to 20 of about 3,323 (276)
Dynamic epistemic logic in update logic [PDF]
Journal of Logic and Computation, 2016 We show that dynamic epistemic logic (DEL) is a substructural logic and that it is an extension of the update logic introduced in the companion article [12]. We identify axioms and inference rules that completely characterize the DEL product update, and we provide a sequent calculus for DEL.
Aucher, Guillaume
openaire +3 more sources
The Dynamic Epistemic Logic for Actual Knowledge [PDF]
Bulletin of the Section of Logic, 2020 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 ...
Wójcik, Arkadiusz
openaire +3 more sources
Stanford Encyclopedia of Philosophy, 2016 Dynamic Epistemic Logic is the study of modal logics of model change. DEL (pronounced “dell”) is a highly active area of applied logic that touches on topics in many areas, including Formal and Social Epistemology, Epistemic and Doxastic Logic, Belief Revision, multi-agent and distributed systems, Artificial Intelligence, Defeasible and Non-monotonic ...
Baltag, A., Renne, B.
core +3 more sources
Dynamic Epistemic Logics [PDF]
, 2014 Dynamic epistemic logic, broadly conceived, is the study of rational social interaction in context, the study, that is, of how agents update their knowledge and change their beliefs on the basis of pieces of information they exchange in various ways. The information that gets exchanged can be about what is the case in the world, about what changes in ...
Eijck, Jan +3 more
core +5 more sources
Learning by Erasing in Dynamic Epistemic Logic [PDF]
, 2009 This work provides a comparison of learning by erasing [1] and iterated epistemic update [2] as analyzed in dynamic epistemic logic (see e.g.[3]). We show that finite identification can be modelled in dynamic epistemic logic and that the elimination process of learning by erasing can be seen as iterated belief-revision modelled in dynamic doxastic ...
Gierasimczuk, N., Nina Gierasimczuk
openaire +4 more sources
Automata Techniques for Epistemic Protocol Synthesis [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 In this work we aim at applying automata techniques to problems studied in Dynamic Epistemic Logic, such as epistemic planning. To do so, we first remark that repeatedly executing ad infinitum a propositional event model from an initial epistemic model ...
Guillaume Aucher +2 more
doaj +1 more source
On the Complexity of Dynamic Epistemic Logic [PDF]
CoRR, 2013 10 pages, Contributed talk at TARK 2013 (arXiv:1310.6382) http://www.tark ...
Aucher, Guillaume +1 more
openaire +3 more sources
Design of a Solver for Multi-Agent Epistemic Planning [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 As the interest in Artificial Intelligence continues to grow it is becoming more and more important to investigate formalization and tools that allow us to exploit logic to reason about the world.
Francesco Fabiano
doaj +1 more source
Dynamic epistemic logic with assignment [PDF]
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, 2005 We add assignment operators to languages for epistemic actions, so that change of knowledge and change of facts can be combined in specifications of multi-agent system dynamics. We make a distinction between 'public assignment' and 'atomic assignment'. Public assignment means that the entire group of agents is aware of the factual change.
Kooi, B.P. +2 more
openaire +2 more sources
Arbitrary Arrow Update Logic with Common Knowledge is neither RE nor co-RE [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Arbitrary Arrow Update Logic with Common Knowledge (AAULC) is a dynamic epistemic logic with (i) an arrow update operator, which represents a particular type of information change and (ii) an arbitrary arrow update operator, which quantifies over arrow ...
Louwe B. Kuijer
doaj +1 more source