Non classical systems for uncertain reasoningnon monotonic logics with non classical bases
- Marchioni, Enrico
- María Gracia Manzano Arjona Directora
- Lluis Godo Lacasa Director/a
Universidad de defensa: Universidad de Salamanca
Fecha de defensa: 26 de noviembre de 2006
- Francesc Esteva Massaguer Presidente/a
- Luis Alonso Romero Secretario
- Enrique Alonso Vocal
- Stefano Aguzzuli Vocal
- Buenaventura Verdú Solans Vocal
Tipo: Tesis
Resumen
En este trabajo, investigamos la definibilidad de las clases de t-normas y uninormas en la lógica L @ P12, En particular, ofrecemos una caracterización completa del definibles continua t-normas, débil nilpotente normas mínimas t-, uninormas conjuntivo continua en [0,1), y uninormas conjuntiva idempotente, y dar tanto positivos como negativos resultados relativos a definibilidad de t de izquierda continua -normas (y uninormas). Demostramos que la clase de uninormas definibles es cerrado bajo los métodos de construcción como la aniquilación, la rotación y la aniquilación de rotación. Además, probamos que todo lógica basada en una uninorm definibles en PSPACE, y que toda la lógica de un número finito de axiomatizable basado en una clase de uninormas definibles es decidible. Por último se muestra que la Uninorm Mingle Lógica (UML) y de base Uninorm Lógica (BUL) son un número finito de wrt completa fuertemente estándar relacionados con la clase de definibles uninormas conjuntiva izquierda continua.