Dynamic epistemic logic (DEL) Symbolic AI
noun phrase
Definition: A family of modal logics for reasoning about knowledge and belief change resulting from events, announcements, or actions [Stanford Encyclopedia of Philosophy].
Example in context: “This approach has been successfully implemented using dynamic epistemic logic for learning different types of propositional action models (Bolander & Gierasimczuk, 2018).” [Aineto et al. 2022]
Synonym: DEL
Related terms: epistemic logic, modal logic, belief revision