Contribucio a l'estudi de models d'inferencia en els sistemes possibilistics

• Autores: Lluis Godo Lacasa
• Directores de la Tesis: Llorenç Valverde García (dir. tes.)
• Lectura: En la Universitat Politècnica de Catalunya (UPC) ( España ) en 1990
• Idioma: español
• Tribunal Calificador de la Tesis: Ton Sales Porta (presid.), Didier Dubois (secret.), María Felisa Verdejo Maíllo (voc.), Enric Trillas (voc.), Ramón López de Mántaras (voc.)
• Materias:
  • Lógica
    • Lógica general
  • Matemáticas
    • Ciencia de los ordenadores
      • Inteligencia artificial
• Texto completo no disponible (Saber más ...)
• Resumen

  • El modelo posibilístico es un modelo de razonamiento aproximado que tiene como especial objetivo el tratamiento de la información imprecisa y/o vaga, y que utiliza el formalismo de los conjuntos difusos para representarla. En el primer capítulo, en el marco de las lógicas multivaluadas sobre (0,1), subyacentes a la teoría de los conjuntos difusos, se analiza la dualidad "implicación material/regla del modus ponens" a partir de la axiomática de las funciones de implicación y de las funciones generadoras de modus ponens. En el segundo capítulo se muestra como las lógicas multivaluadas pueden ser formalizadas como familias de instituciones cuando los valores de verdad se consideran parte integrante de los enunciados de la lógica, estando cada una de éstas familias indexada por una clase de álgebras de valores de verdad. De esta forma, se puede definir una relación de satisfacción clásica, que a la vez permite definir un sistema de consecuencias entre enunciados. La última parte de este capítulo está dedicada a la identificación y formulación de diversos esquemas de inferencia a partir del sistema anterior de consecuencias. Ya en el marco de los sistemas posibilísticos propiamente dichos, en el tercer capítulo se da primeramente una caracterización de la regla composicional de inferencia, principal mecanismo de inferencia en estos sistemas. A continuación se analiza y justifica la formulación alternativa que se hace de esta regla de inferencia a través de las llamadas funciones de inferencia directa, utilizando las funciones de compatibilidad entre distribuciones de posibilidad.

    seguidamente se muestra que las especiales caracteristicas de estas funciones hacen que puedan ser consideradas como valores de verdad de la logica difusa, y bajo esta perspectiva se dan las bases de un calculo logico con estas funciones. finalmente, en el cuarto y ultimo capitulo se plantea el problema de obtener un calculo logico cuando existe la restriccio