Dynamic epistemic logic
PulseAugur coverage of Dynamic epistemic logic — every cluster mentioning Dynamic epistemic logic across labs, papers, and developer communities, ranked by signal.
1 day(s) with sentiment data
-
New research advances epistemic logic for belief and distributed knowledge
Two new research papers explore advancements in epistemic logic, a field concerned with reasoning about knowledge and belief. The first paper introduces a novel mechanism for belief contraction within standard Kripke mo…
-
New logic system extends knowledge reasoning with data exchange modeling
Researchers have developed a new logic system that extends Dynamic Epistemic Logic (DEL). This enhanced logic incorporates operators for conditional non-propositional knowledge, allowing agents to reason about the numer…
-
New EPDDL language standardizes epistemic planning tasks
Researchers have introduced the Epistemic Planning Domain Definition Language (EPDDL) to standardize the representation of epistemic planning tasks. This new language aims to unify the diverse and often ad hoc methods c…