Results 41 to 50 of about 3,323 (276)

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, Wiebe van der Hoek, Barteld P. Kooi   +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, Wan Ainun Mior Othman, Kok Bin Wong   +2 more
doaj   +1 more source

Algebra and Sequent Calculus for Epistemic Actions

, 2005
We introduce an algebraic approach to Dynamic Epistemic Logic. This approach has the advantage that: (i) its semantics is a transparent algebraic object with a minimal set of primitives from which most ingredients of Dynamic Epistemic Logic arise, (ii ...
Sadrzadeh, Mehrnoosh, Baltag , Alexandru, Coecke , Bob, Baltag, Alexandru, Coecke, Bob   +4 more
core   +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 Systems
The 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

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, Felix Tongkul, Azlan Adnan   +2 more
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, Aybüke Özgün, Ana Lucia Vargas Sandoval   +2 more
openaire   +3 more sources

The Algebra of Multi-Agent Dynamic Belief Revision

, 2005
We refine our algebraic axiomatization in [8,9] of epistemic actions and epistemic update (notions defined in [5,6] using Kripke-style semantics), to incorporate a mechanism for dynamic belief revision in a multi-agent setting.
Sadrzadeh, Mehrnoosh, Sadrzadeh, M., Baltag , Alexandru, M. Sadrzadeh, A. Baltag, Baltag, Alexandru, Baltag, A., Mehrnoosh Sadrzadeh, Alexandru Baltag   +8 more
core   +1 more source

The Expressivity of Factual Change in Dynamic Epistemic Logic [PDF]

, 2014
A commonly used dynamic epistemic logic is one obtained by adding commonknowledge and public announcements to a basic epistemic logic. It is known from Kooi (2007) that adding public substitutions to such a logic adds expressivity over the class K of ...
KUIJER, LOUWE B, Kuijer, Louwe B.
core   +1 more source

LLM‐Integrated Human–Robot Interaction System for Microrobots

Advanced Robotics Research, EarlyView.
This paper proposes an LLM‐based control framework for guiding microrobots using human natural language. This framework can convert the natural human speech into safe and executable command sets for reliable navigation in complex environments. The experimental results show high accuracy and robustness in task performance, demonstrating the potential of
Bairong Zhu, Amar Salehi, Tingting Yu
wiley   +1 more source