REPRESENTACIN DEL

CONOCIMIENTO

QU MANIPULAMOS?

Conocimiento

Informacin

Datos

REPRESENTACIN DEL

CONOCIMIENTO ARTIFICIAL

En las computadoras, el conocimiento se almacena como estructuras simblicas, pero en forma de estados elctricos y magnticos.

REPRESENTACIN DEL

CONOCIMIENTO NATURAL

En forma natural, el ser humano representa el conocimiento simblicamente: imgenes, lenguaje hablado y lenguaje escrito.

Adicionalmente, ha desarrollado otros sistemas de representacin del conocimiento: literal, numrico, estadstico, estocstico, lgico.

PROPSITO DE LA INGENIERA

DEL CONOCIMIENTO

La ingeniera cognoscitiva ha adaptado diversos sistemas de representacin del conocimiento que, implantados en un computador, se aproximan mucho a los modelos elaborados por la psicologa cognoscitiva para el cerebro humano.

FORMAS DE REPRESENTACIN: LGICA SIMBLICA FORMAL

Lgica proposicional

Lgica de predicados

Reglas de produccin

1. REPRESENTACIN MEDIANTE

LGICA PROPOSICIONAL

Ms antigua y simple.

Representacin primitiva de lenguaje

Permite representar y manipular aserciones sobre el mundo que nos rodea

La proposicin es una sentencia simple que puede ser V o F

Permite el razonamiento de lo simple a lo complejo

Limitada habilidad para expresar conocimientos

hoy_es_Viernes

ayer_llovi

hace_fro

hoy_es_Viernes y hace_fro.

PROPOSICIONES SIMPLE

PROPOSICIN COMPLEJA

2. REPRESENTACIN MEDIANTE

LGICA DE PREDICADOS

Representa mejor los conocimientos.

Expresa relacin entre:

objetos (personas, animales, ) = Argumentos o trminos

cualidades y atributos = Predicados

Tiene valor de V o F

Predicado

Argumentos

Lgica proposicional es parte de la lgica de predicados

Tambin emplea la tabla de verdad

3. REPRESENTACIN MEDIANTE

REGLAS DE PRODUCCIN

Los sistemas basados en reglas son los ms comnmente utilizados.

Su simplicidad y similitud con el razonamiento humano, han contribuido para su popularidad en diferentes dominios.

Las reglas son un importante paradigma de representacin del conocimiento.

El conjunto de afirmaciones se conoce a menudo con el nombre de memoria de trabajo o base de afirmaciones.

De igual forma, al conjunto de reglas se lo denomina base de reglas.

El razonamiento puede realizar mediante encadenamiento progresivo y regresivo.

Se va estudiar en Sistemas Expertos.

REPRESENTACIN DEL CONOCIMIENTO

METODOLOGA (PREDICADOS)

METODOLOGA PARA

MANIPULAR CONOCIMIENTO

Representacin informal del problema

Representacin formal del problema (GRAFOS)

Representacin del conocimiento

Programacin: PROLOG

Validacin

Razonamiento

APLICACIN DE LA

METODOLOGA PROPUESTA

CASO

NUESTRO PROBLEMA

Homer es hijo de Nona?

Maggie es hija de Jaqueline?

Bart y Liza son hermanos?

Bart es mujer?

Maggie y Ling son hermanas?

1. REPRESENTACIN INFORMAL

2. REPRESENTACIN FORMAL

(GRAFOS)

3. REPRESENTACIN DEL

CONOCIMIENTO

Definir y optimizar

los predicados

(Ing. del Kn)

HECHOS

(PROLOG)

Definir y optimizar

las reglas

(Ing. del Kn)

REGLAS

(PROLOG)

QU PREDICADOS Y REGLAS

DEFINIMOS?

PREDICADOS REGLAS

4. DESARROLLO

5. VALIDACIN Y

RAZONAMIENTO DEL

SISTEMA

Validacin Verificar los predicados y

argumentos programados

Razonamiento

Capacidad de resolver problemas, extraer conclusiones, generar nuevos conocimientos a partir de predicados y argumentos.

Verificar resultados de las reglas a partir de informacin no explcita (predicados)

A PRACTICAR!!!