Contribución al estudio del razonamiento ordinario y la computación con palabras

El trabajo es una contribución al desarrollo de los modelos de Conjeturas, Hipótesis y Consecuencias (Modelos CHC), como encargados de formalizar el razonamiento ordinario o de sentido común. La mayor aportación de este trabajo es la introducción de la posibilidad de manejar la imprecisión típica del lenguaje de los Modelos CHC. Aunque el trabajo es de tipo matemático, todo se plantea bajo un número mínimo de hipótesis para no introducir condiciones que puedan restringir su aplicación. El primer artículo recogido en este trabajo trata con el problema del significado de las palabras, por lo que puede ser enmarcado en el emergente campo de la Computación con Palabras. Fundamentalmente, trata de analizar qué propiedad intrínseca a un predicado P o al colectivo originado por él, se requiere para obtener una representación matemática a través de una función definida sobre el universo de discurso, donde se aplica el predicado, con imagen en una escala conveniente. Esto permite definir el grado en que un objeto del universo de discurso, x, es P en el lenguaje. El artículo se centra en el estudio de distintas escalas, explicando la aparición de los conjuntos fuzzy, conjuntos evaluados sobre intervalos, conjuntos intuicionistas, y los conjuntos fuzzy de tipo 2. Continuando con el problema del significado, se analiza una nueva interpretación de los principios aristotélicos de No-Contradicción y Tercero-Excluido basándose en el concepto de auto-contradicción. El propósito fundamental del segundo artículo recogido en este trabajo, es la caracterización de la verificación de estos principios en el intervalo unidad. Esto permite extender el estudio al caso de los conjuntos fuzzy dotados de álgebras funcionalmente expresables muy generales. En el tercer artículo, se definen los Modelos CHC sobre un conjunto preordenado. Por lo tanto, el modelo puede aplicarse al caso de los conjuntos fuzzy dotados del orden puntual, permitiendo el estudio del razonamiento conjetural sobre información tanto precisa, como imprecisa. En este caso, el modelo parte de una estructura de consecuencias dada por un operador de consecuencias en sentido de Tarski y una familia de subconjuntos que permiten controlar de distintas formas la consistencia de las premisas y las consecuencias, no admitiendo ninguna premisa falsa, o ninguna auto-contradictoria, o ningún par de premisas contradictorias,... A partir de dicha estructura de consecuencias se definen las conjeturas, hipótesis, especulaciones y refutaciones. Finalmente, en el último artículo englobado en este trabajo, se buscan Modelos CHC no definidos a partir de una estructura de consecuencias. Se construye el conjunto de conjeturas dependiendo de las distintas interpretaciones de no ser inconsistente con la información aportada por el conjunto de premisas. Dentro del conjunto de conjeturas, se distinguen también las consecuencias, hipótesis y especulaciones. Debe notarse que mientras las hipótesis y conjeturas son anti-monótonas, las especulaciones son propiamente no-monótonas, al no ser ni monótonas, ni anti-monótonas. Por ello, estos modelos abren una nueva posibilidad para el estudio del razonamiento no-monótono

Grantor dc:publisher

Universidad de León (España)

Year dc:date

2011

Author dc:creator

• García Honrado, Itziar

Contributors dc:contributor

• Trillas, Enric (Universidad de León)
• Rodríguez de Soto, Adolfo (Universidad de León)

• Lógica fuzzy
• razonamiento ordinario
• conjeturas
• operador de consecuencias
• computación con palabras
• predicados
• fuzzy logic
• ordinary reasoning
• conjectures
• operator of consequences
• computing with words
• predicates

Statement dc:rights

• LICENCIA DE USO: Los documentos a texto completo incluidos en Dialnet son de acceso libre y propiedad de sus autores y/o editores. Por tanto, cualquier acto de reproducción, distribución, comunicación pública y/o transformación total o parcial requiere el consentimiento expreso y escrito de aquéllos. Cualquier enlace al texto completo de estos documentos deberá hacerse a través de la URL oficial de éstos en Dialnet. Más información: https://dialnet.unirioja.es/info/derechosOAI | INTELLECTUAL PROPERTY RIGHTS STATEMENT: Full text documents hosted by Dialnet are protected by copyright and/or related rights. This digital object is accessible without charge, but its use is subject to the licensing conditions set by its authors or editors. Unless expressly stated otherwise in the licensing conditions, you are free to linking, browsing, printing and making a copy for your own personal purposes. All other acts of reproduction and communication to the public are subject to the licensing conditions expressed by editors and authors and require consent from them. Any link to this document should be made using its official URL in Dialnet. More info: https://dialnet.unirioja.es/info/derechosOAI

Language dc:language

spa

Repository record dc:identifier

https://dialnet.unirioja.es/servlet/oaites?codigo=25540

OAI identifier oai:identifier

oai:dialnet.unirioja.es:TES0000003487