e - GSI

Representación del conocimiento
El nivel del conocimiento y las ontologías
Tipos de conocimiento
La psicología como fuente de metamodelos
Lenguajes formales de representación
• Lenguajes lógicos
• Lógica de proposiciones y lógica de predicados (FOL)
• Extensiones de FOL
Lenguajes informales de representación
Lógicas de descripciones
Modelación del conocimiento incierto
c○ 2011 DIT-ETSIT-UPM Representación del conocimiento transp. 27
Lenguajes de representación: requisitos
Sintaxis: interpretable por un procesador
(el que implementa el proceso de
razonamiento)
Semántica: no ambigüa;
interpretación eficiente de
algoritmos de razonamiento
Pragmática: expresividad suficiente
En la práctica, elección lenguaje = elección herramienta
c○ 2011 DIT-ETSIT-UPM Representación del conocimiento transp. 28