UNIVERSIDAD NACIONAL DE LOJA Area de la Energ a, las Industrias y los Recuros Naturales No Renovables Carrera de Ingenieria en Sistemas

M odulo X

Aplicabilidad en lenguajes de Inteligencia Articial de marcos. Responsable: Magaly Jim enez

Esta obra est a licenciada bajo una Licencia Creative Commons Atribuci on-No Comercial-Sin Obras Derivadas.

1.

TEMA.
Aplicabilidad en lenguajes de Inteligencia Articial de marcos.

2.

CONTENIDO.

RESUMEN Se realiza una revisi on de como los marcos o frames son aplicados en los lenguajes de programaci on que se utilizan para desarrollar aplicaciones con Inteligencia Articial entre los m as utilizados tenemos Smalltalk y Flavors. PALABRAS CLAVE: Objetos, macros, lenguaje de programaci on, Representaci on del conocimiento, Smalltalk y Flavors. ABSTRACT Is a review of how the frames or frames are applied in the programming languages used for AI applications develop among the most used Smalltalk and Flavors have. KEY WORDS: Objects, Macos, Programming Language, Knowledge Representation Smalltalk and Flavors.

3.

INTRODUCCION

Un sistema basado en conocimiento se puede denir como un sistema que resuelve problemas utilizando una representaci on simb olica del conocimiento humano [1]. La arquitectura de un sistema basado en conocimiento de alguna manera reeja la estructura cognitiva y los procesos humanos. Por ello, entre sus componentes fundamentales se encuentra la base de conocimiento, la cual encapsula en alg un formalismo de representaci on, el conocimiento del dominio que debe ser puesto en juego por el sistema para resolver el problema dado [1]. Entre los diferentes formalismos de representaci on del conocimiento destacan las reglas, las redes sem anticas, los marcos o frames, y los basados en lenguajes l ogicos, como la l ogica de predicados y sus extensiones, la l ogica modal [1].

4.

DESARROLLO

Un frame se dene como un conjunto de atributos, llamados huecos o slots, con valores asociados y posibles restricciones sobre esos valores. Cada frame puede describir alguna entidad del dominio, o puede describir alg un objeto particular [1]. La representaci on del conocimiento es un area multidisciplinaria que aplica teor as y t ecnicas de los campos de la L ogica, Ontolog as y la computaci on, as mismo la L ogica provee la estructura formal y las reglas de inferencia y sin ella no existir an criterios para determinar si hay sentencias ambiguas o redundantes [2]. Ejemplo: El sistema con Inteligencia Articial Pegagus, utiliza frames para representar el signicado de las consultas de los usuarios acerca de viajes en avi on. Casi todos los especialistas en IA consideran alg un tipo de mecanismo hereditario crucial para la programaci on en IA. Tales mecanismos son inherentes a las jerarqu as de marco de referencia y a las redes sem anticas. LISP, el principal lenguaje de la IA, no tiene incorporado ning un mecanismo de heredad, pero los programadores de IA suelen ampliar LISP incorpor andole tal caracter stica [3]. Los mecanismos de herencia se encuentran en un grupo de lenguajes de programaci on conocidos como lenguajes orientados al objeto; tambi en est an incorporados a muchas herramientas de desarrollo de IA. Los Principales lenguajes de programaci on orientados al objeto son: Smalltalk y Flavors. De estos, Smalltalk fue desarrollado principalmente para explorar y facilitar, m as que aplicaciones de IA, gr acos de alta calidad desarrollados interactivamente (hombre- m aquina). Flavors, no obstante, ha sido implementado como un paradigma de IA por encima de LISP en los ordenadores de LISP de Texas Instruments, LISP Machine Inc y Symbolics [3]. La programaci on orientada al objeto tiene dos ventajas en los desarrollos de IA: Una ventaja, como ya hemos mencionado, es que soportan mecanismos de herencia. Otra gran ventaja es su capacidad para soportar programaci on exploratoria; es importante para la IA porque los programas de IA se realizan, a menudo, sobre especicaciones no claramente denidas o se aplican a problemas no del todo comprendidos. Tanto las capacidades de herencia como las de soporte de programaci on explorativa forman parte del estilo b asico que los lenguajes orientados al objeto usan para efectuar sus funciones [3]. A trav es de los marcos podemos obtener informaci on y signicado de sus atributos, capacidades y limitaciones, tan pronto como se crean. Es decir Los marcos de referencia u objetos intuyen esta informaci on del mismo modo que las personas saben que un perro tiene su cuerpo cubierto de pelo y alimenta a sus cachorros con leche porque es un mam fero y, por tanto, hereda los atributos de la clase biol ogica((mam fero)) [3]. A continuaci on presentamos algunos lenguajes considerados como los precursores de los actuales lenguajes para la construcci on de ontolog as utilizando 3

macros: KIF (Formato para Intercambio de Conocimiento), su modelo de conocimiento incluye l ogica de primer orden, complementado con marcos. Es un lenguaje de bajo nivel pero de mayor poder expresivo, que algunos de sucesores como OKBC y Ontolingua. Fue dise nado para permitir traslaciones entre lenguajes de representaci on de conocimiento que fueran m as especializados. Fue complementado por Ontololingua que se convirti o en un est andar de facto por la comunidad ontol ogica en la d ecada de los 90, incluye una perspectiva orientada a objetos, una extensi on basada en marcos y una librer a de ontolog as [4]. KQML (Lenguaje para Manipulaci on y Consulta de Conocimiento), el cual es un protocolo de formato y manejo de mensajes, basado en KIF, para comunicaci on entre agentes. Actualmente es utilizado, y ha sido complementado por otros lenguajes de comunicaci on entre agentes [4].

5.

CONCLUSION:
El conocimiento que puede ser modelado e implementado, est an dados por los formalismos de representaci on del conocimiento como los marcos, l ogica de predicados con un el lenguaje utilizado para su implementaci on.

Referencias
[1] Moreda Pozo P., Los roles sem anticos en la tecnolog a del lenguaje humano: anotaci on y aplicaci on, Universidad de Alicante. [En linea] link: Conhttp://rua.ua.es/dspace/bitstream/10045/9598/1/tesis doctoral Paloma Moreda.pdf, sulta realizada 05-Abr-13. [2] Luzmila Pr o C., Fundamentos de Ingenier a de la Ontolog as, Web Sem antica y Agentes de Software, versidad Nacional Mayor de San Marcos. [En linea]
http://sisbib.unmsm.edu.pe/Bibvirtual/Publicaciones/risi/2010 n1/v7n1/a08v7n1.pdf,

Web: Unilink:

Consulta realizada 05-Abr-13. [3] Rauch-Hindin, Aplicaciones de la Inteligencia Articial en la Actividad Empresarial,la Ciencia y la Industria: FundamentosAplicaciones, Ediciones D az de Santos, 1989. [En linea] link: Conhttp://books.google.es/books?id=LjWfRnueXrYC hl=es source=gbs navlinks s, sulta realizada 05-Abr-13. [4] M endez D., Evoluci on de los lenguajes utilizados en la construcci on de la Web Sem antica, Scientia et Technica A no XII, No 32, Diciembre de 2006. [En linea] link: http://revistas.utp.edu.co/index.php/revistaciencia/article/view/6325/3475, Consulta realizada 05-Abr-13.