INVESTIGADORES
PASTORE Juan Ignacio
congresos y reuniones científicas
Título:
Arithmetic Mean Based Compensatory Fuzzy Logic
Autor/es:
AGUSTINA BOUCHET; JUAN IGNACIO PASTORE; RAFAEL ESPIN; MARCEL BRUN; VIRGINIA BALLARIN
Lugar:
Cantabria
Reunión:
Workshop; 3º International Workshop on Knowledge Discovery, Knowledge Management and Decision Support; 2011
Institución organizadora:
EUREKA network, the Spanish university of Cantabria and the German university of Oldenburg
Resumen:
La Lógica Difusa Compensatoria (LDC) es un modelo lógico multivalente que renuncia a axiomas clásicos para lograr un sistema ?sensible?. Este trabajo define una LDC basada en operadores formados por nuevas operaciones de conjunción y disyunción, diferentes a las utilizadas en la bibliografía hasta este momento. Se demuestra que dichos operadores satisfacen los axiomas necesarios para constituir una nueva lógica, denominada ?Lógica Difusa Compensatoria basada en la Media Aritmética?. A través de las definiciones de los cuantificadores se prueba que las fórmulas válidas del Cálculo Proposicional de la LDC son exactamente las del Cálculo Proposicional Booleano.