Inteligencia Artificial 2

Curso 200001

Tema 1: Agentes inteligentes: Representacin y razonamiento o

Jos A. Alonso Jimnez e e Miguel A. Gutirrez Naranjo e Francisco J. Mart Mateos n

Dpto. de Ciencias de la Computacin e Inteligencia Articial o

Universidad de Sevilla

IA2 200001

Cc Ia

Agentes inteligentes: Representacin y razonamiento o

1.1

Contenido
x

Agentes inteligentes: Representacin y razonamiento o

u u u u u u

Qu es la inteligencia computacional? e Agentes en el mundo Representacin y razonamiento o Ejemplos de agentes Sistemas de representacin y razonamiento o Casos de estudios

IA2 200001

Cc Ia

Agentes inteligentes: Representacin y razonamiento o

1.2

Qu es la inteligencia computacional? e
x

La inteligencia computacional es el estudio de los agentes inteligentes. Un agente es cualquiera que act a en un entorno. u Un agente inteligente es un agente que act a inteligentemente: u
u u u u

sus acciones son adecuadas a sus objetivos y valores, es exible a los cambios de entornos y objetivos, aprende de la experiencia, toma decisiones con conocimiento incompleto.

IA2 200001

Cc Ia

Agentes inteligentes: Representacin y razonamiento o

1.3

Inteligencia articial o computacional?

x

Objetivos de la Inteligencia Computacional:

u u

Objetivo cient co: comprender los principios del comportamiento inteligente Objetivo tecnolgico: especicar mtodos para dise ar sistemas inteligentes o e n

Analog entre mquinas que vuelan y mquinas que piensan a a a Hiptesis del sistema de s o mbolos:
u u

El razonamiento es manipulacin de s o mbolos Razonamiento = Computacin o

Tesis de Turing:
u

Cualquier manipulacin de s o mbolos puede realizarse mediante una mquina de a Turing

IA2 200001

Cc Ia

Agentes inteligentes: Representacin y razonamiento o

1.4

Agentes en el mundo
x

Mundo = Agente + Entorno (Poole98 p. 8)

IA2 200001

Cc Ia

Agentes inteligentes: Representacin y razonamiento o

1.5

Agentes en el mundo
x

Entradas del agente

u u u u

Conocimiento previo del mundo Experiencias anteriores de las que puede aprender Objetivos a conseguir y valores sobre lo importante Observaciones sobre su entorno y sobre s mismo

Salidas del agente

u

Acciones

IA2 200001

Cc Ia

Agentes inteligentes: Representacin y razonamiento o

1.6

Representacin y razonamiento o
x

Necesidad de representacin de las entradas del agente: conocimiento o Problema = Representacin o = Razonamiento

Elementos de un Sistema de Representacin y Razonamiento (SRR): o

u u u

Sintaxis: Lenguaje de comunicacin con la computadora o Semntica: Manera de asignar signicado al lenguaje a Clculo: Procedimientos para obtener respuestas a

Ejemplos de SRR:
u u

Lenguajes de bajo nivel: Fortran, C, Lisp, ... Lenguaje natural

IA2 200001

Cc Ia

Agentes inteligentes: Representacin y razonamiento o

1.7

El robot repartidor
x

El mundo del robot repartidor (Poole-98 p. 14)

IA2 200001

Cc Ia

Agentes inteligentes: Representacin y razonamiento o

1.8

El robot repartidor
x

Entradas del robot repartidor:

u u

Conocimiento previo: sus capacidades, objetos existentes, plano de la ocina Experiencias anteriores: qu acciones son utiles y cundo, efectos de sus acciones e a sobre su posicin y su entorno o Objetivos: qu repartir y cundo e a Valores: para ordenar objetivos Observaciones: sobre su entorno

u u u

IA2 200001

Cc Ia

Agentes inteligentes: Representacin y razonamiento o

1.9

El robot repartidor
x

Tareas del robot repartidor:

u u u u u u u

Determinar la posicin del despacho de una persona, del caf, ... o e Buscar un camino entre dos posiciones Planicar cmo realizar varias tareas o Conjeturar la posicin de una persona o Tomar decisiones con incertidumbre Aprender de la experiencia Percibir el mundo: saber dnde est, evitar obstculos, ... o a a

IA2 200001

Cc Ia

Agentes inteligentes: Representacin y razonamiento o

1.10

El S.E. electricista
x

El sistema elctrico (Poole-98 p. 16) e

IA2 200001

Cc Ia

Agentes inteligentes: Representacin y razonamiento o

1.11

El S.E. electricista
x

Entradas del S.E. electricista:

u

Conocimiento previo: funcionamiento de las luces y las conexiones, s ntomas de fallos, informacin aportada por los tests, efectos de las reparaciones o Experiencias anteriores: datos de casos anteriores Objetivo: arreglar el sistema Valores: para decidir entre reparar o sustituir componentes Observaciones: s ntomas del sistema

u u u u

IA2 200001

Cc Ia

Agentes inteligentes: Representacin y razonamiento o

1.12

El S.E. electricista
x

Tareas del S.E. electricista:

u u u u u u u u

Determinar los efectos de los fallos y las intervenciones Buscar en el espacio de posibles fallos Explicar su razonamiento al usuario Derivar posibles causas de fallos Planicar realizacin de pruebas o tratamientos o Conjeturar problemas usando conocimiento por defecto Razonar con incertidumbre y conocimiento incompleto Aprender cmo asociar s o ntomas con fallos, efectos de los tratamientos, conanza de los tests

IA2 200001

Cc Ia

Agentes inteligentes: Representacin y razonamiento o

1.13

El infobot
x

Interaccin del infobot con su entorno informtico: o a

u u u

Recibe preguntas en un lenguaje de alto nivel Busca la informacin relevante o Presenta la informacin de manera legible o

Entradas del infobot:

u

Conocimiento previo: signicado de las palabras, tipos de fuentes de informacin, o cmo acceder a la informacin o o Experiencias anteriores: dnde puede obtenerse informacin, la velocidad relativa o o de los servidores, prefencias del usuario Objetivo: la informacin buscada o Valores: para decidir entre el volumen y la calidad de la informacin o Observaciones: qu informacin hay en el sitio actual, qu enlaces hay e o e

u u u

IA2 200001

Cc Ia

Agentes inteligentes: Representacin y razonamiento o

1.14

El infobot
x

Tareas del infobot:

u u u u u u u u u

Derivar informacin que slo est impl o o a cita en una base de conocimientos Interactuar en lenguaje natural Buscar entre bases de conocimientos la informacin o Representar el conocimiento ecientemente Explicar el razonamiento justicativo de las respuestas Tomar decisiones con conocimiento incompleto o contradictorio Razonar por defecto sobre dnde encontrar informacin o o Decidir entre calidad de la informacin y coste o Aprender prefencias del usuario y fuentes de informacin o

IA2 200001

Cc Ia

Agentes inteligentes: Representacin y razonamiento o

1.15

Uso de un SRR
x

Papel de la semntica en SRR (Poole-98 p. 26) a

IA2 200001

Cc Ia

Agentes inteligentes: Representacin y razonamiento o

1.16

Uso de un SRR
x

Elegir el dominio de la tarea o el mundo que se desea representar (interpretacin deseada) o Asociar una constante del lenguaje a cada individuo del mundo que se representa Asociar un s mbolo de predicado del lenguaje a cada relacin que se o desee representar Decirle al SRR las clusulas que son verdaderas en la interpretacin a o deseada (axiomatizacin del dominio) o Preguntar al SRR e interpretar las respuestas

IA2 200001

Cc Ia

Agentes inteligentes: Representacin y razonamiento o

1.17

Dominio del robot repartidor

x

El mundo del robot repartidor (Poole-98 p. 14)

IA2 200001

Cc Ia

Agentes inteligentes: Representacin y razonamiento o

1.18

Dominio del robot repartidor

x

Constantes: h101, h103, h105, h107, h109, h111, h127, h129, h131 Relacin: vecina izquierda(H1,H2) que es verdad si la habitacin H1 es o o la vecina izquierda de la habitacin H2 o Base de conocimiento
vecina_izquierda(h101,h103). vecina_izquierda(h103,h105). vecina_izquierda(h105,h107). vecina_izquierda(h107,h109). vecina_izquierda(h109,h111). vecina_izquierda(h131,h129). vecina_izquierda(h129,h127). vecina_izquierda(h127,h125).

IA2 200001

Cc Ia

Agentes inteligentes: Representacin y razonamiento o

1.19

Dominio del robot repartidor

x

Consultas
?????vecina_izquierda(h105,h107). vecina_izquierda(h106,h107). vecina_izquierda(X,h107). vecina_izquierda(h105,X). vecina_izquierda(h106,X). => => => => => Yes No X = h105 X = h107 No

Relacin denida vecina derecha(H1,H2) que es verdad si la habitacin o o H2 es la vecina derecha de la habitacin H1 o
u

Denicin o

vecina_derecha(H1,H2) :- vecina_izquierda(H2,H1).
u

Consulta => X = h103

?- vecina_derecha(h105,X).

IA2 200001

Cc Ia

Agentes inteligentes: Representacin y razonamiento o

1.20

Dominio del robot repartidor

x

Relacin denida vecina(H1,H2) que es verdad si la habitacin H1 es o o vecina de la habitacin H2 o

u

Denicin o

vecina(H1,H2) :- vecina_derecha(H1,H2). vecina(H1,H2) :- vecina_izquierda(H1,H2).

u

Consulta => X = h107 ; X = h103

?- vecina(X,h105).
x

Relacin denida dos a la derecha(H1,H2) que es verdad si la habitacin o o H1 est dos a la derecha de la habitacin H2 a o
u

Denicin o

dos_a_la_derecha(H1,H2) :- vecina_derecha(H1,H), vecina_derecha(H,H2).

u

Consulta => X = h109

?- dos_a_la_derecha(X,h105).

IA2 200001

Cc Ia

Agentes inteligentes: Representacin y razonamiento o

1.21

Dominio del robot repartidor

x

Relacin denida a la izquierda(H1,H2) que es verdad si la habitacin o o H1 est a la izquierda de la habitacin H2 a o

u

Denicin recursiva o

a_la_izquierda(H1,H2) :vecina_izquierda(H1,H2). a_la_izquierda(H1,H2) :vecina_izquierda(H1,H), a_la_izquierda(H,H2).

u

Consulta

?- a_la_izquierda(X,h105). X = h103 ; X = h101 ; No

IA2 200001

Cc Ia

Agentes inteligentes: Representacin y razonamiento o

1.22

Dominio del sistema elctrico e

x

El sistema elctrico (Poole-98 p. 16) e

IA2 200001

Cc Ia

Agentes inteligentes: Representacin y razonamiento o

1.23

Dominio del sistema elctrico e

x

Constantes:
u u u u u u

Luces: l1, l2 Interruptores: i1, i2, i3 Cortacircuitos: cc1, cc2 Cables: c1, c2, c3, c4, c5, c6 Enchufes: e1, e2 Toma de corriente: entrada

IA2 200001

Cc Ia

Agentes inteligentes: Representacin y razonamiento o

1.24

Dominio del sistema elctrico e

x

Predicados:
u u u u u

luz(L) es verdad si L es una luz abajo(I) es verdad si el interruptor I est hacia abajo a arriba(I) es verdad si el interruptor I est hacia arriba a esta bien(X) es verdad si la luz o el cortocircuito X est bien a conectado(D1,D2) es verdad si los dispositivos D1 y D2 est conectados (de forma que a puede uir la corriente elctrica de D2 a D1) e tiene corriente(D) es verdad si el dispositivo D tiene corriente esta encendida(L) es verdad si la luz L est encendida a

u u

IA2 200001

Cc Ia

Agentes inteligentes: Representacin y razonamiento o

1.25

Dominio del sistema elctrico e

x

Base de conocimiento del sistema elctrico e

luz(l1). luz(l2). abajo(i1). arriba(i2). arriba(i3). esta_bien(l1). esta_bien(l2). esta_bien(cc1). esta_bien(cc2). conectado(l1,c0). conectado(c0,c1) :- arriba(i2). conectado(c0,c2) :- abajo(i2). conectado(c1,c3) :- arriba(i1). conectado(c2,c3) :- abajo(i1). conectado(l2,c4). conectado(c4,c3) :- arriba(i3). conectado(e1,c3). conectado(c3,c5) :- esta_bien(cc1). conectado(e2,c6). conectado(c6,c5) :- esta_bien(cc2). conectado(c5,entrada).

IA2 200001

Cc Ia

Agentes inteligentes: Representacin y razonamiento o

1.26

Dominio del sistema elctrico e

tiene_corriente(D) :conectado(D,D1), tiene_corriente(D1). tiene_corriente(entrada). esta_encendida(L) :luz(L), esta_bien(L), tiene_corriente(L).
x

Consultas
?- tiene_corriente(D). ?- esta_encendida(X). => => D = c2 ; D = l2 ; D = c4 ; D = e1 ; D = c3 ; D = e2 ; D = c6 ; D = c5 ; D = entrada X = l2

IA2 200001

Cc Ia

Agentes inteligentes: Representacin y razonamiento o

1.27

Bibliograf a
x

Poole, D.; Mackworth, A. y Goebel, R. Computational Intelligence (A Logical Approach) (Oxford University Press, 1998)
u u u

Cap. 1: Computational intelligence and knowledge Cap. 2: A representation and reasoning system Cap. 3: Using denite knowledge

Russell, S. y Norvig, P. Inteligencia articial (Un enfoque moderno) (PrenticeHall Hispanoamericana, 1996)
u u u u

Cap. 1: Introduccin o Cap. 2: Agentes inteligentes Cap. 6: Agentes que razonan de manera lgica o Cap. 10: Sistemas de razonamiento lgico o

IA2 200001

Cc Ia

Agentes inteligentes: Representacin y razonamiento o

1.28