COMPENSATORY LOGIC: A FUZZY NORMATIVE MODEL FOR DECISION MAKING

Resumen

ABSTRACT
Fuzzy Logic is a convenient approach for decision making. Its capacity to incorporate verbal statements into formal modeling is advantageous for a systematic treatment of actual situations. This vantage comes from a proper interaction between decision-maker’s information and expert reasoning. Many revealing studies deal with multi-valued logics, covering the examination of a variety of operators. However, the real possibility of incorporating “expert knowledge” and the subjectivity inherent to decision makers in practical situations remains limited. This paper proposes an alternative axiomatic multi-valued logic system to overcome such limitation. The system disregards the classical concepts of norm and co-norm. Existential and universal quantifiers are defined consequently, and propositional bivalent classic calculus is also introduced within the logical structure.

Key words: Fuzzy Logic, management, decision making, Multivalued Logic.

RESUMEN
La Lógica Difusa ofrece una nueva aproximación, muy conveniente, al problema de la Toma de Deci-siones. Su capacidad de transformar expresiones en lenguaje natural a modelos simbólicos, es una ventaja para el tratamiento de problemas reales de decisión, debido a que constituye una manera de modelar tanto desde la perspectiva de las preferencias del decisor, como desde la perspectiva del razonamiento de los expertos. Muchos estudios relevantes tratan sobre Lógicas Multivalentes y acerca de una gama amplia de operadores; sin embargo la posibilidad real de incorporar el conocimiento de los expertos y la subjetividad inherente a los decisores es aún limitada. El presente trabajo propone una alternativa axiomática para definir una nueva lógica multivalente que permita superar esta limitación. El sistema no acude a los clásicos conceptos de norma y conorma, define consecuentemente los cuantificadores existencial y universal, e introduce a partir de esta nueva estructura el clásico cálculo proposicional bivalente