Fast planning through planning graph analysis
Artificial Intelligence
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
Logic-based artificial intelligence
Autonomous Agents and Multi-Agent Systems
An Architecture for Normative Reactive Agents
Proceedings of the 5th Pacific Rim International Workshop on Multi Agents: Intelligent Agents and Multi-Agent Systems
The Psi Calculus: An Algebraic Agent Language
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
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
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Issues in Multiagent System Development
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Mapping Mental States into Propositional Planning
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
Temporal Development Methods for Agent-Based
Autonomous Agents and Multi-Agent Systems
Semantics of plan revision in intelligent agents
Theoretical Computer Science - Algebraic methodology and software technology
On proactivity and maintenance goals
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
A general framework for parallel BDI agents in dynamic environments
Web Intelligence and Agent Systems
Toward a programming theory for rational agents
Autonomous Agents and Multi-Agent Systems
Modelling intelligent agents for autonomic computing in the PNagent framework
International Journal of Autonomic Computing
Programming Agents with Emotions
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
A logic of emotions for intelligent agents
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Computational logic foundations of KGP agents
Journal of Artificial Intelligence Research
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
Towards alternative approaches to reasoning about goals
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Modules as policy-based intentions: modular agent programming in GOAL
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
Specifying and verifying a MAS: the robots on mars case study
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
A declarative agent programming language based on action theories
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
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
An empirical study of interest-based negotiation
Autonomous Agents and Multi-Agent Systems
A BDI agent programming language with failure handling, declarative goals, and planning
Autonomous Agents and Multi-Agent Systems
Specifying recursive agents with GDTs
Autonomous Agents and Multi-Agent Systems
Preferences of agents in defeasible logic
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Programming cognitive agents in defeasible logic
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Liberalizing protocols for argumentation in multi-agent systems
ArgMAS'05 Proceedings of the Second international conference on Argumentation in Multi-Agent Systems
Interest-Based negotiation as an extension of monotonic bargaining in 3APL
PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
Goal representation for BDI agent systems
ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems
Enacting and deacting roles in agent programming
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
Dynamics of declarative goals in agent programming
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Goal-Directed automated negotiation for supporting mobile user coordination
CONTEXT'05 Proceedings of the 5th international conference on Modeling and Using Context
An agentspeak meta-interpreter and its applications
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Programming MAS with artifacts
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
| Hi-index | 0.00 |
This paper presents the specification of a programming language for implementing the deliberation cycle of cognitive agents. The mental attitudes of cognitive agents are assumed to be represented in an object language. The implementation language for the deliberation cycle is considered as a meta-language the terms of which denote formulae from the object language. Without losing generality, we use the agent programming language 3APL as the object language. Using the meta-deliberation language, one can program the deliberation process of a cognitive agent. We discuss a set of programming constructs that can be used to program various aspects of the deliberation cycle including the planning constructs.