Geodesic

Sommaire du Fascicule no. 1-2

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.

Sommaire du Fascicule no. 3

Experimentación numérica y comparación de integrales difusas.
Redes conceptuales asociadas a W-contextos L-difusos.
El índice de desigualdad hiperbólico difuso de variables aleatorias difusas en poblaciones finitas.
Representación de bases de conocimiento difusas empleando redes de Petri: operando en el espacio de la verdad.
Empleo de relaciones de semejanza difusas para revisar y actualizar una base de conocimiento.
Métodos neuronales para obtener reglas difusas.
Un planteamiento dual en programación lineal difusa.
Gramáticas de estructura de fase para expresar conceptos imprecisos en español.
Contribuciones al procesamiento simbólico de segmentos en visión artificial.
Arquitectura cliente-servidor para bases de datos relacionales difusas.
Síntesis automática de controladores lógicos difusos.
Aprendizaje con las limitaciones del soporte físico en los controladores CMOS difusos capaces de extraer reglas a partir de ejemplos.