A logic-based calculus of events
New Generation Computing
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
Applications of intelligent agents
Agent technology
An agent-based approach for building complex software systems
Communications of the ACM
Representation and reasoning for goals in BDI agents
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Some Alternative Formulations of the Event Calculus
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Agent Programming with Declarative Goals
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
A Multi-agent Negotiation Based Service Composition Method for On-demand Service
SCC '05 Proceedings of the 2005 IEEE International Conference on Services Computing - Volume 01
Towards Agent-Based Coalition Formation for Service Composition
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Commonsense Reasoning
Goals in agent systems: a unifying framework
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Obligation-Based Agent Conversations for Semantic Web Service Composition
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Goal representation for BDI agent systems
ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems
A goal deliberation strategy for BDI agent systems
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
Hi-index | 0.00 |
The goal-oriented agent programming based on BDI model is obtaining increasing attentions, because it allows us to design proactive behaviors for an agent. Generally, an agent does pursue multiple goals not only in a sequential way, but in a simultaneous mode. Accordingly, a rational agent requires that the goals pursued by it are consistent and do not conflict or even deadlock with each other. Existing strategies of goal deliberation are still not sufficient to deal with this task. This paper proposes a runtime goal conflict resolution model for agent systems, which consists of a goal state transition structure and a goal deliberation mechanism based on an extended event calculus. Besides the elaboration on the theoretical parts, a case study is also given to show how this model works. Finally the evaluation of the model is introduced, and the comparing result shows that the goal deliberation time of the agent can be decreased and fewer goal conflicts could happen in the runtime.