科研之友
微信
新浪微博
Facebook
分享链接
摘要
Goals, which can be described as states that an agent would like to realize, is an important concept for intelligent agent systems. The representation of goals and the ability to reason about them are the major problems in goal-oriented analysis and modeling techniques, especially in intelligent agent system, as goals are more stable than other abstractions (e.g. user stories). Description Logics (DLs) is a formal tool of knowledge representation and reasoning. In this paper, we construct a framework with explicit representation and formal semantics of goals-Goal Description Logics (GDLs), which integrates two aspects of goals: declarative (a description of the state of sought), and procedural (a set of plans for achieving the goal), into one concept based on Description Logics (DLs). In addition, goals reasoning, especially goal matchmaking in GDLs, is studied using its effective judgment to concept subsumption. We propose a conceptual model of goal-based migration workflow system (GMWfS) based on GDLs, and illustrate an application. We also present preliminary experimental results on an implementation of these ideas. Compared to traditional workflow methods, GOMWfS is more flexible and intelligent.
- 出版日期2010-12
- 单位山东财经大学; 山东大学
