Artificial Intelligence
AgentSpeak(L): BDI agents speak out in a logical computable language
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
On the Correctness of PRS Agent Programs
ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
Agent Programming with Declarative Goals
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Agent programming in dribble: from beliefs to goals using plans
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Matchmaking of Goals in Intelligent Agents Based on Description Logics (DLs)
ICICTA '08 Proceedings of the 2008 International Conference on Intelligent Computation Technology and Automation - Volume 02
Expert Systems with Applications: An International Journal
An agent-oriented approach to process partition and planning in migrating workflow systems
Engineering Applications of Artificial Intelligence
Hi-index | 12.05 |
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.