Continuous Preference Logic for System Evaluation
The goal of logic should be to model observable properties of human reasoning. In the area of system evaluation, the properties of human reasoning can be easily identified because system evaluation is a very frequent mental activity. For example, all consumer decisions are based on evaluation and comparison of competitive products. If we observe a process of buying a car, or a home, it is easy to identify a spectrum of properties that characterize human reasoning in this area. In this presentation, our goal is to analyze and compare various logic models of simultaneity and replaceability (andness and orness), from the standpoint of their compatibility with observed properties of the mental process of system evaluation, and with respect to their applicability in professional system evaluation techniques and tools.
Jozo Dujmović was born in Dubrovnik and received his BSEE, MS, and Sc.D. from the University of Belgrade . He is Professor of Computer Science and former Chair of Computer Science Department at San Francisco State University . His teaching and research activities are in the areas of software metrics, decision analysis, and computer performance evaluation. He is the author of 120 refereed publications, recipient of three best paper awards, and a Senior Member of IEEE. He served as General Chair of IEEE MASCOTS 2000 and as General Chair of ACM WOSP 2004.
Before his current position at San Francisco State University , Dr. Dujmović was Professor of Computer Science at the University of Belgrade , University of Florida ( Gainesville ), University of Texas ( Dallas ), and Worcester Polytechnic Institute. In addition, he was teaching in the graduate Computer Science programs at the National Universities of San Luis and Jujuy ( both in Argentina ). At the University of Belgrade , he served as Chairman of Computer Science Department, and as founding Director of the Belgrade University Computing Center . His industrial experience includes work in the Institute “M. Pupin” in Belgrade , and consulting in the areas of decision methods, performance evaluation, and software design.