Lógica como representación de conocimiento

Lógica proposicional demasiado poco expresiva (aunque se construyen sistemas bajo esta representación, e.g., árboles de falla, de decisión, etc.)

Lógica de primer orden es suficientemente expresiva, pero el método de razonamiento es NP-completo y la lógica es indecidible

Cláusulas de Horn generalmente adecuadas aunque son menos expresivas

Comparado con otras representaciones, lógica tiene una sintáxis y semántica clara.

Problemas de lógica de primer para representar conocimiento

• difícil expresar todo en fórmulas lógicas
• razonar con tiempo, meta-inferencia
• información incompleta o imprecisa
• excepciones

Posibles soluciones, usar lógicas:

• no-monotónicas
• modales
• temporales
• difuzas