Una taxonomía de cambios para el grafo de espacios de nombres contextuales para sistemas multi-agente en contextos múltiples

Abstract

Los agentes pueden definirse como componentes de software (programas) activos que perciben, razonan y se comunican a través de un protocolo predefinido. Muy generalmente, como en el caso de la World Wide Web, los agentes no son desarrollados en aislamiento sino como parte de un sistema multi-agente; en este caso, un agente invocará servicios de otros agentes y, a su vez, servirá a otros agentes que requieran sus servicios. Para la interoperabilidad, los agentes deben ser capaces de comunicarse con otros agentes. Surge entonces la necesidad de una lingua franca, una solución es el formato de intercambio de información (Knowledge Interchange Format, KIF). El compartir conocimiento en un grupo de agentes demanda un acuerdo acerca del significado de los símbolos. Dos problemas pueden surgir, incompatibilidad, cuando símbolos diferentes significan lo mismo, e inconsistencia, cuando los símbolos iguales significan cosas diferentes. Una solución a dichos problemas, el grafo de espacios de nombres de contextos para sistemas multi-agentes en contextos múltiples (NSCG), puede encontrarse en la literatura de agentes. En este artículo, propongo una taxonomía de cambios para el NSCG; también especifico un modelo para la semántica de los cambios de contextos basado en un conjunto de invariantes y un conjunto de reglas. Finalmente, comparo mi trabajo con los trabajos anteriores.