Results 41 to 50 of about 1,884 (291)
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
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
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
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
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
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
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 +2 more sources
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