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
A Four-Valued Dynamic Epistemic Logic [PDF]
Journal of Logic, Language and Information, 2020 AbstractEpistemic logic is usually employed to model two aspects of a situation: the factual and the epistemic aspects. Truth, however, is not always attainable, and in many cases we are forced to reason only with whatever information is available to us. In this paper, we will explore a four-valued epistemic logic designed to deal with these situations,
openaire +3 more sources
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 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.
Hans P. van Ditmarsch +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
A Neutrosophic Epistemic Framework for Intangible Cultural Heritage Resources: Modeling Authenticity, Uncertainty, and Fragmentation in Tourism Development Potential Analysis [PDF]
Neutrosophic Sets and SystemsThe sustainability of intangible cultural heritage (ICH) increasingly depends on its interface with cultural tourism. While this interaction brings visibility and economic benefit, it often introduces epistemic tension: different stakeholders interpret ...
Chunxi Fan, Haihong Tan, Fangxin Xu
doaj +1 more source
Topo-Logic as a Dynamic-Epistemic Logic
, 2017 We extend the ‘topologic’ framework [13] with dynamic modalities for ‘topological public announcements’ in the style of Bjorndahl [5]. We give a complete axiomatization for this “Dynamic Topo-Logic”, which is in a sense simpler than the standard axioms of topologic.
Alexandru Baltag +2 more
openaire +3 more sources
Seismic Hazard Curve as Dynamic Parameters in Earthquake Building Design for Sabah, Malaysia
Buildings, 2023 This paper presents the significance of a seismic hazard curve plot as a dynamic parameter in estimating earthquake-resistant structures. Various cases of structural damages in Malaysia are due to underestimating earthquake loadings since mostly ...
Noor Sheena Herayani Harith +2 more
doaj +1 more source
Fuzzy Logic and Molana: Exploring the Possibility of Explaining Rumi’s Epistemological Foundations through Fuzzy Logic in the Masnavi-ye Ma‘navi [PDF]
ادبیات عرفانیThis study examines the epistemological structure of Rumi in the Masnavi-ye Ma‘navi and clarifies its relationship with fuzzy logic-a system of reasoning that, in contrast to the rigid dualism of Aristotelian logic, is founded upon the domains of ...
Ebrahim Hasanaklou, Ahmad Razi
doaj +1 more source