Abstract
This paper is aimed at the giving of a comparative approach to the preferences modelling. This approach is conceived to grasp the fuzzy nature of preferences what determines the choice two fuzzy logic formalisms for their representation discussed by P. Hajek and L. Godo. These two (appropriately modified) formalism are used to propose two formalism for preferences: Fuzzy Modal Preferential Logic (FMPL) and Comparative Possibilistic Multi-Modal Propositional Logic (CPMPL). We also justify some metalogical properties of both systems such as their completeness and we discuss a satisfiability problem for them. In result, we propose a short juxtaposition of the properties of the considered systems.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of ACM 26(11), 832–843 (1983)
Chen, C.-C., Li, I.-P.: The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics. Theoretical Computer Science 129, 95–121 (1994)
Glodeanu, C.V.: Exploring user’s preferences in a fuzzy setting. Electronic Notes in Theoretical Computer Science 303, 37–57 (2014)
Godo, L., Esteva, H., Rodriquez, R.: A modal account of similarity-based reasoning. International Journal of Approximate Reasoning 4 (1997)
Hajek, P.: Metamathematics of Fuzzy Logic. Kluwer Academic Publishers, Dordrecht (1998)
Hajek, P., Hramancova, D.: A qualitative fuzzy possibilistic logic. International Journal of Approximate Reasoning 12, 1–19 (1995)
Hajek, P., Hramancova, D., Esteva, F., Godo, L.: On modal logics for qualitative possibility in a fuzzy setting. In: Proceeding of the Tenth Conference on Uncertainty in Artificial Intelligence, pp. 278–285 (1994)
Khatib, L., Morris, P., Morris, R., Rossi, F.: Temporal reasoning about preferences. In: Proceedings of IJCAI 2001, pp. 322–327 (2001)
Lomuscio, A., Michaliszyn, J.: An epistemic halpern-shoham logic. In: Proceedings of IJCAI 2013, pp. 1010–1016 (2013)
Morris, R., Morris, P., Khatib, L., Yorke-Smith, N.: Temporal planning with preferences and probabilities. In: Proceedings of ICAPS 2005 Workshop on Constraint Programming for Planning and Schedulling, Monterey, CA, pp. 1–7 (2005)
Rossi, F., Yorke-Smith, N., Venable, K.: Temporal reasoning with preferences and uncertainty. In: Proceedings of AAAI, vol. 8, pp. 1385–1386 (2003)
Schnobelen, P.: The complexity of temporal logic model checking. In: Proceedings of 4th Int. Workshop Advanced in Modal Logic, vol. 4, pp. 1–44 (2002)
van Benthem, J.: Dynamic logic for belief revision. Journal of Applied Non-Classical Logics 17(2), 119–155 (2007)
Benthem, J.v., Bezhanishvili, G.: Modal logic of space. In: Handbook of Spatial Logics, pp. 217–298. Springer (2007)
van Benthem, J., Gheerbrant, A.: Game: Solution, epistemic dynamics, and fixed-point logics. Fundamenta Informaticae 100, 19–41 (2010)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Jobczyk, K., Ligęza, A., Bouzid, M., Karczmarczuk, J. (2015). Comparative Approach to the Multi-Valued Logic Construction for Preferences. In: Rutkowski, L., Korytkowski, M., Scherer, R., Tadeusiewicz, R., Zadeh, L., Zurada, J. (eds) Artificial Intelligence and Soft Computing. ICAISC 2015. Lecture Notes in Computer Science(), vol 9119. Springer, Cham. https://doi.org/10.1007/978-3-319-19324-3_16
Download citation
DOI: https://doi.org/10.1007/978-3-319-19324-3_16
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-19323-6
Online ISBN: 978-3-319-19324-3
eBook Packages: Computer ScienceComputer Science (R0)