Representacin del

Conocimiento
Introduccin
Inteligencia Artificial
Luis Villaseor Pineda

Conocimiento?
Definiciones de conocimiento

m. Accin y resultado de conocer.

Entendimiento, inteligencia.
Facultad de entender y juzgar las cosas.
Conciencia, sentido de la realidad:
perder alguien el conocimiento.
pl. Ciencia, conjunto de nociones e ideas que se tiene sobre
una materia:
tiene conocimientos bsicos de alemn.

Conocimiento?

Definiciones de conocimiento:

es un conjunto de datos sobre hechos, verdades o de informacin

almacenada a travs de la experiencia o del aprendizaje (a
posteriori), o a travs de introspeccin (a priori). El conocimiento
es una apreciacin de la posesin de mltiples datos
interrelacionados que por s solos poseen menor valor cualitativo.
Significa, en definitiva, la posesin consciente de un modelo de la
realidad.
es el conjunto organizado de datos e informacin destinados a
resolver un determinado problema.

Para qu?

Saber para actuar en

consecuencia

Para qu?

Saber para actuar en consecuencia

Tipos de conocimiento
Existen tipos de conocimiento?
Por cmo se percibe

Vista, Odo, Tacto, Gusto, Olfato

Por cmo se modifica

Por lo que representa
etc. etc.

Tipos de conocimiento

Lenguaje

El vehculo de informacin ms complejo

Diferentes niveles de representacin lxico, sintctico, semntico, pragmtico

Ontologas

Tipos de conocimiento

La comunicacin, el dilogo

El lenguaje mismo, que trminos y en que circunstancias usarlo

La filosofa del lenguaje

Hablar es actuar !!

Representar una intervencin verbal como una accin

Tipos de conocimiento

Revisin del conocimiento

Conocimiento montono/no-montono
Al agregar nuevo conocimiento se modifica el estado completo

Tipos de conocimiento

Creencias

La comunicacin es la construccin de un conocimiento comn

Yo creo que tu crees lo que yo creo

Lgicas modales

Tipos de conocimiento

Accin

A toda accin corresponde una reaccin

Como representar las condiciones de xito y sus consecuencias

Sistemas de reglas

Tipos de representacin
Si bien representar el conocimiento de una manera
hace la solucin ms simple, elegir una
representacin inadecuada puede hacer que la
solucin sea difcil.
Por ejemplo, hacer clculos con nmeros arbigos es
ms simple que con nmeros romanos.
No se conoce una representacin que pueda servir
para cualquier propsito.

Cmo representamos un nmero de telfono?

Cmo representamos nuestro primer beso?

Representando para resolver

Tengo 5 pesos, si compro dos manzanas a 1 peso c/u

Cunto me queda?

Tenemos datos y aplicamos una serie de operaciones sobre

ellos para resolverlo

En este caso realizamos una abstraccin y tomamos los datos

importantes para resolver el problema

Cunto dinero tengo inicialmente?

Cuntas manzanas quiero y cuanto cuestan?
Multiplicamos y restamos

Representando para resolver

No fue necesario pensar en manzanas para resolverlo, slo en

enteros y a ellos les aplicamos una serie de operaciones bien
conocidas

El verbo [comprar] estrictamente hablando nunca fue

representado pero fue indispensable para saber lo que se
deseaba hacer con los datos.

Necesitamos conocimiento y mecanismos para manipularlo y

as resolver el problema

en el caso de los humanos esta distincin no es fcil, es por ello que no es algo
obvio para nosotros hacer esta diferencia

Dos niveles:

Esquema general de la representacin

El nivel del conocimiento real

El nivel del formalismo abstraccin

Hechos: verdades en un cierto mundo.

Es aquello que queremos representar.

Esquema general de la representacin

Hechos: verdades en un cierto mundo.

Es aquello que queremos representar.

Representaciones de los hechos en un

determinado formalismo. stas son las
entidades que realmente seremos
capaces de manipular.

Esquema general de la representacin

Caso concreto: la programacin

Esquema general de la representacin

tenemos un problema, lo analizamos, proponemos un algoritmo, lo

programamos en un lenguaje e interpretamos los resultados

Propiedades de un Sistema de
Representacin completo

Suficiencia de la representacin: La capacidad de

representar todos los tipos de conocimiento
necesarios en el dominio.

Suficiencia deductiva: La capacidad para manipular

las estructuras de la representacin con el fin de
obtener nuevas estructuras que correspondan con un
nuevo conocimiento deducido a partir del antiguo.

Propiedades de un Sistema de
Representacin completo

Eficiencia deductiva: La capacidad de incorporar

informacin adicional en las estructuras de
conocimiento con el fin de que los mecanismos de
inferencia puedan seguir las direcciones ms
prometedoras.

Eficiencia en la adquisicin: La capacidad de

adquirir nueva informacin con facilidad.

El caso ms simple es aqul en el que una persona inserta

directamente el conocimiento en la base de datos.
Idealmente, el programa sera capaz de controlar la adquisicin de
conocimiento por s mismo.

Propiedades de un Sistema de
Representacin completo

Eficiencia deductiva: La capacidad de incorporar

informacin adicional en las estructuras de
conocimiento con el fin de que los mecanismos de
inferencia puedan seguir las direcciones ms
Desgraciadamente an no existe dicho sistema
prometedoras.

Eficiencia en la adquisicin: La capacidad de

adquirir nueva informacin con facilidad.

El caso ms simple es aqul en el que una persona inserta

directamente el conocimiento en la base de datos.
Idealmente, el programa sera capaz de controlar la adquisicin de
conocimiento por s mismo.

Algunos ejemplos
Conocimiento relacional
Marco conocimiento heredable
Redes semnticas
Conocimiento Deductivo

Conocimiento relacional simple

Columnas que identifican atributos de un objeto (fila)

Problemas: altamente estructurado

Conocimiento heredable

Se trata de un sistema de marcos o una red

semntica
Es a travs de atributos especiales como instanciade, es-un, tipo-de que podemos mejorar la
propagacin del conocimiento

Lo que tenemos es una jerarqua

de especializacin-generalizacin

cul es la altura de Pee Wee Reese?

cul es la altura de Pee Wee Reese?

Algoritmo: Herencia de propiedades

Para acceder al valor V de un atributo A en

una instancia I:
Encontrar I en la base de conocimiento.
Si el atributo A tiene algn valor asignado, devolver
ese valor.
En caso contrario, comprobar si el atributo
instancia tiene algn valor asignado. Si no lo tiene
entonces fallar.
En caso contrario, ir al nodo identificado por ese
valor y comprobar si all existe algn valor para el
atributo A. Si lo hay, devolverlo.
En caso contrario, repetir hasta que el atributo esun no tenga valor asignado o hasta encontrar una
respuesta:

1.
2.
3.

4.

5.

Obtener el valor del atributo es-un e ir a ese nodo.

Comprobar si el atributo A tiene algn valor. Si lo
tiene, devolverlo.

Conocimiento Deductivo
1. Marco era un hombre.
hombre(Marco)

2. Marco era un pompeyano.

pompeyano(Marco)

3. Todos los pompeyanos eran romanos.

x : romano(x) romano(x)

4. Csar fue un gobernante.

gobernante(Csar)

5. Todos los romanos o eran leales a Csar o le odiaban.

x : romano(x) leal(x, Csar) odia(x, Csar)

6. Todo el mundo es leal a alguien.

x : y : leal(x, y)

7. La gente slo intenta asesinar a los gobernantes a los

que no es leal.

x : y : persona(x) gobernante(y) intenta_asesinar(x,y)

leal(x, y)

8. Marco intent asesinar a Csar.

intenta_asesinar(Marco, Csar).

Conocimiento Deductivo
Lgica de predicados de primer orden
El proceso de inferencia ms usado se llama
resolucin

Conocimiento deductivo heredable

Conocimiento Procedural
Existen formalismos que nos permiten expresarse el
conocimiento a travs de procedimientos

las reglas de produccin

No son mejores ni peores slo ms adecuados para

ciertos problemas

Conocimiento Procedural

Problemas: la Granularidad

a qu nivel representar nuestro dominio?

Queremos resolver el problema de los canbales con sus

nombres, o no?
Podemos representar el hecho que un canbal es un ser humano
que como seres humanos
Podemos representar el concepto de misionero como?
Podemos representar el ro a que nivel es un cauce de agua

Problemas: la Granularidad

Juan vislumbro a Mara

Vislumbrar( Juan, Mara )

Vislumbrar(x,y) ver(x,y)
Ver(Juan, Mara, breve)
Y breve?

Problemas: la Granularidad
Usar primitivas de bajo nivel nos acerca a una forma
cannica ganamos en generalidad
PERO

La cantidad de espacio para almacenar un hecho simple

El enorme trabajo a realizar en la transformacion de una representacin
en alto nivel a su forma primitiva
No siempre es claro que primitivas vamos a utilizar
Por ejemplo en el de parentesco: padre, hermano, hijo
Pero como representar primo

Hija(hermano(madre(pedro)))
Hija(hermano(padre(pedro)))

Problemas: la Granularidad
Usar primitivas de bajo nivel nos acerca a una forma
cannica ganamos en generalidad
PERO

La respuesta est generalmente en el dominio

mismo:
La cantidad de espacio para almacenar un hecho simple
para qu diablos nos sirve el conocimiento
El enorme trabajo a realizar enaadido?
la transformacion de una representacin

en alto nivel a su forma primitiva

No siempre es claro que primitivas vamos a utilizar
Por ejemplo en el de parentesco: padre, hermano, hijo
Pero como representar primo

Hija(hermano(madre(pedro)))
Hija(hermano(padre(pedro)))

Adecuar la estructura
a la circunstancia
Fui a la Oriental ayer por la noche, ped de comer y pagu la
cuenta
cen ayer?
iba acompaado?
qu com?
Seleccionar la estructura ms apropiada dependiendo de objetivo,
de la tarea a resolver.