Results 31 to 40 of about 77,232 (273)
Some Remarks on the Model Theory of Epistemic Plausibility Models [PDF]
, 2010 Classical logics of knowledge and belief are usually interpreted on Kripke models, for which a mathematically well-developed model theory is available. However, such models are inadequate to capture dynamic phenomena.
Aucher G. +7 more
core +1 more source
Normal default rules as epistemic actions
Acta Universitatis Carolinae Philosophica et Historica, 2016 The goal of this paper is to present a prospective way to ‘translate’ normal default rules into the framework of action models logic. At the beginning we introduce default logic and normal default logic with their main properties and, separately, action ...
Michal Dančák, Michal Peliš
doaj +1 more source
A Logic for Multi-Agent Conformant Planning Over Transition Systems
IEEE Access, 2020 Reasoning about actions and information is one of the most active areas of research in artificial intelligence. In this article, we study the reasoning about actions and information in multi-agent conformant planning, which is an essential branch of ...
Peipei Wu, Yanjun Li
doaj +1 more source
Parameterized Complexity Results for a Model of Theory of Mind Based on Dynamic Epistemic Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 In this paper we introduce a computational-level model of theory of mind (ToM) based on dynamic epistemic logic (DEL), and we analyze its computational complexity. The model is a special case of DEL model checking.
Iris van de Pol +2 more
doaj +1 more source
Dynamic Epistemic Reasoning with Awareness and Its Legal Application [PDF]
Vietnam Journal of Computer Science, 2019 Concerning a software tool of legal reasoning, it is important to describe the prediction about the result of a criminal action, because a crime is often caused by the unpredictability of the result of the defendant.
Tetsuji Goto, Ryo Hatano, Satoshi Tojo
doaj +1 more source
Dynamic Epistemic Logic Games with Epistemic Temporal Goals
, 2020 Dynamic Epistemic Logic (DEL) is a logical framework in which one can describe in great detail how actions are perceived by the agents, and how they affect the world. DEL games were recently introduced as a way to define classes of games with imperfect information where the actions available to the players are described very precisely.
Maubert, B. +4 more
openaire +4 more sources
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
Labelled Natural Deduction for Public Announcement Logic with Common Knowledge
Mathematics, 2020 Public announcement logic is a logic that studies epistemic updates. In this paper, we propose a sound and complete labelled natural deduction system for public announcement logic with the common knowledge operator (PAC). The completeness of the proposed
Muhammad Farhan Mohd Nasir +2 more
doaj +1 more source
Concurrent Dynamic Epistemic Logic [PDF]
, 2003 When giving an analysis of knowledge in multiagent systems, one needs a framework in which higher-order information and its dynamics can both be represented. A recent tradition starting in original work by Plaza treats all of knowledge, higher-order knowledge, and its dynamics on the same foot. Our work is in that tradition.
van Ditmarsch, H.P. +2 more
openaire +2 more sources
Dynamic Epistemic Logic and Knowledge Puzzles [PDF]
, 2007 We briefly give an overview of Dynamic Epistemic Logic (DEL), mainly in semantic terms. We focus on the simplest of epistemic actions in DEL, called public announcements. We also sketch the effect of more complex epistemic actions, and briefly show how als factual change can be modelled in the same framework.
van der Hoek, W +2 more
openaire +2 more sources