Tema 1 Logica1Orden

Inteligencia Artificial
Tema 1
Lógica Formal
de Primer Orden

Universidad Pontificia de Salamanca
Inteligencia Artificial
3/12/15

1

Representación del conocimiento
“El papel de la representación del
conocimiento en IA es reducir los
problemas de construcción de
sistemas inteligentes a problemas de
búsqueda”
(Gingsberg, 1993)

Universidad Pontificia de
Salamanca Inteligencia Artificial3/12/15

2

IA frente a computación tradicional


Computación tradicional
◦
◦
◦
◦



Idear el algoritmo
Seleccionar un lenguaje de programación
Escribir el algoritmo en dicho lenguaje
Ejecutar el programa

Inteligencia Artificial
◦

◦
◦
◦

Identificar el conocimiento necesario para resolver el
problema
Seleccionar un lenguaje de representación del conocimiento
Escribir el conocimiento en dicholenguaje
Usar las consecuencias del conocimiento para resolver el
problema (estrategias de búsqueda)
Universidad Pontificia de
Salamanca Inteligencia Artificial

3/12/15

3

Enfoques para la representación del
conocimiento


Planteamiento conexionista
◦ Emula el sistema neuronal humano



Planteamiento simbólico
◦ Cada elemento de la representación (símbolo) se
refiere a un objeto (particular oabstracto) del mundo a
representar
◦ La representación de conocimiento es un proceso de
transformación
◦ Los algoritmos utilizan la representación simbólica y
generan nuevos símbolos
Universidad Pontificia de
Salamanca Inteligencia Artificial

3/12/15

4

Planteamiento simbólico

Universidad Pontificia de
Salamanca Inteligencia Artificial

3/12/15

5

Propiedades de un lenguaje de
representaciónHíbrido de un lenguaje natural y un
lenguaje formal
 Expresivo y conciso
 No ambiguo
 Independiente del contexto
 Efectivo


Universidad Pontificia de
Salamanca Inteligencia Artificial

3/12/15

6

Estructura de modelos de representación


Estático
◦ Similar a las bases de datos
◦ No refleja relaciones
◦ IA no lo considera un conocimiento propiamente dicho



Estructurado
◦ Representacionesbasadas en lógica
◦ Reglas de producción
◦ Facilitan procesos de razonamiento

Universidad Pontificia de
Salamanca Inteligencia Artificial

3/12/15

7

Representaciones basadas en lógica
Modelo para el razonamiento humano
 Alto grado de formalización


◦ Sintáctico (construcciones legales y léxico que se usa)
◦ Semántico (interpretación de las sentencias lógicas
para obtener su significado)
Ejemplo: ”Todos los hombres hablan inglés”
x Hombre(x)Habla_Inglés(x)
◦ Sintaxis correcta, luego sentencia válida
◦ Se entiende el significado
◦ Es falsa, se pueden encontrar contraejemplos
Universidad Pontificia de
Salamanca Inteligencia Artificial

3/12/15

8

Lógica




Es una forma de representación formal del
conocimiento
Los resultados se obtienen mediante
deducción/demostración, medianteel usos de
teorías distintas:
◦ Teoría de modelos(método semántico)
 Interpretación y reglas de evaluación
 Deducción de fórmula valida mediante métodos de estudio de
validez (tablas de verdad, árboles semánticos, refutación)
◦ Teoría de la demostración(método axiomático)
 Conjunto de axiomas (finito o numerable)
 Reglas de inferencia
 Demostración de teoremas
Universidad Pontificia deSalamanca Inteligencia Artificial

3/12/15

9

Modelos Lógicos de Representación del
Conocimiento


Los modelos lógicos representan las
relaciones entre objetos y propiedades.



Los más conocidos son:
Modelo de Lógica Proposicional
Modelo de Lógica de Predicados

La lógica proposicional no admite argumentos,
mientras que la de predicados sí.
Universidad Pontificia de
Salamanca InteligenciaArtificial

3/12/15

10

Lógica proposicional


La lógica proposicional modela afirmaciones y relaciones entre afirmaciones;
pero no desmenuza el conocimiento en los objetos que intervienen y sus
relaciones.



La unidad básica es la proposición
◦ Unidad mínima de lenguaje con un contenido de información sobre cuyo significado es
posible afirmar algo.



Un argumento es un sistema de proposiciones...