Parallel program design: a foundation
Parallel program design: a foundation
Intention is choice with commitment
Artificial Intelligence
Concurrent programming: principles and practice
Concurrent programming: principles and practice
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
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
A logical approach to the dynamics of commitments
Artificial Intelligence
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
Autonomous Agents and Multi-Agent Systems
A Formal Embedding of AgentSpeak(L) in 3APL
AI '98 Selected papers from the 11th Australian Joint Conference on Artificial Intelligence on Advanced Topics in Artificial Intelligence
On the Correctness of PRS Agent Programs
ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Implementing BDI-like systems by direct execution
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Logical Foundations of Agent-Based Computing
EASSS '01 Selected Tutorial Papers from the 9th ECCAI Advanced Course ACAI 2001 and Agent Link's 3rd European Agent Systems Summer School on Multi-Agent Systems and Applications
Determining the Envelope of Emergent Agent Behaviour via Architectural Transformation
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Generalised Object-Oriented Concepts for Inter-agent Communication
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Architectures and Idioms: Making Progress in Agent Design
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Our Quest for the Holy Grail of Agent Verification
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Goal Selection Strategies for Rational Agents
Languages, Methodologies and Development Tools for Multi-Agent Systems
GOAL Agents Instantiate Intention Logic
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming
Declarative Agent Languages and Technologies VI
Goals description and application in migrating workflow system
Expert Systems with Applications: An International Journal
Executable specifications of resource-bounded agents
Autonomous Agents and Multi-Agent Systems
Agents, multi-agent systems and declarative programming: what, when, where, why, who, how?
A 25-year perspective on logic programming
Model checking agent programs by using the program interpreter
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Model checking normative agent organisations
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
Modularity and compositionality in Jason
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
Computationally Effective Reasoning About Goal Interactions
Journal of Automated Reasoning
Annals of Mathematics and Artificial Intelligence
Goal decomposition tree: an agent model to generate a validated agent behaviour
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Model checking agent programming languages
Automated Software Engineering
A model of rational agency for communicating agents
AC'04 Proceedings of the 2004 international conference on Agent Communication
Dynamics of declarative goals in agent programming
DALT'04 Proceedings of the Second 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
Evaluating agent-oriented programs: towards multi-paradigm metrics
ProMAS'10 Proceedings of the 8th international conference on Programming Multi-Agent Systems
GOAL agents instantiate intention logic
Logic Programs, Norms and Action
Logical foundations for a rational BDI agent programming language
ProMAS'11 Proceedings of the 9th international conference on Programming Multi-Agent Systems
HactarV2: an agent team strategy based on implicit coordination
ProMAS'11 Proceedings of the 9th international conference on Programming Multi-Agent Systems
Erlang as an implementation platform for BDI languages
Proceedings of the eleventh ACM SIGPLAN workshop on Erlang workshop
A Runtime Goal Conflict Resolution Model for Agent Systems
WI-IAT '12 Proceedings of the The 2012 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
Hi-index | 0.00 |
A long and lasting problem in agent research has been to close the gap between agent logics and agent programming frameworks. The main reason for this problem of establishing a link between agent logics and agent programming frameworks is identified and explained by the fact that agent programming frameworks have not incorporated the concept of a declarative goal. Instead, such frameworks have focused mainly on plans or goals-to-do instead of the end goals to be realised which are also called goals-to-be. In this paper, a new programming language called GOAL is introduced which incorporates such declarative goals. The notion of a commitment strategy - one of the main theoretical insights due to agent logics, which explains the relation between beliefs and goals - is used to construct a computational semantics forGOAL. Finally, a proof theory for proving properties of GOAL agents is introduced. An example program is proven correct by using this programming logic.