Plan-belief Revision in Jason

Andreas Schmidt Jensen, Jørgen Villadsen

2015

Abstract

When information is shared between agents of unknown reliability, it is possible that their belief bases become inconsistent. In such cases, the belief base must be revised to restore consistency, so that the agent is able to reason. In some cases the inconsistent information may be due to use of incorrect plans. We extend work by Alechina et al. to revise belief bases in which plans can be dynamically added and removed. We present an implementation of the algorithm in the AgentSpeak implementation Jason.

Paper Citation

in Harvard Style

Jensen A. and Villadsen J. (2015). Plan-belief Revision in Jason . In Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, ISBN 978-989-758-073-4, pages 182-189. DOI: 10.5220/0005221101820189

in Bibtex Style

@conference{icaart15,
author={Andreas Schmidt Jensen and Jørgen Villadsen},
title={Plan-belief Revision in Jason},
booktitle={Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,},
year={2015},
pages={182-189},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005221101820189},
isbn={978-989-758-073-4},
}

in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,
TI - Plan-belief Revision in Jason
SN - 978-989-758-073-4
AU - Jensen A.
AU - Villadsen J.
PY - 2015
SP - 182
EP - 189
DO - 10.5220/0005221101820189