Results 1 to 10 of about 1,988 (154)
Dynamic Epistemic Logic and Logical Omniscience
Logic and Logical Philosophy, 2015 Epistemic logics based on the possible worlds semantics suffer from the problem of logical omniscience, whereby agents are described as knowing all logical consequences of what they know, including all tautologies. This problem is doubly challenging: on the one hand, agents should be treated as logically non-omniscient, and on the other hand, as ...
openaire +3 more sources
From Potential to Actual Knowledge: A New Framework in Probabilistic Epistemic Logic
Studies in Logic, Grammar and RhetoricIn this paper we address the issue of improbable knowledge within probabilistic epistemic logic. This problem occurs when an agent possesses knowledge of a certain proposition despite the evidential probability of that knowledge being exceedingly low ...
Wójcik Arkadiusz
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, Bastien +4 more
openaire +5 more sources
Concurrent Games in Dynamic Epistemic Logic [PDF]
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020 Action models of Dynamic Epistemic Logic (DEL) represent precisely how actions are perceived by agents. DEL has recently been used to define infinite multi-player games, and it was shown that they can be solved in some cases. However, the dynamics being defined by the classic DEL update product for individual actions, only turn-based games have been ...
Bastien Maubert +3 more
openaire +1 more source
The Knowability Paradox and Unsuccessful Updates
Studies in Logic, Grammar and Rhetoric, 2020 In this paper we undertake an analysis of the knowability paradox in the light of modal epistemic logics and of the phenomena of unsuccessful updates.
Wójcik Arkadiusz
doaj +1 more source
Journal of Management and Research, 2022 This paper is intended to introduce knowledge workers to a unique paradigm on virtue epistemology, i.e., reflective knowledge, based on the doctrines of Islamic philosophy as 'Ilm.' The paper proposes a holistic framework for acquiring reflective ...
Nayab Nasir, Sarwar M Azhar, Mumtaz Khan
doaj
Terminating Tableaux for Dynamic Epistemic Logics
Electronic Notes in Theoretical Computer Science, 2010 AbstractThroughout the last decade, there has been an increased interest in various forms of dynamic epistemic logics to model the flow of information and the effect this flow has on knowledge in multi-agent systems. This enterprise, however, has mostly been applicationally and semantically driven.
openaire +3 more sources
Reachability Games in Dynamic Epistemic Logic [PDF]
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019 We define reachability games based on Dynamic Epistemic Logic (DEL), where the players? actions are finely described as DEL action models. We first consider the setting where a controller with perfect information interacts with an environment and aims at reaching some desired state of knowledge regarding the observers of the system.
Bastien Maubert +2 more
openaire +2 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 ...
openaire +4 more sources
A Symbolic Neutrosophic Models for Corporate Financial Management Performance: Integrating Multi-Layer Algebra and Case Analysis [PDF]
Neutrosophic Sets and SystemsThis paper introduces a dual-framework methodology for analyzing corporate financial performance under uncertainty by integrating two original models: the MetaSymbolic Neutrosophic Performance Algebra (MSNPA) and the Symbolic Neutrosophic Multi-Layer ...
Yan Wu
doaj +1 more source