Matchmaking of Goals in Intelligent Agents Based on Description Logics (DLs)

Intelligent agents are an important technology, and have many significant applications in wide range of domains. In a goal-driven intelligent agent system, goal is an important concept, where an intelligent agent with a certain goal typically has to satisfy its goal description. In other words, goal matchmaking is one of the major problems in the area of intelligent agent systems. In this paper, we address the problem of matchmaking from a knowledge representation perspective, with a formalization based on description logics (DLs), which is a formal tool of knowledge representation and reasoning. Using effective reasoning capability of description logics (DLs), especially its effective judgment to concept subsumption, we combine the description logics (DLs) and goal reasoning. We also present reasonable algorithms for goal matchmaking based on the devised inferences, and prove that they obey to some commonsense properties. Finally, we report on the implementation of the proposed matchmaking framework, which has been used in migrating workflow systems (MWfM).