Geodesic

Volume 3 (1996) no. 1-2

Sommaire

Cómo transformar una lógica en difusa.
Representaciones conceptuales e inferencias no monotónicas.
La lógica por defecto como un formalismo para entender el razonamiento de sentido común.
Contextos, localidad y generalidad.
Caracterización metateórica de la negación como fallo finito.
Marcos de información, sistemas de implicación y modalidades.
Lógicas cuánticas difusas.
Viabilidad de un método algebraico para el razonamiento no monotónico.
Modus ponens en álgebras booleanas: una revisión.
Conjunto de variables booleanas locales a partir de sistemas de representación del conocimiento.
Razonamiento cualitativo en redes bayesianas.
Lógica (pura) obtenida de la probabilidad.
Nota didáctica: condicionalidad probabilística en un álgebra de Boole.
Principios de coherencia para tratar con evaluaciones probabilísticas parciales cualitativas y cuantitativas.
Inferencia robusta en probabilidad bajo condiciones de información vaga.
Probabilidad condicionada subjetiva y principios de coherencia para manejar información parcial.
Versión generalizada del teorema de compatibilidad. Dos ejemplos.
Una medida pragmática de incertidumbre basada en la teoría de la tasa de distorsión y la incertidumbre de los BOE's.
El razonamiento: sostén de creencias y dinámica de objetivos.
Lógica computacional y filosofía del lenguaje: el problema del significado léxico en la semántica formal.
Metodologías neuronales en sistemas expertos basados en reglas.
Integración de la inferencia y la clasificación neuronal en un sistema híbrido para realizar reconocimiento de patrones.
El papel de la heurística en la demostración automatizada de teoremas. El principio de resolución de J.A. Robinson.
El procedimiento inductivo como una doble negación lógica de tipo no clásica: evidencia tomada de teorías científicas clásicas.
Aspectos matemáticos de la teoría de medidas difusas.
Teoría general de la integral difusa.