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:

El nivel del conocimiento real

Esquema general de la representacin

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

tenemos un problema, lo analizamos, proponemos un algoritmo, lo programamos en un lenguaje e interpretamos los resultados

Esquema general de la representacin

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:

1. 2. 3.

4.

5.

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 es-un no tenga valor asignado o hasta encontrar una respuesta:

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)
gobernante(Csar)

4. Csar fue un gobernante. 5. Todos los romanos o eran leales a Csar o le odiaban.
x : romano(x) leal(x, Csar) odia(x, Csar) x : y : leal(x, y)

6. Todo el mundo es leal a alguien.

7. La gente slo intenta asesinar a los gobernantes a los que no es leal. 8. Marco intent asesinar a Csar.
intenta_asesinar(Marco, Csar).

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

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.