Graded Logic and Professional Decision Making

• Autorzy: Dujmović Jozo

Identyfikatory

DOI

10.15439/2024F5242

• Konferencja: Federated Conference on Computer Science and Information Systems (19 ; 08-11.09.2024 ; Belgrade, Serbia)
• Języki publikacji: EN

Abstrakty

EN

This paper summarizes the basic concepts of Graded Logic (GL) and the use of GL in professional decision making. Our goal is to contrast two approaches to the development of a continuum-valued propositional logic: (1) the human-centric approach based on observing and modeling human commonsense logical reasoning in the context of decision making, and (2) the theoretical approach where logic is developed as a formal axiomatic deductive system. We show the basic advantages of human-centric approach and the applicability of this approach in the area of professional decision making.

Słowa kluczowe

EN

Graded Logic; commonsense logical reasoning; decision making; LSP method; GCD function

PL

Graded Logic; logiczne myślenie; podejmowanie decyzji; metoda LSP; funkcja GCD

• Wydawca: Polskie Towarzystwo Informatyczne
• Czasopismo: Annals of Computer Science and Information Systems
• Rocznik: 2024
• Tom: Vol. 39
• Strony: 1--8
• Opis fizyczny: Bibliogr. 22 poz., rys., wz.

Twórcy

autor

Dujmović Jozo

• San Francisco State University, Department of Computer Science, 1600 Holloway Ave., San Francisco, CA 94132, USA

• https://orcid.org/0000-0002-1715-2700

Bibliografia

• 1. Anonymous, “Logic.” Wikipedia, https://en.wikipedia.org/wiki/Logic.
• 2. Anonymous, “Propositional calculus.” Wikipedia, https://en.wikipedia.org/wiki/Propositional_calculus.
• 3. J. Dujmović, Soft computing evaluation logic. Hoboken, NJ 07030, USA: John Wiley & Sons, 2018.
• 4. G. Boole, G., The Mathematical Analysis of Logic. MacMillan, Barclay & MacMillan, Cambridge, 1847.
• 5. G. Boole, An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities. Macmillan, 1853.
• 6. A. De Morgan, Formal Logic or the Calculus of Inference Necessary and Probable. Taylor and Walton, London 1847.
• 7. B. Steinbach, and C. Posthoff, Logic Functions and Equations. Fundamentals and Applications using the XBOOLE-Monitor. Springer, 2022.
• 8. D.G. Radojević, “[0,1]-valued logic: a natural generalization of Boolean logic.” Yugoslav Journal of Operations Research, 10 (2000), No. 2, pp.185-216.
• 9. H. Rasiowa, An algebraic approach to non-classical logics. PWN and North-Holland, 1974.
• 10. G. Priest, An introduction to non-classical logic. Second edition reprinted with corrections. Cambridge University Press, 2009.
• 11. J. Dujmović, Weighted Conjunctive and Disjunctive Means and their Application in System Evaluation. Journal of the University of Belgrade, EE Dept., Series Mathematics and Physics, No. 483, 1974, pp. 147-158.
• 12. J. Dujmović, Extended Continuous Logic and the Theory of Complex Criteria. Journal of the University of Belgrade, EE Dept., Series Mathematics and Physics, No. 537, 1975, pp. 197-216.
• 13. J. Dujmović, Two Integrals Related to Means. Journal of the University of Belgrade EE Dept., Series Mathematics and Physics, No. 412 - No. 460, 1973, pp. 231-232.
• 14. J. Dujmović, Weighted Compensative Logic with Adjustable Threshold Andness and Orness. IEEE Transactions on Fuzzy Systems, Vol. 23, No. 2, April 2015, pp. 270-290. http://dx.doi.org/10.1109/TFUZZ.2014.2312018, 2015.
• 15. J. Dujmović, Partial Absorption Function. Journal of the University of Belgrade, EE Dept., Series Mathematics and Physics, No. 659, 1979, pp. 156-163.
• 16. J. Dujmović, An Analysis of Penalty and Reward for Partial Absorption Aggregators. Proceeding of the 2014 World Conference on Soft Computing, pp. 126-133, Berkeley, CA, May 25-27, 2014.
• 17. SEAS Co., Analysis and Synthesis of Aggregation Operators. AnSy User Manual V.3.2. SEAS, 2010.
• 18. SEAS, Co., AGOPcalc - Calculator for analysis and design of aggregation operators. AGOPcalc User Manual, SEAS, 2011.
• 19. SEAS Co., LSP.NT - LSP method for evaluation over the Internet. LSP.NT User Manual. SEAS, 2017.
• 20. J. Dujmović, The Problem of Missing Data in LSP Aggregation. Proceeding of the 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU, 2012. In S. Greco et al. (Eds.): Advances in Computational Intelligence, IPMU 2012, Part III, CCIS 299, pp. 336-346, Springer 2012.
• 21. J, Dujmović, Interpretability and Explainability of LSP Evaluation Criteria. Proceedings of the 2020 IEEE World Congress on Computational Intelligence, 978-1-7281-6932-3/20, paper F-22042, July 2020.
• 22. J. Dujmović, Graded Logic. In preparation for Springer 2024.

Uwagi

1. Main Track: Invited Contributions

2. Opracowanie rekordu ze środków MNiSW, umowa nr POPUL/SP/0154/2024/02 w ramach programu "Społeczna odpowiedzialność nauki II" - moduł: Popularyzacja nauki (2025).