Plan generation and plan execution in agent programming

Authors:
M. Birna van Riemsdijk;Mehdi Dastani
Affiliations:
Institute of Information and Computing Sciences, Utrecht University, The Netherlands;Institute of Information and Computing Sciences, Utrecht University, The Netherlands
Venue:
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Year:
2006

Citing 11
Cited 0

Agent-oriented programming

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
ConGolog, a concurrent programming language based on the situation calculus

Artificial Intelligence
Mathematical Theory of Program Correctness

Mathematical Theory of Program Correctness
Agent Programming in 3APL

Autonomous Agents and Multi-Agent Systems
An architecture for Real-Time Reasoning and System Control

IEEE Expert: Intelligent Systems and Their Applications
A Formal Specification of dMARS

ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
Programming BOID-Plan Agents: Deliberating about Conflicts among Defeasible Mental Attitudes and Plans

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Detecting & avoiding interference between goals in intelligent agents

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Reactive reasoning and planning

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Dynamic logic for plan revision in intelligent agents

CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents two approaches for generating and executing the plans of cognitive agents. They can be used to define the semantics of programming languages for cognitive agents. The first approach generates plans before executing them while the second approach interleaves the generation and execution of plans. Both approaches are presented formally and their relation is investigated.