Dynamic logic for plan revision in intelligent agents

Authors:
M. Birna van Riemsdijk;Frank S. de Boer;John-Jules Ch. Meyer
Affiliations:
ICS, Utrecht University, The Netherlands;ICS, Utrecht University, The Netherlands;ICS, Utrecht University, The Netherlands
Venue:
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Year:
2004

Citing 15
Cited 5

Intention is choice with commitment

Artificial Intelligence
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
First-Order Dynamic Logic

First-Order Dynamic Logic
Dynamic Logic

Dynamic Logic
Agent Programming in 3APL

Autonomous Agents and Multi-Agent Systems
Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers

FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
A Programming Logic for Part of the Agent Language 3APL

FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Issues in Agent-Based Software Engineeing

CIA '97 Proceedings of the First International Workshop on Cooperative Information Agents
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
Model checking agentspeak

AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
A new HTN planning framework for agents in dynamic environments

CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
A compositional semantics of plan revision in intelligent agents

AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology

An epistemic logic for planning with trials

LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
A computational model for conversation policies for agent communication

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

MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
A compositional semantics of plan revision in intelligent agents

AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Plan generation and plan execution in agent programming

DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we present a dynamic logic for a propositional version of the agent programming language 3APL. A 3APL agent has beliefs and a plan. The execution of a plan changes an agent's beliefs. Plans can be revised during execution. Due to these plan revision capabilities of 3APL agents, plans cannot be analyzed by structural induction as in for example standard propositional dynamic logic. We propose a dynamic logic that is tailored to handle the plan revision aspect of 3APL. For this logic, we give a sound and complete axiomatization.