UNIVERSIDAD POLITCNICA DE FRANCISCO I.

MADERO
INGENIERA EN SISTEMAS COMPUTACIONALES MATERIA: INTELIGENCIA ARTIFICIAL TEMA : SISTEMAS BASADOS EN CONOCIMIENTO. CONCEPTO DE CONOCIMIENTO. LENGUAJES UTILIZADOS EN LA REPRESENTACIN DEL CONOCIMIENTO. NOMBRE DEL DOCENTE: ING MOISS BALTAZAR HERNNDEZ NOMBRE DE LOS INTEGRANTES: MIRIAM AGUILAR CHVEZ ULISES GUZMN LPEZ FIDEL ADRIN SANTIAGO NJERA FERNANDO JOEL VZQUEZ MORENO OCTAVO CUATRIMESTRE

GRUPO: 2

SISTEMAS BASADOS EN CONOCIMIENTO

Los mtodos generales desarrollados para la resolucin de problemas y tcnicas de bsqueda al inicio de la era de la Inteligencia Artificial demostraron no ser suficientes para resolver los problemas orientados a las aplicaciones, ni fueron capaces de satisfacer los difciles requerimientos de la investigacin. A este conjunto de mtodos, procedimientos y tcnicas, se lo conoce como Inteligencia Artificial Dbil. La principal conclusin que se deriv de este trabajo inicial fue que los problemas difciles slo podran ser resueltos con la ayuda del conocimiento especfico acerca del dominio del problema.

La aplicacin de estas ideas dio lugar al desarrollo de los denominados Sistemas Basados en Conocimiento (Knowledge Based Systems) y al aparecimiento de la Ingeniera Cognoscitiva, como una rama de la Inteligencia Artificial, que estudia los sistemas basados en el conocimiento. La definicin de un sistema basado en conocimiento puede ser la siguiente: Es un sistema computarizado capaz de resolver problemas en el dominio en el cual posee conocimiento especfico. La solucin es esencialmente la misma que hubiera dado un ser humano confrontado con idntico problema, aunque no necesariamente el proceso seguido por ambos puede ser igual.

El simple concepto dado, puede causar confusin ya que muchos sistemas basados en programas convencionales podran ser incorrectamente categorizados como sistemas basados en conocimiento. Esta inconsistencia puede ser aclarada, sobre la base de tres conceptos fundamentales que distinguen a los sistemas basados en conocimiento de los programas algortmicos convencionales y de los programas generales basados en bsqueda: Inteligencia Artificial dbil. Primero, la separacin del conocimiento y el modo en que es usado. Segundo, la naturaleza del conocimiento empleado (heurstica antes que algortmica). Tercero, El uso de conocimiento especfico de un determinado dominio.

Las caractersticas principales son: amplia difusin del conocimiento fcil modificacin respuestas coherentes disponibilidad casi completa conservacin del conocimiento capacidad de resolver problemas disponiendo de informacin incompleta

capacidad de explicar los resultados y la forma de obtenerlos

Los principales problemas asociados a este mtodo son: las soluciones no siempre son las mejores o correctas conocimiento limitado frente al dominio de un experto carecen del sentido comn o criterio que puede tener un experto es difcil extraer todo el conocimiento que maneja un experto.

Concepto de conocimiento
Es la capacidad que posee el hombre de aprehender informacin acerca de su entorno y de s mismo. En el hombre tiene la propiedad de ser sensitivo y suprasensitivo o

intelectual, a diferencia del de los animales que slo abarca el aspecto sensitivo.

Lenguajes utilizados en la representacin de conocimiento

En el caso de los sistemas basados en conocimiento, el lenguaje en el que se expresa la

ontologa debe reunir caractersticas que a veces (dependiendo del dominio) no es fcil
compatibilizar: Sintaxis formalizada, para poder disear sobre bases slidas un procesador. Semntica bien definida y que permita la implementacin procedimental en el

procesador de algoritmos de razonamiento eficientes.

Desde el punto de vista pragmtico, expresividad suficiente para representar de la manera menos forzada posible el conocimiento. Esto significa que, para una determinada conceptuacin, el lenguaje con el que se construyen los modelos en el nivel simblico debe permitir una interpretacin declarativa que represente todos los aspectos de esa conceptuacin. En la prctica puede ocurrir que no encontremos el lenguaje ideal, y tengamos que forzar la conceptuacin para que se ajuste al lenguaje elegido..

Hay lenguajes formales, o tericos, que satisfacen en mayor o menor grado esas condiciones y lenguajes de implementacin, o prcticos, que, siguiendo el modelo de algn lenguaje formal, estn adaptados para mecanizar la construccin de ontologas. Nos centraremos en los primeros, que son relativamente estables, y sobre los que se basan los segundos, algunos muy voltiles. Por ejemplo:

Prolog: es un lenguaje de implementacin de la lgica de primer orden, que en sus versiones ms recientes incluye tambin construcciones para la programacin con restricciones.

OWL (Web Ontology Language): es un lenguaje de ontolologas para la web basado en una lgica de descripciones (en realidad, son tres sublenguajes). Procede de la fusin de otros dos elaborados independientemente alrededor del ao 2000: DAML (DARPA Agent Markup Language, de la Agencia de proyectos del Ministerio de Defensa U.S.A) y OIL (Ontology Inference Layer, de un consorcio formado en el marco de los programas de la U.E.).

Hasta la segunda mitad de los aos 80 se estaban utilizando diversos lenguajes que podan clasificarse en dos tipos:

Lenguajes basados en la lgica de predicados de primer orden, con sintaxis y semntica formalizadas, con una base rigurosa para el razonamiento, pero con grandes dificultades para implementar algoritmos de razonamiento eficientes, con una rigidez sintctica que impide ciertas conceptuaciones naturales y con pocas posibilidades de modularizacin.

Lenguajes basados en modelos de psicologa que, al estar derivados del estudio de la mente humana, permiten conceptuaciones ms naturales y algoritmos de razonamiento ms eficientes, pero que tienen una sintaxis menos formalizada y carecen de una definicin semntica precisa (a pesar de que uno de ellos se llama redes semnticas).

Hay al menos cuatro razones por las que nos parece conveniente detenernos previamente en los lenguajes ms antiguos:

La lgica clsica de primer orden sigue siendo la base fundamental de las dems formulaciones de la lgica. En el diseo de muchos sistemas basados en conocimiento, especialmente los que no son muy complejos, se siguen utilizando algunos de esos lenguajes. Las ideas originales ayudan a entender y justifican ciertas decisiones de diseo. La naturaleza interdisciplinaria de estos primeros trabajos hace muy interesante su estudio.

CONCLUCION