Tesis:
Razonamiento aproximado: formalización y axiomatización
- Autor: LORAN SANTOS, Roberto
- Título: Razonamiento aproximado: formalización y axiomatización
- Fecha: 1985
- Materia: Sin materia definida
- Escuela: FACULTAD DE INFORMATICA
- Departamentos: SIN DEPARTAMENTO DEFINIDO
- Acceso electrónico:
- Director/a 1º: INSUA NEGRAO, Antonio
- Resumen: El presente trabajo representa un adelanto en el empleo de lógicas no clásicas en el desarrollo de modelos cualitativos para sistemas del mundo real. Las matemáticas abstractas son "cualitativas" dado que ellas postergan las consideraciones numéricas y utilizan un enfoque desde el punto de vista topológico, algebraico, lógico o cualquier otra forma conceptual. El tema que desarrollamos sirve para explicar modos alternativos de razonar utilizables en investigación y modelización. La contribución principal de esta tesis es el desarrollo de una axiomatización completa para la teoría del razonamiento aproximado debida a L. A. Zadeh. Dicho modo de razonar está basado en la concepción de "conjunto borroso", por medio del cual se realiza una representación realista de la "vaguedad", normalmente, inherente a los lenguajes naturales como por ejemplo el castellano. Todas las axiomatizaciones desarrolladas hasta el presente para este tipo de razonamiento resultan deficientes en el sentido de que sus estructuras linguísticas son adecuadas solamente para la representación de las ideas mas simples de la linguística borrosa. La axiomatización que desarrollamos va mas allá de dichos límites mediante un sistema formal de dos niveles, el cual a nivel interno es una lógica multivalente que incluye las proposiciones borrosas y a nivel externo; es una formalización bivalente de segmentos de un metalenguaje. Este sistema es adecuado para expresar la mayoría de las ideas de la linguística borrosa, incluyendo: términos linguísticos, modificadores y conectivas, equivalencia semántica, razonamiento posibilístico y verdad linguística