Bases de Conocimiento

INTELIGENCIA ARTIFICIAL - ICIF0021
Unidad 4 - Representacion del Conocimiento
Docente: Milton A. Ramrez Klapp

miramire@gmail.com
Universidad San Sebastian

Facultad de Ingeniera y Tecnologa
Primer Semestre 2011
M. Ramrez K. (USS) Apunte curso IA Primer Semestre 2011 1 / 93

Objetivos de la Unidad
Conocer tecnicas de representacion de conocimiento mediante logica

de primer orden.
Resolver problemas que involucran el uso de una base de
conocimiento de tipo condicion-accion.
Identificar modelos basados en grafos ponderados para codificar
conocimiento a traves de redes semanticas.
Construir redes semanticas a partir de enunciados escritos en lenguaje
natural.
Generar nuevo conocimiento a traves de mecanismos de herencia.

Contenidos
1 Ontologas de nivel superior.

2 Redes semanticas.
3 Objetos compuestos.
4 Medidas.
5 Sustancias.

Introduccion
Hasta el momento ha sido facil encontrar vocabularios consistentes

X Para representar los problemas
Dominios complejos requieren representacion mas general y flexible.
Necesitamos representar conceptos que antes no tenan cabida en el
paradigma de representacion de problemas basado en estados o en los
modelos de planificacion:
X Objetos fsicos
X Tiempo
X Creencias

Introduccion
Representar todo en el mundo es una tarea de enormes proporciones.

Podemos hacer moldes donde se puede incorporar nuevo
conocimiento:
X lo que se llama ontologa superior
Consideracion importante sobre Logica de Primer Orden (LPO):
X ciertos aspectos del mundo son difciles de capturar utilizando LPO
X debido a que casi todas las generalizaciones tienen excepciones
X debemos tener la habilidad de manejarlas

Ontologas
La Ontologa es una rama de la Filosofa que se preocupa acerca de los

supuestos y organizacion de los elementos que conforman la realidad.

Ontologas
El proposito de la Ontologa en el campo de la IA es proveer un

conjunto de supuestos sobre la realidad con el objetivo del
intercambio y uso de este conocimiento:
X este conocimiento compartido permite hacer una organizacion del
mismo
X se maneja una lista de conceptos basicos sobre la parte del mundo que
se quiere representar
X los terminos que conforman la jerga particular de lo que se desea
modelar muestran una relacion jerarquica o de pertenencia entre
ellos.

Ontologas
Las redes semanticas seran el formalismo que usaremos para codificar los
supuestos sobre la realidad que establece la ontologa.

Ontologas
Que se utiliza en una ontologa superior?

Existen muchas ontologas especficas
X Automoviles
X Naturaleza
X Circuitos Electronicos
X Medicina
X Un gran etcetera
En algun momento convergen?
X Siglos de investigacion sugieren que posiblemente

Un razonamiento ontologico

Ontologas
Ejemplo de ontologa para vehculos
Vehculo
Terrestre Areo Martimo
Bicicleta Automvil Motocicleta Avin Helicptero Lancha Bote
Mazda 323 Boeing 737

Ontologas
Ejemplo de ontologa para vehculos
Vehculo clase (concepto)
subclase de subclase de subclase de

Terrestre Areo Martimo
es un es un tipo de es un
Bicicleta Automvil Motocicleta Avin Helicptero Lancha Bote
ejemplo de instancia de
Mazda 323 Boeing 737

Ontologas
Vehculo pasa a ser el concepto general sobre el cual hacemos la

ontologa:
X el cual a su vez puede ser una subclase en otra ontologa que trate
sobre los medios de transporte
Terrestre, Aereo y Martimo son las posibles descomposiciones que
se hicieron de la clase vehculo:
X en su lugar se podran haber creado otras como Motorizado o No
Motorizado que las reemplazaran.
Los elementos inscritos en rectangulos corresponden a instancias de
las subclases.

Ontologas
Es posible
deducir que
Mazda 323 es un
vehculo terrestre?
por que no es
posible clasificar
el Boeing 737
dentro de la
categora
Martimo?

Categoras y Objetos
Organizar los objetos en categoras es vital:

X la mayora del razonamiento es en categoras
Sirven para hacer predicciones de los objetos:
X una vez que estan clasificados
X se puede inferir la clase de objeto segun atributos
X y luego hacer predicciones segun la clase del objeto

Categoras y Objetos
Dos opciones para representar categoras:

X Predicados y Objetos
X Predicado: balonDeBasketball(b)
X Objeto: Miembro(b,BalonesDeBasketball)

Categoras y Objetos
Las categoras tambien son utiles para simplificar el conocimiento:

X en base a la herencia
X los objetos individuales heredan propiedades de la categora a la que
pertenecen.
Si sub-clasificamos objetos, las relaciones producen taxonomas.
Por ejemplo, en Biologa se intenta proporcionar una taxonoma para todas

las especies vivas y extintas.

Categoras y Objetos
La LPO y la teora de conjuntos hacen simple el proceso de hacer

afirmaciones sobre categoras:
X el concepto de transitividad es importante.

Categoras y Objetos
Un objeto es miembro de una categora
BB9 BalonesDeBasketball
Una categora es subclase de otra categora
BalonesDeBasketball Balones
Miembros de una categora tienen propiedades
(x BalonesDeBasketball) redondo(x)

Categoras y Objetos
Que pasa con las sub-clasificaciones que aparentemente guardan relacion

entre s?
Espanol Europeos y Aleman Europeos
En ningun momento se esta afirmando que un objeto que pertenezca

a Espanol no pertenezca a Aleman.
X Puede haber doble nacionalidad.

Categoras y Objetos
Dos categoras son disjuntas si no tienen miembros en comun.

Si varias categoras tienen elementos en comun y la reunion de todas
ellas nos hace el conjunto completo, estamos hablando de una
descomposicion exhaustiva.
Si ademas es disjunta, tenemos una particion.

Categoras y Objetos
Algunos ejemplos
Categoras disjuntas
({Animales, Vegetales})
Descomposicion exhaustiva
({Canadienses, Mexicanos, Estadounidenses}, Norteamericanos)
Particion
({Machos, Hembras}, Animales)

Que vimos la clase pasada?
Problematizacion asociada con los lenguajes de representacion de

problemas vistos en las unidades 1, 2 y 3.
Supuestos ontologicos, epistemologicos y metodologicos sobre la
realidad y los elementos que la conforman y la modelan.

Hoy veremos
Redes semanticas:
X introduccion
X construccion
X herencia y manejo de excepciones.

Recordatorio de categoras y objetos

Introduccion
El significado de algun objeto se puede expresar o inferir a traves de

una red de asociaciones con otros objetos.
De acuerdo a las teoras asociativas de la Psicologa, cuando un ser
humano percibe un objeto y razona acerca de el:
X establece una correspondencia entre el objeto y un concepto
X ese concepto puede estar internalizado dentro de nuestra propia base
de conocimiento y se puede conectar con el objeto percibido
X las relaciones que se establecen ayudan a entender las propiedades y
comportamiento del objeto estudiado

Introduccion
Ejemplos
Nieve: es fra de temperatura , es de color blanco, forma de hielo, a

partir de ella se puede construir un muneco de nieve, etc.
Gato: es peludo, es un animal, es un tipo de mascota, tiene pulgas,
etc.
Algun otro concepto?

Introduccion
Existen evidencias psicologicas que los seres humanos:

X son capaces de establecer asociaciones entre objetos
X tienden a organizar el conocimiento de manera jerarquica
X almacenan las propiedades en los niveles mas abstractos y tienen que
ascender por la jerarqua de las estructuras de la memoria para
responder a ciertas preguntas.
Canario no esta asociado directamente con la capacidad de volar, sino que

esta forma parte de las propiedades de pajaro, as como la capacidad
motora depende de animal.

Introduccion
En cambio, las excepciones las almacenamos directamente en los

conceptos:
X un avestruz, a pesar de ser un pajaro, no puede volar
Cuando hay herencia:
X la informacion se guarda en los niveles mas altos de abstraccion, lo que
sirve para ir ensamblando el nuevo conocimiento que se vaya generando
en las ontologas de nivel superior
X los grafos se constituyen en la estructura algebraica ideal para
formalizar la teora asociativa del conocimiento.

Introduccion
La Psicologa cuestiona que nuestra capacidad para entender el

lenguaje se pueda reducir a un conjunto de reglas basicas:
X sugiere que la comprension de los textos supone la creacion de alguna
representacion simbolica
X esta representacion simbolica que se puede hacer con un grafo es lo
que se puede transportar a una maquina para poder hacer inferencias
tal como lo hacemos los seres humanos.
La memoria humana puede modelarse a traves de una red.

Construccion de una Red Semantica
Como ya se comento, una red semantica se puede modelar a traves de

un grafo, donde:
X los nodos representan conceptos, atributos, entidades
X los arcos etiquetados indican relaciones entre esos conceptos como por
ejemplo espacial, temporal, causal, de rol desempenado, etc.
Estudiaremos la tecnica declarativa empleando grafos dirigidos
etiquetados:
X la idea principal es que un concepto se especifica con las relaciones o
conexiones con otros objetos.
Ejemplo: Juan es Informatico de profesion
profesin
JUAN Informtico

La extraccion de alguna conclusion a partir de un concepto se puede

hacer mediante herencia.
Un concepto esta asociado con otros conceptos a traves de los arcos
salientes del nodo que lo representa.
Ejemplo: Un velero es un buque con velas
esUn tieneParte
buque Velero vela

Tipos de arcos
Arcos estructurales Ejemplo
instancia o ejemplar:
une un objeto con su
tipo (clase). Vertebrado Diente
subClase: une una

clase con otra mas subclase subclase
general. Persona
tieneParte
Boca
tieneParte
incisivo
tieneParte: une un
objeto con sus ejemplar
componentes.
JUAN

Tipos de arcos
Arcos descriptivos
Propiedades: profesion, colorPelo, etc.

Relaciones no estructurales: amigoDe, padreDe, etc.
color
Delfn gris

Herencia
Como se ha comentado, el uso de herencia facilita la extraccion de

razonamiento a partir de lo escrito en una red semantica.
Se pueden generar algoritmos simples que soportan el manejo de
excepciones:
X los nodos acceden a las propiedades de otros nodos siguiendo los arcos
instancia (o ejemplar) y subClase.
Ventajas:
X evita la repeticion de propiedades
X el conocimiento se comparte con los otros conceptos definidos en la red
semantica.

Herencia
color
Delfn gris
ejemplar
color
CLIPPER azul
Observaciones
Los delfines son de color gris.

Clipper es un ejemplar de delfn, que sin embargo no es gris sino azul.

Herencia
Otro ejemplo
color color Que se puede decir de

B allena gris Tiburn
Dumbo?
subClase color subClase
instancia instancia Es un elefante de

DUMBO Elefante MAEL
color gris.
subClase
instancia instancia
Es un macho,
mamfero, un animal.
Macho Mamfero Hembra
subClase
Requiere oxgeno.
subClase subClase
Es un ser vivo pero no
Animal
una planta.
necesita subClase
oxgeno SerVivo
necesita subClase
Planta

Herencia
Manejo de excepciones
instancia instancia DONKEY

BRUTUS Gorila
KONG
color color
negro caf
Se hereda el valor de la propiedad del nodo mas cercano al nodo que

sirvio como punto de partida en la inferencia:
X Brutus es de color negro
X Donkey Kong es de color cafe

Construccion de Redes Semanticas
Relacion entre dos conceptos
Problema: dados dos conceptos C1 y C2 , queremos saber como estan

relacionados:
X el mecanismo a estudiar se llama propagacion de la activacion.
Inicialmente se activan ambos conceptos.
La activacion se propaga a los nodos que estan a un arco de distancia
de los nodos iniciales, despues a los nodos que estan a distancia 2, 3 y
as sucesivamente, formando ondas concentricas.
Cuando las ondas procedentes de C1 intersectan a las procedentes de
C2 (o a algun nodo del interior), hemos encontrado la interseccion.
La relacion entre C1 y C2 viene dada por las etiquetas de las aristas
existentes de C1 al punto de interseccion y de C2 al punto de
interseccion.
La cantidad de relaciones existentes entre C1 y C2 esta dada por el
numero de intersecciones que se generan con respecto a las ondas
concentricas propagadas por ambos conceptos.
La busqueda de intersecciones a menudo requiere generar la inversa de

una relacion, que por lo general se hace con los arcos estructurales.

Ejemplo
Algunas observaciones
Persona
subClase subClase Tanto Luis como

Pedro son hombres.
Mujer Hombre Como son hombres,
tambien son personas.
instancia instancia
Ninguno de ellos es
mujer.
PEDRO LUIS
Luis es mayor que
edad edad
Pedro.
mayorQue
EDAD2 EDAD1
valor
28

Representacion de relaciones narias
Sabemos que los enlaces representan relaciones binarias.

Para representar relaciones narias en una red semantica, es
necesario convertirlas a formato binario.
Se introducen predicados binarios para describir la relacion de ese
nuevo objeto con sus argumentos originales.
Es una tecnica util para describir eventos o sucesos.

Ejemplo
COLO-COLO gano la Copa Libertadores de America el 5 de Junio de 1991
derrotando 3-0 a Olimpia en el partido final.
Partidos de Copa
Libertadores de
Amrica
instancia
equipoVisita resultadoFinal
PARTIDO
OLIMPIA 3-0
FINAL
fecha equipoLocal
5/Junio/1991 COLO-COLO

Ejemplo: Juan le vende a Pedro un reloj en 15.000$
EventoComprar
instancia
comprador valor moneda

PESO
PEDRO COMPRA1 15.000
CHILENO
objeto vendedor
RELOJ JUAN

Problematizacion asociada con los lenguajes de representacion de

problemas vistos en las unidades 1, 2 y 3.
Supuestos ontologicos, epistemologicos y metodologicos sobre la
realidad y los elementos que la conforman y la modelan.

Hoy veremos
Redes semanticas:
X introduccion
X construccion
X herencia y manejo de excepciones.

Recordatorio de categoras y objetos

Introduccion
El significado de algun objeto se puede expresar o inferir a traves de

una red de asociaciones con otros objetos.
De acuerdo a las teoras asociativas de la Psicologa, cuando un ser
humano percibe un objeto y razona acerca de el:
X establece una correspondencia entre el objeto y un concepto
X ese concepto puede estar internalizado dentro de nuestra propia base
de conocimiento y se puede conectar con el objeto percibido
X las relaciones que se establecen ayudan a entender las propiedades y
comportamiento del objeto estudiado

Introduccion
Ejemplos
Nieve: es fra de temperatura , es de color blanco, forma de hielo, a

partir de ella se puede construir un muneco de nieve, etc.
Gato: es peludo, es un animal, es un tipo de mascota, tiene pulgas,
etc.
Algun otro concepto?

Introduccion
Existen evidencias psicologicas que los seres humanos:

X son capaces de establecer asociaciones entre objetos
X tienden a organizar el conocimiento de manera jerarquica
X almacenan las propiedades en los niveles mas abstractos y tienen que
ascender por la jerarqua de las estructuras de la memoria para
responder a ciertas preguntas.
Canario no esta asociado directamente con la capacidad de volar, sino que

esta forma parte de las propiedades de pajaro, as como la capacidad
motora depende de animal.

Introduccion
En cambio, las excepciones las almacenamos directamente en los

conceptos:
X Snarf, a pesar de ser un gato, es de color naranjo con rojo en lugar de
blanco y negro como la mayora de los gatos
Cuando hay herencia:
X la informacion se guarda en los niveles mas altos de abstraccion, lo que
sirve para ir ensamblando el nuevo conocimiento que se vaya generando
en las ontologas de nivel superior
X los grafos se constituyen en la estructura algebraica ideal para
formalizar la teora asociativa del conocimiento.

Introduccion
La Psicologa cuestiona que nuestra capacidad para entender el

lenguaje se pueda reducir a un conjunto de reglas basicas:
X sugiere que la comprension de los textos supone la creacion de alguna
representacion simbolica
X esta representacion simbolica que se puede hacer con un grafo es lo
que se puede transportar a una maquina para poder hacer inferencias
tal como lo hacemos los seres humanos.
La memoria humana puede modelarse a traves de una red.

Como ya se comento, una red semantica se puede modelar a traves de

un grafo, donde:
X los nodos representan conceptos, atributos, entidades
X los arcos etiquetados indican relaciones entre esos conceptos como por
ejemplo espacial, temporal, causal, de rol desempenado, etc.
Estudiaremos la tecnica declarativa empleando grafos dirigidos
etiquetados:
X la idea principal es que un concepto se especifica con las relaciones o
conexiones con otros objetos.
Ejemplo: Juan es Informatico de profesion
profesin
JUAN Informtico

La extraccion de alguna conclusion a partir de un concepto se puede

hacer mediante herencia.
Un concepto esta asociado con otros conceptos a traves de los arcos
salientes del nodo que lo representa.
Ejemplo: Un velero es un buque con velas
esUn tieneParte
buque Velero vela

Tipos de arcos
Arcos estructurales Ejemplo
instancia o ejemplar:
une un objeto con su
tipo (clase). Vertebrado Diente
subClase: une una

clase con otra mas subclase subclase
general. Persona
tieneParte
Boca
tieneParte
incisivo
tieneParte: une un
objeto con sus ejemplar
componentes.
JUAN

Tipos de arcos
Arcos descriptivos
Propiedades: profesion, colorPelo, etc.

Relaciones no estructurales: amigoDe, padreDe, etc.
color
Delfn gris

Herencia
Como se ha comentado, el uso de herencia facilita la extraccion de

razonamiento a partir de lo escrito en una red semantica.
Se pueden generar algoritmos simples que soportan el manejo de
excepciones:
X los nodos acceden a las propiedades de otros nodos siguiendo los arcos
instancia (o ejemplar) y subClase.
Ventajas:
X evita la repeticion de propiedades
X el conocimiento se comparte con los otros conceptos definidos en la red
semantica.

Herencia
color
Delfn gris
ejemplar
color
CLIPPER azul
Observaciones
Los delfines son de color gris.

Clipper es un ejemplar de delfn, que sin embargo no es gris sino azul.

Herencia
Otro ejemplo
color color Que se puede decir de

B allena gris Tiburn
Dumbo?
subClase color subClase
instancia instancia Es un elefante de

DUMBO Elefante MAEL
color gris.
subClase
instancia instancia
Es un macho,
mamfero, un animal.
Macho Mamfero Hembra
subClase
Requiere oxgeno.
subClase subClase
Es un ser vivo pero no
Animal
una planta.
necesita subClase
oxgeno SerVivo
necesita subClase
Planta

Herencia
Manejo de excepciones
instancia instancia DONKEY

BRUTUS Gorila
KONG
color color
negro caf
Se hereda el valor de la propiedad del nodo mas cercano al nodo que

sirvio como punto de partida en la inferencia:
X Brutus es de color negro
X Donkey Kong es de color cafe

Problema: dados dos conceptos C1 y C2 , queremos saber como estan

relacionados:
X el mecanismo a estudiar se llama propagacion de la activacion.
Inicialmente se activan ambos conceptos.
La activacion se propaga a los nodos que estan a un arco de distancia
de los nodos iniciales, despues a los nodos que estan a distancia 2, 3 y
as sucesivamente, formando ondas concentricas.
Cuando las ondas procedentes de C1 intersectan a las procedentes de
C2 (o a algun nodo del interior), hemos encontrado la interseccion.
La relacion entre C1 y C2 viene dada por las etiquetas de las aristas
existentes de C1 al punto de interseccion y de C2 al punto de
interseccion.
La cantidad de relaciones existentes entre C1 y C2 esta dada por el
numero de intersecciones que se generan con respecto a las ondas
concentricas propagadas por ambos conceptos.
La busqueda de intersecciones a menudo requiere generar la inversa de

una relacion, que por lo general se hace con los arcos estructurales.

Ejemplo
Algunas observaciones
Persona
subClase subClase Tanto Luis como

Pedro son hombres.
Mujer Hombre Como son hombres,
tambien son personas.
instancia instancia
Ninguno de ellos es
mujer.
PEDRO LUIS
Luis es mayor que
edad edad
Pedro.
mayorQue
EDAD2 EDAD1
valor
28

Ejemplo
Predicados instanciados presentes

Persona
subClase(Mujer,Persona),
subClase subClase subClase(Hombre,Persona)
instancia(PEDRO,Hombre),
Mujer Hombre instancia(LUIS,Hombre)
edad(PEDRO,EDAD2),
instancia instancia edad(LUIS,EDAD1)
mayorQue(EDAD1,EDAD2),
PEDRO LUIS valor(EDAD1,28)
edad edad
mayorQue
EDAD2 EDAD1
valor
28

Sabemos que los enlaces representan relaciones binarias.

Para representar relaciones narias en una red semantica, es
necesario convertirlas a formato binario.
Se introducen predicados binarios para describir la relacion de ese
nuevo objeto con sus argumentos originales.
Es una tecnica util para describir eventos o sucesos.

Ejemplo
COLO-COLO gano la Copa Libertadores de America el 5 de Junio de 1991
derrotando 3-0 a Olimpia en el partido final.
Partidos de Copa
Libertadores de
Amrica
instancia
equipoVisita resultadoFinal
PARTIDO
OLIMPIA 3-0
FINAL
fecha equipoLocal
5/Junio/1991 COLO-COLO

Ejemplo: Juan le vende a Pedro un reloj en 15.000$
EventoComprar
instancia
comprador valor moneda

PESO
PEDRO COMPRA1 15.000
CHILENO
objeto vendedor
RELOJ JUAN

Bonustrack
Para cada uno de los siguientes problemas, encuentre su

representacion STRIPS:
X constantes
X predicados
X estado inicial
X acciones, indicando Precondicion , Borrado , Efectos
X estado final.
El numero de ejercicio es el que le corresponde a su numero de grupo.
Piensen como resolver estos problemas:
X sera STRIPS la mejor opcion para modelarlos?
X alguna otra opcion?

Bonustrack
1. Misioneros y Canbales
Tenemos tres misioneros y tres canbales en la orilla de un ro.

Deben cruzar a la otra orilla utilizando un bote que solo puede llevar
a dos personas.
En ningun momento el numero de misioneros en una orilla puede ser
menor al numero de canbales, ya que pueden ser devorados por estos
ultimos.

Bonustrack
2. Barquero
Un pastor tiene que pasar un lobo, una cabra y un repollo a la otra

orilla de un ro.
Dispone de una barca en la que solo caben el y una de los otros tres
elementos.
Solo el pastor sabe remar en la barcaza.
Si el lobo se queda solo con la cabra se la come y si la cabra se queda
sola con la lechuga tambien la come.

Bonustrack
3. Puzzle 4
Variante del puzzle 8, salvo que el tablero tiene 4 casillas.

Los estados inicial y final son, respectivamente:
1 2 3 1
3 2

Bonustrack
Modele este conocimiento de oficina como una red semantica
Las maquinas de oficina obtienen su fuente de alimentacion electrica

por medio de una toma de corriente adosada a la pared.
Cualquiera de estas maquinas puede ser ya sea una impresora o un
robot.
Las impresoras pueden ser laser o de inyeccion de tinta.
Un robot puede ser ya sea un repartidor, como el caso de C3PO o un
limpiador como R2D2.
R2D2 es el unico tipo de robot que se alimenta con bateras alcalinas
recargables.
La HP DESKJET F2280 es un tipo de impresora de tinta.

Bonustrack
Con respecto al problemas de los insumos de oficina
Indique todos los predicados que utilizo para construir la red

semantica.
Deje explcitas todas las instanciaciones que hizo de los predicados
antes mencionados.
Cual es la fuente de alimentacion de la HP DESKJET F2280?
Agregue mas conocimiento para ampliar la semantica de la red que
construyo.

Redes semanticas:
X inspiracion psicologica
X caracterizacion mediante grafos, donde los nodos representan
conceptos, ideas o entidades y los arcos describen relaciones tanto
estructurales como no estructurales entre los nodos
X herencia
X manejo de excepciones
X representacion de relaciones narias

Hoy veremos
Objetos compuestos.
Medidas.
Sustancias.

Objetos Compuestos
La idea de objeto compuesto puede resultarnos familiar:

X Boca es parte de Cara
X Chile es parte de America del Sur
X Captulo es parte de Libro.
En general, se ocupa ParteDe.
Los objetos se pueden agrupar en jerarquas:
X ParteDe(Concepcion,Chile)
X ParteDe(Chile, America del Sur)
X ParteDe(America del Sur, America)
X ParteDe(America, Planeta Tierra).

Objetos Compuestos
La relacion ParteDe es refleja y transitiva:

X x : ParteDe(x, x)
X x, y, z : ParteDe(x, y) ParteDe(y, z) ParteDe(x, z)
Con lo anterior se puede concluir que ParteDe(Chile, Planeta Tierra)
Tambien podemos tener categoras de objetos compuestos
X que mantienen relaciones estructurales.

Objetos Compuestos
Un bpedo tiene dos piernas unidas a su cuerpo
Bpedo(a) l1 , l2 , b : pierna(l1 ) pierna(l2 )

cuerpo(b) ParteDe(l1 , a) ParteDe(l2 , a)
ParteDe(b, a) unidaA(l1 , b) unidaA(l2 , b)
l1 6= l2

Objetos Compuestos
La idea de particion de partes es analoga a la definicion de particion
La masa de un objeto compuesto es la suma de la masa de cada una de

sus partes.

Medidas
En casi cualquier contexto los objetos poseen peso, masa, costo, etc.:
X estos valores se conocen como medidas
Es facil representar las medidas mediante objetos abstractos de
medida:
X la longitud de esta lnea:
X la longitud anterior puede llamarse 1,5 pulgadas o 3,81 centmetros

X la misma longitud puede tener diferentes denominaciones o escalas,
que pueden variar de acuerdo al sistema metrico empleado.

Medidas
Logicamente, podemos combinar una funcion de unidades con un

numero:
X si la lnea del ejemplo anterior se llama l1 , entonces
longitud(l1 ) =pulgadas(1,5)=centmetros(3,81)
Para convertir, igualamos los multiplos de una unidad respecto a
otra:
X centmetros(2, 54 d) =pulgadas(d)
Podemos describir objetos con sus medidas:
X diametro(BalonDeBasquetball)=pulgadas(9,5)
X precio(BalonDeBasquetball)=pesos(5500)

Medidas
Cuando las medidas son cuantitativas, es facil representarlas.

Medidas
Pero ahora, que pasa con medidas cualitativas como

X belleza
X dificultad
X sabor ?
Las medidas cualitativas son difciles porque no tienen una escala de
valores:
X por lo tanto, no es posible atribuirles un significado numerico
Lo bueno es que no es necesario hacer eso, ya que las vamos a
emplear para ordenar.

Medidas
Cosas que NO hay que hacer
Descartar las medidas no cuantificables.

Cuantificar medidas cualitativas.

Medidas
No es necesario dar valores para ordenar

X se pueden emplear signos de ordenacion habituales como
<
>
=

Medidas
Ejemplo
Sea cual sea el certamen de IA que se considere, siempre sera mas

complicado que uno de Calculo. En general, si un certamen es mas difcil
que otro, la nota esperada que se obtenga sera menor.
Cualquier certamen de IA es mas complicado que uno de Calculo:
c1 , c2 : c1 Certamenes c2 Certamenes De(c1 , IA) De(c2 , Calculo)

difcil(c1 ) > difcil(c2 )
Si un certamen de mas complicado que otro, evidentemente su nota esperada sera

menor:
c1 , c2 : c1 Certamenes c2 Certamenes difcil(c1 ) > difcil(c2 )

notaEsperada(c1 ) < notaEsperada(c2 )

Medidas
Lo anterior basta para decidir para que certamenes estudiar mas:

X aunque no existan valores numericos de dificultad
X es necesario saber a que asignatura corresponden los certamenes
Esto es parte de la fsica cualitativa:
X subcampo de la IA que se preocupa de los razonamientos sin que
intervengan ecuaciones minuciosas o simulaciones numericas.

Sustancias y Objetos
Que pasa si consideramos el mundo real como partculas y objetos

compuestos por ellas?
X acarrea una tremenda complejidad
X que se elimina al trabajar con objetos menos primitivos, como
manzanas, casas, autos, etc.
Sin embargo, existe un conjunto de la realidad que no puede ser
individualizada:
X que se conoce como materia o sustancia.

Si tenemos un oso y la mantequilla
Evidentemente
que no, ya que el
oso es contable.
Por lo tanto, es un
objeto.
La mantequilla es
una sustancia.

Algunos lenguajes permiten hacer distincion entre las sustancias y los

objetos:
X un oso, un gato, dos botes, . . .
sustantivos contables.
X la mantequilla, la luz, el shampoo, . . .
sustantivos no contables.
Entonces, la gran pregunta:
como podemos representar sustancias?

Recordemos el caso de la mantequilla
Pensemos por un momento que la mantequilla pudiera ser

considerada como un objeto:
X podemos dejarla sobre la mesa
X se puede tomar, pesar, vender, etc.
X estos son atributos que verifican los objetos de la vida real.
Es posible definir una categora llamada Mantequilla (con
mayuscula):
X a la cual pertenecen todos los objetos los cuales podemos afirmar que
son Mantequilla:
que sean amarillos, con un determinado punto de fusion, con grasas,
que sirva para acompanar al pan, ideal para hacer masas dulces, etc.

Tambien podemos crear una categora llamada KiloDeMantequilla:

X a la cual pertenezcan todos los objetos tipo Mantequilla que pesen 1
Kg
X con eso obtenemos un objeto!
Si partimos un 1 Kg de Mantequilla por la mitad, no tendremos 2
Mantequillas de 1 Kg cada una . . .
X eso nos da una idea que existen propiedades intrnsecas y extrnsecas
X las intrnsecas son aquellas propiedades que se preservan incluso al
dividir un objeto, como la densidad, sabor, aroma, color, etc.
X las extrnsecas son aquellas propiedades que no se conservan al dividir
objetos como por ejemplo peso, longitud, forma.
Una sustancia es aquel elemento que solo posee propiedades intrnsecas.

Fin de la Unidad 4

Bases de Conocimiento

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Bases de Conocimiento

Caricato da

Copyright:

Formati disponibili

INTELIGENCIA ARTIFICIAL - ICIF0021

Unidad 4 - Representacion del Conocimiento

Docente: Milton A. Ramrez Klapp

Universidad San Sebastian

Primer Semestre 2011

M. Ramrez K. (USS) Apunte curso IA Primer Semestre 2011 1 / 93

Conocer tecnicas de representacion de conocimiento mediante logica

M. Ramrez K. (USS) Apunte curso IA Primer Semestre 2011 2 / 93

1 Ontologas de nivel superior.

M. Ramrez K. (USS) Apunte curso IA Primer Semestre 2011 3 / 93

Hasta el momento ha sido facil encontrar vocabularios consistentes

M. Ramrez K. (USS) Apunte curso IA Primer Semestre 2011 4 / 93

Representar todo en el mundo es una tarea de enormes proporciones.

M. Ramrez K. (USS) Apunte curso IA Primer Semestre 2011 5 / 93

La Ontologa es una rama de la Filosofa que se preocupa acerca de los

M. Ramrez K. (USS) Apunte curso IA Primer Semestre 2011 6 / 93

El proposito de la Ontologa en el campo de la IA es proveer un

M. Ramrez K. (USS) Apunte curso IA Primer Semestre 2011 7 / 93

M. Ramrez K. (USS) Apunte curso IA Primer Semestre 2011 8 / 93

Que se utiliza en una ontologa superior?

M. Ramrez K. (USS) Apunte curso IA Primer Semestre 2011 9 / 93

M. Ramrez K. (USS) Apunte curso IA Primer Semestre 2011 10 / 93

Terrestre Areo Martimo

Bicicleta Automvil Motocicleta Avin Helicptero Lancha Bote

Mazda 323 Boeing 737

M. Ramrez K. (USS) Apunte curso IA Primer Semestre 2011 11 / 93

Vehculo clase (concepto)

subclase de subclase de subclase de

Bicicleta Automvil Motocicleta Avin Helicptero Lancha Bote

M. Ramrez K. (USS) Apunte curso IA Primer Semestre 2011 12 / 93

Vehculo pasa a ser el concepto general sobre el cual hacemos la

M. Ramrez K. (USS) Apunte curso IA Primer Semestre 2011 13 / 93

M. Ramrez K. (USS) Apunte curso IA Primer Semestre 2011 14 / 93

Organizar los objetos en categoras es vital:

M. Ramrez K. (USS) Apunte curso IA Primer Semestre 2011 15 / 93

Dos opciones para representar categoras:

M. Ramrez K. (USS) Apunte curso IA Primer Semestre 2011 16 / 93

Las categoras tambien son utiles para simplificar el conocimiento:

Por ejemplo, en Biologa se intenta proporcionar una taxonoma para todas

M. Ramrez K. (USS) Apunte curso IA Primer Semestre 2011 17 / 93

La LPO y la teora de conjuntos hacen simple el proceso de hacer

M. Ramrez K. (USS) Apunte curso IA Primer Semestre 2011 18 / 93

Un objeto es miembro de una categora

Una categora es subclase de otra categora

Miembros de una categora tienen propiedades

M. Ramrez K. (USS) Apunte curso IA Primer Semestre 2011 19 / 93

Que pasa con las sub-clasificaciones que aparentemente guardan relacion

En ningun momento se esta afirmando que un objeto que pertenezca

M. Ramrez K. (USS) Apunte curso IA Primer Semestre 2011 20 / 93

Dos categoras son disjuntas si no tienen miembros en comun.

M. Ramrez K. (USS) Apunte curso IA Primer Semestre 2011 21 / 93

M. Ramrez K. (USS) Apunte curso IA Primer Semestre 2011 22 / 93

Problematizacion asociada con los lenguajes de representacion de

M. Ramrez K. (USS) Apunte curso IA Primer Semestre 2011 23 / 93

M. Ramrez K. (USS) Apunte curso IA Primer Semestre 2011 24 / 93

Un objeto es miembro de una categora

Una categora es subclase de otra categora

Miembros de una categora tienen propiedades

M. Ramrez K. (USS) Apunte curso IA Primer Semestre 2011 25 / 93

El significado de algun objeto se puede expresar o inferir a traves de

M. Ramrez K. (USS) Apunte curso IA Primer Semestre 2011 26 / 93

Nieve: es fra de temperatura , es de color blanco, forma de hielo, a

M. Ramrez K. (USS) Apunte curso IA Primer Semestre 2011 27 / 93

Existen evidencias psicologicas que los seres humanos: