Logo PTI Logo FedCSIS

Proceedings of the 19th Conference on Computer Science and Intelligence Systems (FedCSIS)

Annals of Computer Science and Information Systems, Volume 39

Graded Logic and Professional Decision Making

DOI: http://dx.doi.org/10.15439/2024F5242

Citation: Proceedings of the 19th Conference on Computer Science and Intelligence Systems (FedCSIS), M. Bolanowski, M. Ganzha, L. Maciaszek, M. Paprzycki, D. Ślęzak (eds). ACSIS, Vol. 39, pages 1–8 ()

Full text

Abstract. 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.

References

  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. (Available from jstor.org)
  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. (Available from jstor.org)
  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. (Available from jstor.org)
  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. (Available from jstor.org)
  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. (Available from jstor.org)
  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.