๐ฎ
๐ฎ
The Ethereal
Bringing Belief Base Change into Dynamic Epistemic Logic
December 22, 2019 ยท The Ethereal ยท ๐ Dynamic Logic. New Trends and Applications
"No code URL or promise found in abstract"
Evidence collected by the PWNC Scanner
Authors
Marlo Souza, รlvaro Moreira
arXiv ID
1912.10515
Category
cs.LO: Logic in CS
Cross-listed
cs.AI
Citations
2
Venue
Dynamic Logic. New Trends and Applications
Last Checked
5 months ago
Abstract
AGM's belief revision is one of the main paradigms in the study of belief change operations. In this context, belief bases (prioritised bases) have been primarily used to specify the agent's belief state. While the connection of iterated AGM-like operations and their encoding in dynamic epistemic logics have been studied before, few works considered how well-known postulates from iterated belief revision theory can be characterised by means of belief bases and their counterpart in dynamic epistemic logic. Particularly, it has been shown that some postulates can be characterised through transformations in priority graphs, while others may not be represented that way. This work investigates changes in the semantics of Dynamic Preference Logic that give rise to an appropriate syntactic representation for its models that allow us to represent and reason about iterated belief base change in this logic.
Community Contributions
Found the code? Know the venue? Think something is wrong? Let us know!
๐ Similar Papers
In the same crypt โ Logic in CS
๐ฎ
๐ฎ
The Ethereal
Safe Reinforcement Learning via Shielding
๐ฎ
๐ฎ
The Ethereal
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks
๐ฎ
๐ฎ
The Ethereal
Heterogeneous substitution systems revisited
๐ฎ
๐ฎ
The Ethereal
Omega-Regular Objectives in Model-Free Reinforcement Learning
๐ฎ
๐ฎ
The Ethereal