ANLISIS Y REPRESENTACIN DEL CONOCIMIENTO

Cruz Mancilla Jairo Dal Escutia Hernndez Tania Garca Barrera Diana Palmira Martnez Gutirrez Moiss Prez Espinoza Virginia

QU ES?
La representacin del conocimiento y el razonamiento es un rea de la inteligencia artificial cuyo objetivo fundamental es representar el conocimiento de una manera que facilite la inferencia (es decir, sacar conclusiones) a partir de dicho conocimiento. Analiza cmo pensar formalmente - cmo usar un sistema de smbolos para representar un dominio del discurso (aquello de lo que se puede hablar), junto con funciones que permitan inferir (realizar un razonamiento formal) sobre los objetos.

Generalmente, se usa algn tipo de lgica para proveer una semntica formal de como las funciones de razonamiento se aplican a los smbolos del dominio del discurso, adems de proveer operadores como cuantificadores, operadores modales, etc. Esto, junto a una teora de interpretacin, dan significado a las frases en la lgica.

La decisin ms importante que hay que tomar es la expresividad de la representacin del conocimiento. Cuanto ms expresiva es, decir algo es ms fcil y ms compacto. Sin embargo, cuanto ms expresivo es un lenguaje, ms difcil es derivar inferencias automticamente de l. Un ejemplo de una representacin del conocimiento poco expresiva es la lgica proposicional.

JERARQUA DEL CONOCIMIENTO

Metaconocimiento : conocimiento acerca del conocimiento y la experiencia Conocimiento : informacin especializada que nos es til Informacin : datos procesados que resultan de inters Datos : elementos de inters potencial Ruido : elementos de poco inters y que ocultan datos

REPRESENTACIN DEL CONOCIMIENTO

Existen 2 tipos de representacin del conocimiento: Formal:
Reglas de produccin Lgica de predicados

No formal:
Redes semnticas Frames Tripletas Objetivo-Atributo-Valor (OAV). Scripts

REGLAS DE PRODUCCIN
Reglas de produccin: partes del conocimiento que describen alguna accin dinmica relativa al dominio de los elementos. Es una afirmacin lgica que relaciona dos o ms objetos e incluye dos partes, la premisa y la conclusin. Cada una de estas partes consiste en una expresin lgica con una o ms afirmaciones objeto-valor conectadas mediante los operadores lgicos y, o, o no.

REGLAS DE PRODUCCIN
Las reglas de produccin son la forma ms popular de representacin del conocimiento dentro del paradigma declarativo Proporcionan flexibilidad al combinar representaciones declarativas y procedurales para utilizarlas en forma unificada El conocimiento representado de esta forma resulta muy cercano al operador humano y se puede entender fcilmente. De hecho, es mucho ms inmediato que el conocimiento expresado mediante la Lgica de Predicados

Su configuracin permite construir sistemas en los que suele resultar sencillo incorporar nueva informacin o modificar la ya existente, creando o cambiando las reglas individualmente.

LGICA DE PREDICADOS
La Lgica de Predicados permite enunciar algo sobre los objetos, es decir, definir atributos y relaciones entre elementos o Permite distinguir las propiedades y relaciones de los objetos acerca de los que se asevera o afirma algo Lgica de predicados La Lgica de Predicados proporciona mecanismos para la representacin de hechos y el razonamiento se basa en la manipulacin sintctica de frmulas lgicas

TRIPLETAS OBJETIVOATRIBUTO-VALOR (OAV).

Pertenece a la no formal y permiten derivar una representacin grfica del conocimiento organizada en tres niveles: objeto compuesto de atributos que contienen valores. Ejemplo

REDES SEMNTICAS.
Ofrecen un esquema ms general y desestructurado que las tripletas OAV. Donde cada nodo representa cualquier concepto u objeto, y los arcos representan relaciones que existen entre dichos conceptos. Ejemplo:

FRAMES (MARCOS).
Un frame es una plantilla de objetos que contiene un conjunto de slots. Cada slot puede ser de alguno de los siguientes tipos: 1)un atributo simple con un valor opcional de default;

2)un procedimiento;
3)una restriccin; 4)un apuntador a otro frame. En programacin ofrece uno de los mecanismos de estructuracin ms poderosos y flexibles que existen en Inteligencia Artificial. Sin embargo, la complejidad de programar con frames puede fcilmente tornarse inadmisible e ineficiente cuando se posee poca habilidad, disciplina y conocimientos avanzados de programacin con frames.