Intention is choice with commitment
Artificial Intelligence
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
Detecting & exploiting positive goal interaction in intelligent agents
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Dynamics of declarative goals in agent programming
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Hierarchical planning in BDI agent programming languages: a formal approach
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Goal-oriented modularity in agent programming
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Prototyping 3APL in the Maude term rewriting language
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Plan patterns for declarative goals in AgentSpeak
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Planning with time limits in BDI agent programming languages
CATS '07 Proceedings of the thirteenth Australasian symposium on Theory of computing - Volume 65
Goals in the context of BDI plan failure and planning
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Goals in agent systems: a unifying framework
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Towards an Ontological Account of Agent-Oriented Goals
Software Engineering for Multi-Agent Systems V
An Argumentation Based Semantics for Agent Reasoning
Languages, Methodologies and Development Tools for Multi-Agent Systems
Goal Selection Strategies for Rational Agents
Languages, Methodologies and Development Tools for Multi-Agent Systems
Goals in conflict: semantic foundations of goals in agent programming
Autonomous Agents and Multi-Agent Systems
Strategic Agent Communication: An Argumentation-Driven Approach
Declarative Agent Languages and Technologies VI
Justifying Actions by Accruing Arguments
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
Rule-based agents in temporalised defeasible logic
PRICAI'06 Proceedings of the 9th Pacific Rim international conference on Artificial intelligence
Prototyping 3APL in the Maude term rewriting language
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Composing high-level plans for declarative agent programming
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Towards alternative approaches to reasoning about goals
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
A logical framework for prioritized goal change
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Agent programming via planning programs
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
A BDI agent programming language with failure handling, declarative goals, and planning
Autonomous Agents and Multi-Agent Systems
Operational behaviour for executing, suspending, and aborting goals in BDI agent systems
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
Subgoal semantics in agent programming
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
Implementing validated agents behaviours with automata based on goal decomposition trees
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
Programming declarative goals using plan patterns
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
A dynamic logic programming based system for agents with declarative goals
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Prioritized goals and subgoals in a logical account of goal change – a preliminary report
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
An operational semantics for the goal life-cycle in BDI agents
Autonomous Agents and Multi-Agent Systems
Hi-index | 0.00 |
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programming context can be defined in various ways. This paper defines two semantics for goals, with one based on default logic. The semantics are partly motivated by an analysis of other proposals that have been done in the literature. Further, we establish relations between and properties of these semantics.