Estrategias De Razonanient

Implementando Múltiples Estrategias de Razonamiento en E-MOBI
Gerardo Rossel1 Andrea Manna 2
Facultad de Tecnología Informática - UAI
Departamento de Computación - FCEyN - UBA
( 1)
grossel@computer.org
( 2)
amanna@dc.uba.ar

Resumen. E-MOBI es la implementación, en el lenguaje Eiffel, de un modelo multi-paradigma para
la incorporación de procesamiento basado en reglas y conocimiento alenguajes orientados a objetos
llamado MOBI (Modelo de OBjetos Inteligentes). E-MOBI soporta múltiple herencia de conocimiento
y las principales características arquitecturales de MOBI. En este trabajo, mostramos una extensión de
E-MOBI que permite soportar diferentes estrategias de razonamiento sobre la misma base de
conocimiento. La extensión presentada permite, a su vez, que diversasinstancias de la misma clase
utilicen distintos mecanismos de razonamiento. De esta forma, podremos construir agentes inteligentes
que soporten múltiples estrategias.
Palabras Claves: Inteligencia Artificial, Ingeniería de Software, Orientación a Objetos, Agentes
Inteligentes, Estrategias de Inferencia.

1. Introducción
La variedad de problemas que pueden ser enfrentados mediante sistemas basadosen reglas exigen que
las estrategias de razonamiento puedan adaptarse para lograr un mejor resultado. Por ejemplo, el
razonamiento manejado por el objetivo (goal-driven) o encadenamiento hacia atrás, es útil cuando se
intentan resolver problemas que pueden modelarse como selección estructurada [11]. Este tipo de
problemas tratan de tomar la mejor elección (o las mejores) de un conjuntoposibilidades. Los sistemas
de diagnóstico, identificación, etc. son problemas que se ubican en esta categoría. Los problemas de
configuración, distribución o todos aquellos en los cuales no es posible o sencillo enumerar todas las
respuestas posibles, son ideales para tratarlos con un mecanismo de razonamiento de encadenamiento
hacia adelante (data-driven). El ejemplo más emblemático de lautilización de encadenamiento hacia
adelante, es el sistema de Digital Equipament Corporation XCON, originalmente denominado R1 [13],
y que permite establecer configuraciones de computadoras.
Un agente inteligente que cuente con procesamiento basado en reglas puede necesitar, en determinados
contextos, aplicar diversas estrategias, e incluso varias simultáneamente. Proveer un mecanismo que
permitaseleccionar la estrategia de razonamiento más adecuada, aumenta considerablemente la
potencia de los agentes.
Tomaremos como base nuestro desarrollo llamado E-MOBI [1], cuya base de conocimiento está
implementada como cláusulas de Horn y utiliza SLD resolution (Linear resolution for Definite clauses
with Selection function)[2][3] como mecanismo de inferencia. Modificaremos el diseño original paraposibilitar la creación de agentes inteligentes con múltiples estrategias de razonamiento. Es importante

CACIC 2003 - RedUNCI

648

notar que además es posible, con la misma arquitectura que proponemos, utilizar diversas funciones de
selección.
El objetivo de este trabajo, es mostrar una solución que no solamente permita la implementación de
múltiples estrategias de razonamiento, sinoque además dicha solución sea extensible y pueda
evolucionar conforme cambie el contexto y los requerimientos.
La estructura del trabajo es la siguiente: primero mostraremos brevemente los aspectos relevantes de EMOBI, luego las soluciones de diseño que nos permitirían incorporar diversas estrategias de
razonamiento. Posteriormente, mostraremos como es posible que varias instancias de una clasemantengan diversas estrategias y como esto facilita la construcción de agentes inteligentes con
múltiples estrategias. Por último, presentamos algunas conclusiones y el trabajo futuro. Todas las
explicaciones están acompañadas de fragmentos de código para clarificar los conceptos.

2. E-MOBI
E-MOBI [1] es una implementación de MOBI (Modelo de OBjetos Inteligentes) realizada en el...