Abstract
In this paper we show the relations between 4-valued logics (and more precisely the DDT logic) and the use of bi-oriented graphs. Further on we focus on the use of bi-oriented graphs for non conventional preference modelling. More specifically, we show how bi-oriented graphs can be used in order to represent extended preference structures of the type definable using the DDT logic which has been created with the purpose of modelling hesitation in preference statements. We then study how transitive closure can be extended within such extended preference structures.
Similar content being viewed by others
Notes
glb: greatest lower bound, lub: least upper bound.
Note that the remaining 8 cases do not provide a b-path, hence they are not concerned by transitive closure.
Meaning that \({\textbf{T}}S(x,y)\) and \({\textbf{T}}S(y,z)\) implies \({\textbf{T}}S(x,z)\),...
If we interpret this by classical logic, saying that the existence of an arc S(x, y) means that the affirmation S(x, y) is true and the absence S(x, y) is false, then we can say that the transitive closure replace the value false of S(x, z) by the value true if S(x, y) and S(y, z) are true.
\(\forall x,y,z\) \(\lnot S(x,y) \wedge \lnot S(y,z) \implies \lnot S(x,z)\).
References
Arieli, O., Cornelis, C., & Deschrijver, G. (2006). Preference modeling by rectangular bilattices. In Proceedings of MDAI 2006, LNAI 3885 (pp 22–33). Springer Verlag
Belnap, N. D. (1976). How a computer should think. In Proceedings of the Oxford International Symposium on Contemporary Aspects of Philosophy (pp. 30–56). Oxford
Belnap, N. D. (1977). A useful four-valued logic. In G. Epstein & J. Dunn (Eds.), Modern uses of multiple valued logics (pp. 8–37). Dordrecht: D. Reidel.
Bessouf, O. (1999). Menger’s theorem in the bidirected graphs. Master’s thesis, Faculty of Science, USTHB, Algiers
Bessouf, O., & Khelladi, A. (2018). New concept of connection in bidirected graphs. Journal RAIRO-Operations Research, 52, 351–357.
Bessouf, O., Khelladi, A., & Zaslavsky, Th. (2019). Transitive closure and transitive reduction in bidirected graphs. Czechoslovak Mathematical Journal, 69, 295–315.
Bouchet, A. (1983). Nowhere-zero integer flows on a bidirected graph. Journal of Combinatorial Theory, Serier B, 34, 279–292.
Brans, J. P., Vincke, Ph., & Mareschal, B. (1986). How to select and how to rank projects: the PROMETHEE method. European Journal of Operational Research, 24, 228–238.
Doherty, P., Driankov, D., & Tsoukiàs, A. (1992). Partial logics and partial preferences. In Proceedings of the CEMIT 92 International Conference (pp. 525–528)
Doherty, P., Driankov, D., & Tsoukiàs, A. (1992). Partiality, para-consistency and preference modelling. Ida research report lith-ida-r-92-18, Linköping University
Dubarle, D. (1989). Essai sur la généralisation naturelle de la logique usuelle. Mathématique, Informatique, Sciences Humaines, N\(^{o}\) 107:17–73,
Franco de los Ríos, C.A., Tinguaro Rodríguez, J., & Montero, J. (2010). Information measures over intuitionistic four valued fuzzy preferences. In Proceedings of FUZZ-IEEE, 2010 (pp. 1–8)
Greco, S., Matarazzo, B., Słowiński, R., & Tsoukiàs, A. (1998). Exploitation of a rough approximation of the outranking relation in multi-criteria choice and ranking. In T. J. Stewart & R. C. van der Honert (Eds.), Trends in Multi-Criteria Decision Making (pp. 45–60). Berlin: Springer.
Harary, F. (1953). On the notion of balance of a signed graph. Michigan Mathematical Journal, 2, 143–146.
Kacprzyk, J., & Roubens, M. (1998). Non Conventional Preference Relations in Decision Making. Berlin: Springer Verlag.
Khelladi, A. (1985). Algebraic Properties of Combinative Structures. PhD thesis, Faculty of Science, USTHB, Algiers
Moretti, S., Öztürk, M., & Tsoukiàs, A. (2016). Preference modelling. In M. Ehrgott, S. Greco, & J. Figueira (Eds.), State of the Art in Multiple Criteria Decision Analysis (pp. 43–95). Berlin: Springer Verlag.
Öztürk, M., Pirlot, M., & Tsoukiàs, A. (2011). Representing preferences using intervals. Artificial Intelligence, 175, 1194–1222.
Öztürk, M., & Tsoukiás, A. (2007). Modelling uncertain positive and negative reasons in decision aiding. Decision Support Systems, 43, 1512–1526.
Öztürk, M., & Tsoukiás, A. (2008). Bipolar preference modelling and aggregation in Decision Support. International Journal of Intelligent Systems, 23, 970–984.
Öztürk, M., & Tsoukiàs, A. (2015). A valued ferrers relation for intervals comparison. Fuzzy Sets and Systems, 266, 47–66.
Öztürk, M., Tsoukiàs, A., & Vincke, Ph. (2005). Preference modelling. In M. Ehrgott, S. Greco, & J. Figueira (Eds.), State of the Art in Multiple Criteria Decision Analysis (pp. 27–72). Berlin: Springer Verlag.
Öztürk, M. (2008). Ordered sets with interval representation and (m, n)-Ferrers relation. Annals of Operations Research, 163, 177–196.
Roubens, M., & Vincke, Ph. (1985). Preference Modeling. Berlin: Springer Verlag.
Tsoukiàs, A. (2002). A first-order, four valued, weakly paraconsistent logic and its relation to rough sets semantics. Foundations of Computing and Decision Sciences, 12, 85–108.
Tsoukiàs, A., Perny, P., & Vincke, Ph. (2002). From concordance/discordance to the modelling of positive and negative reasons in decision aiding. In D. Bouyssou, E. Jacquet-Lagrèze, P. Perny, R. Slowinski, D. Vanderpooten, & Ph. Vincke (Eds.), Aiding Decisions with Multiple Criteria: Essays in Honour of Bernard Roy (pp. 147–174). Dordrecht: Kluwer Academic.
Tsoukiàs, A., & Vincke, Ph. (1995). A new axiomatic foundation of partial comparability. Theory and Decision, 39, 79–114.
Tsoukiàs, A., & Vincke, Ph. (1997). Extended preference structures in MCDA. In J. Climaco (Ed.), Multicriteria Analysis (pp. 37–50). Berlin: Springer Verlag.
Tsoukiàs, A., & Vincke, Ph. (1998). Double Threshold Orders: A new axiomatization. Journal of Multi-criteria Decision Analysis, 7, 285–301.
Turunen, E., Öztürk, M., & Tsoukiàs, A. (2010). Paraconsistent semantics for pavelka style fuzzy sentential logic. Fuzzy Sets and Systems, 161, 1926–1940.
Tutte, W. T. (1947). The factorization of linear graphs. Journal of the London Mathematical Society, 1–22, 107–111.
Vincke, Ph. (1992). Exploitation of a crisp relation in a ranking problem. Theory and Decision, 32(3), 221–240.
Zaslavsky, Th. (1982). Signed Graphs. Discrete Applied Mathematics, 4, 47–74.
Zyka, O. (1987). Nowhere-zero 30-flow on bidirected graphs. PhD thesis, Charles University, Praha
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Deceased–Abdelkader Khelladi contributed to this work but passed away before approving the final version of this manuscript.
Supplementary Information
Below is the link to the electronic supplementary material.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Bessouf, O., Khelladi, A., Öztürk, M. et al. Bi-oriented graphs and four valued logic for preference modelling. Ann Oper Res 328, 1239–1262 (2023). https://doi.org/10.1007/s10479-023-05371-w
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10479-023-05371-w