Abstract:

Aimed to two major problems: one is not decidable and the other is no clear semantics. We construct a framework with explicit representation and formal semantics of goalsgoal description logics (GDLs), which integrates two types of goals: declarative goals and procedural goals into one concept based on description logics(DLs). In addition, the goal plan is defined and analyzed, and some reasoning problems, such as goal consistency and goal satisfiability, are discussed. Contrary to traditional ways of goal description, GDLs can bridge the gap between theory and practice in a natural way.

Key words:  agent; description logics(DLs); goal representation; goal reasoning; migrating workflow