Abstract
We explore logics of belief over weighted structures under the supposition that everything believed by an agent has a weight in the range of agent's belief. We first define static graded belief logics which are complete with respect to the class of all weighted frames. Furthermore, we discuss their public announcement and dynamic epistemic extensions. We may also define notions of plausible belief by comparing weights of formulas at the current state in a weighted model. This approach is not a new one but we provide new logics and their dynamic extensions which can capture some intuitive notions of belief and their dynamics. © 2011 Springer-Verlag.
Cite
CITATION STYLE
Ma, M., & Guo, M. (2011). Logics of belief over weighted structures. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6953 LNAI, pp. 206–219). https://doi.org/10.1007/978-3-642-24130-7_15
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
