La Mencion Del Interior Maximo

Examen | Inteligencia Articial
Universidad Adventista de Chile
MSc. Sebastián Alexis Moraga Garrido

sebastianmoraga@unach.cl
Primer Semestre de 2012

Condiciones: El desarrollo de estaevaluación deberá ser entregado hasta el día domingo 15 de Julio de 2012

a las 23:59. | Sea conciso en las respuestas.

Mecanismos de Inferencia
Modus Ponens o Implicación Eliminación:

α ⇒ β, α
βY-Eliminación:

α1 ∧ α2 ∧ α3 ∧ ... ∧ αn
αk

Y-Introducción:

O-Introducción:

α1 , α2 , α3 , ..., αn
α1 ∧ α2 ∧ α3 ∧ ... ∧ αn
αk
α1 ∨ α2 ∨ α3 ∨ ... ∨ αk ∨ ... ∨ αn

Doble NegaciónEliminación:

∼∼ α
α

Resolución Unitaria:

Resolución:

α ∨ β, ∼ β
α
α ∨ β, ∼ β ∨ γ
∼ α ⇒ β, β ⇒ γ
≡
α∨γ
∼α⇒γ

Preguntas (100[p])
1. (5[p]) ¾Qué es la Inteligencia Articial?
2. (5[p])¾Qué es un Agente?
3. (8[p]) ¾Nombre todos los enfoques de la Inteligencia Articial?
4. (7[p]) Nombre los tipos de Agente que existen.

1

Figura 1: Grafo problema, donde el nodo

A

es elinicio, y el

I

es el nal.

5. (20[p]) Para el grafo de la gura 1, utilizando el único método de búsqueda pertinente a este problema,
ejecútelo e indique la ruta obtenida como resultado.
6.(30[p]) Para el mapa de la gura 2:
Sea

A

un agente que comienza en la posición

(4, 1),

tal que

A41

es el símbolo que lo representa en dicha

posición.
Sea

Σ

Sean

A,tal que:

¬S42 → ¬W42 ∧ ¬W41 ∧ ¬W32 ∧ ¬W43 ,



 ¬S32 → ¬W32 ∧ ¬W42 ∧ ¬W31 ∧ ¬W33 ∧ ¬W22 ,




¬S41 → ¬W41 ∧ ¬W42 ∧ ¬W31 ,




¬S31 → ¬W31 ∧ ¬W41 ∧ ¬W32 ∧ ¬W21 ,


S31 → W31 ∨ W41 ∨ W32 ∨ W21 ,
Σ=
B42 → P41 ∨ P32 ∨ P43 ,




B32 → P42 ∨ P31 ∨ P22 ∨ P33 ,




¬B41 → ¬P41 ∧ ¬P42 ∧ ¬P31 ,




¬B31 → ¬P31 ∧ ¬P41 ∧ ¬P32 ∧ ¬P21 ,


D32 → O32

una base de conocimientos para el agente

[Sij , Bij , Dij ]

las percepciones del agente

A

en cada posición

(i, j )

demuestre, a través de lógica proposicional, que...