ldc.exist: ldc.exist
In CFL: Compensatory Fuzzy Logic

Description Usage Arguments Details Value Author(s) References Examples

It Calculates the exist operator based on compensatory fuzzy logic.

1	ldc.exist(value)

value

numeric, matrix or vectors, in the range 0 to 1.

In compensatory fuzzy logic the equivalence is defined by p<=>q = (p=>q) and (q=>p) and the universal and existential quantifiers over X are defined by:

TODO

These definitions convey the virtues and defects of the conjunction and disjunction connectives.

The ldc.exist operator return a value of trust [0...1]. If values of '...' are outside of the range [0...1] the result will be message 'Error...the value is not a value trust'. Otherwise it is a length-one numeric or vector.

Pablo Michel Marin Ortega, Kornelius Rohmeyer

Espin, R., Fern\'andez, E., Mazcorro, G., Marx-G\'omez J., M.I. Lecich: Compensatory Logic: A fuzzy normative model for decision making. Investigaci\'on Operativa. Universidad de la Habana.Vol. 27, 2, pp. 188-197 (2006).

Espin, R., Mazcorro, G., Fen\'andez, E.: Consideraciones sobre el car\'acter normativo de la l\'ogica difusa compensatoria. Infraestructura de Datos Espaciales en Iberoam\'erica y el Caribe. IDICT. Cuba (2007).

Espin, R., Fern\'andez, E.: La L\'ogica Difusa Compensatoria: Una Plataforma para el Razonamiento y la Representaci\'on del Conocimiento en un Ambiente de Decisi\'on Multicriterio. In: An\'alisis Multicriterio para la Toma de Decisiones: M\'etodos y Aplicaciones. Coedici\'on: editorial Plaza y Valdes/editorial Universidad de Occidente (2009).