Abstract
In this paper, we propose a logical framework for reasoning about uncertain belief fusion. The framework is a combination of multi-agent epistemic logic and possibilistic logic. We use graded epistemic operators to represent agents’ uncertain beliefs, and the operators are interpreted in accordance with possibilistic semantics. Ordered fusion can resolve the inconsistency caused by direct fusion. We consider two strategies to merge uncertain beliefs. In the first strategy, called level cutting fusion, if inconsistency occurs at some level, then all beliefs at the lower levels are discarded simultaneously. In the second, called level skipping fusion, only the level at which the inconsistency occurs is skipped. We present the formal semantics and axiomatic systems for these two strategies.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Boldrin, L., Saffiotti, A.: A modal logic for merging partial belief of multiple reasoners. Journal of Logic and Computation 9(1), 81–103 (1999)
Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)
Cholvy, L.: A logical approach to multi-souces reasoning. In: Masuch, M., Polos, L. (eds.) Logic at Work 1992. LNCS, vol. 808, pp. 183–196. Springer, Heidelberg (1994)
Cholvy, L.: Reasoning about data provided by federated deductive databases. Journal of Intelligent Information Systems 10, 49–80 (1998)
Dubois, D., Lang, J., Prade, H.: Possibilistic logic. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, Nonmonotonic Reasoning and Uncertain Reasoning, vol. 3, pp. 439–513. Clarendon Press, Oxford (1994)
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1996)
Hintikka, J.: Knowledge and Belief. Cornell University Press (1962)
Liau, C.J.: A conservative approach to distributed belief fusion. In: Proc. of the Third International Conference on Information Fusion, pp. MoD4–1 (2000)
Liau, C.J.: A modal logic framework for multi-agent belief fusion. ACM Transactions on Computational Logic 6(1), 124–174 (2005)
Liau, C.J., Lin, I.P.: Quantitative modal logic and possibilistic reasoning. In: Neumann, B. (ed.) Proceedings of the 10th ECAI, pp. 43–47. John Wiley & Sons. Ltd, Chichester (1992)
Liau, C.J., Lin, I.P.: Proof methods for reasoning about possibility and necessity. International Journal of Approximate Reasoning 9(4), 327–364 (1993)
Liau, C.J., Lin, I.P.: Possibilistic reasoning—a mini-survey and uniform semantics. Artificial Intelligence 88, 163–193 (1996)
Meyer, J.-J.C., van der Hoek, W.: Epistemic Logic for AI and Computer Science. Cambridge University Press, Cambridge (1995)
Nebel, B.: Base revision operator and schemes: semantics representation and complexity. In: Proceedings of the 11th European Conference on Artificial Intelligence, pp. 341–345. John Wiley & Sons, Chichester (1994)
Zadeh, L.A.: Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems 1(1), 3–28 (1978)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Liau, CJ. (2005). Ordered Belief Fusion in Possibilistic Logic. In: Ślęzak, D., Wang, G., Szczuka, M., Düntsch, I., Yao, Y. (eds) Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing. RSFDGrC 2005. Lecture Notes in Computer Science(), vol 3641. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11548669_65
Download citation
DOI: https://doi.org/10.1007/11548669_65
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28653-0
Online ISBN: 978-3-540-31825-5
eBook Packages: Computer ScienceComputer Science (R0)