---

Parte I: Conocimiento y ontologías 1 Conocimiento y actitudes intencionales
 1.1 El conocimiento y su representación
 1.2 Los sistemas basados en conocimiento
  1.2.1 Paradigmas
  1.2.2 Principios
 1.3 Tipos de conocimiento
  1.3.1 Declarativo y procedimental
  1.3.2 Factual, normativo, táctico y estratégico
  1.3.3 Superficial y profundo, causal y taxonómico
  1.3.4 Explícito y tácito
 1.4 La ingeniería del conocimiento
 1.5 La gestión del conocimiento
 1.6 El nivel de conocimiento
  1.6.1 Niveles de descripción
  1.6.2 Definición del nivel de conocimiento
  1.6.3 Representación e interpretación
  1.6.4 Aplicación en la ingeniería del conocimiento
  1.6.5 Modelación en el nivel de conocimiento
 1.7 Conceptuación
 1.8 Imprecisión, incertidumbre y subjetividad
 1.9 La postura intencional
2 Ontologías y lenguajes
 2.1 Ontología y ontologías
 2.2 Lenguajes para la representación del conocimiento
 2.3 Lenguajes basados en la psicología
  2.3.1 La psicología cognitiva
  2.3.2 Reglas y triplas
  2.3.3 Reglas con factores de incertidumbre
  2.3.4 Redes semánticas y marcos
 2.4 Lenguajes basados en la lógica
  2.4.1 Razonamientos e inferencias
  2.4.2 Lenguajes lógicos

---

Parte II: Lógicas de base
3 Lógica de proposiciones
 3.1 Conceptuaciones
 3.2 Sintaxis
  3.2.1 Ejemplos
  3.2.2 Sistema axiomático
 3.3 Semántica
  3.3.1 Interpretación, evaluación y satisfacción
  3.3.2 La semántica de las sentencias condicionales
  3.3.3 Inconsistencia y tautologías
  3.3.4 Modelos
 3.4 Implicación y equivalencia
  3.4.1 Implicación
  3.4.2 Equivalencia
  3.4.3 Modelos en las implicaciones y las equivalencias
 3.5 Teoría del dominio
  3.5.1 Mundo abierto y mundo cerrado
 3.6 Inferencias deductivas
  3.6.1 Reglas de inferencia
  3.6.2 Demostraciones
 3.7 Sistemas deductivos
  3.7.1 Procesos deductivos
  3.7.2 Consistencia y compleción de un sistema deductivo
  3.7.3 Compleción y decidibilidad
  3.7.4 Teoría del agente
 3.8 Sistemas con resolución
  3.8.1 La forma clausulada
  3.8.2 Transformación en forma clausulada
  3.8.3 Aplicación de la regla de resolución
  3.8.4 Refutación
  3.8.5 Sistemas deductivos con resolución y refutación
  3.8.6 Cláusulas de Horn
4 Lógica de predicados de primer orden
 4.1 Conceptuaciones
  4.1.1 Cosificación
 4.2 Sintaxis
  4.2.1 Ejemplos
  4.2.2 Sentencias abiertas y cerradas
 4.3 Semántica
  4.3.1 Interpretación y asignación
  4.3.2 Satisfacción
  4.3.3 Inconsistencia, validez y tautologías
  4.3.4 Modelos
 4.4 Implicación y equivalencia
 4.5 Teoría del dominio
  4.5.1 Mundo abierto y mundo cerrado
 4.6 Inferencias deductivas
  4.6.1 Reglas de inferencia
  4.6.2 Una regla de inferencia muy singular
  4.6.3 Demostraciones
 4.7 Sistemas deductivos
  4.7.1 Compleción y decidibilidad
 4.8 Sistemas con resolución
  4.8.1 La forma clausulada
  4.8.2 Transformación en forma clausulada
  4.8.3 Aplicación de la regla de resolución
  4.8.4 Refutación
  4.8.5 Sistemas deductivos con resolución y refutación
  4.8.6 Cláusulas de Horn
 4.9 Un lenguaje de implementación: Prolog

---

Parte III: Lógicas para representación
5 Lógicas de descripciones
6 Lógicas inseguras
 6.1 Lógica multivalorada
 6.2 Lógica bayesiana
 6.3 Lógica borrosa
7 Lógicas modales

---

Parte IV: Apéndices
A Prolog
 A.1 Modelo funcional de Prolog
  A.1.1 La programación lógica
  A.1.2 Términos
  A.1.3 Predicados y literales
  A.1.4 Hechos
  A.1.5 Reglas
  A.1.6 Consultas
  A.1.7 Cláusulas
  A.1.8 Gramática BNF
 A.2 Ejemplos de programas
  A.2.1 Consultas
  A.2.2 Reglas recursivas
  A.2.3 Operaciones con listas
  A.2.4 Un analizador sintáctico
  A.2.5 Comparaciones
  A.2.6 Operaciones aritméticas
 A.3 Modelo procesal de Prolog
  A.3.1 Objetivos y subobjetivos
  A.3.2 Unificación y retroceso
  A.3.3 Influencia del modelo procesal en el modelo funcional
  A.3.4 Tipo de búsqueda
  A.3.5 Satisfacción de restricciones
 A.4 Prolog procedimental
  A.4.1 Lectura procedimental
  A.4.2 Un ejemplo: ordenación de listas
  A.4.3 Predicados no lógicos
  A.4.4 Control del mecanismo de retroceso
 A.5 Prolog y lógica
  A.5.1 Diferencias sintácticas
  A.5.2 El sistema deductivo de Prolog
  A.5.3 Diferencias semánticas
  A.5.4 La asunción del mundo cerrado
  A.5.5 La negación en Prolog
B RDF y OWL
Bibliografía