Plan-belief Revision in Jason

Andreas Schmidt Jensen, Jørgen Villadsen


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.


  1. Alchourron, C. E., Gärdenfors, P., and Makinson, D. (1985). On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 50(2):510-530.
  2. Alechina, N., Bordini, R. H., Hübner, J. F., Jago, M., and Logan, B. (2006a). Automating belief revision for AgentSpeak. In Proceedings of the 4th International Conference on Declarative Agent Languages and Technologies, DALT'06, pages 61-77. Springer.
  3. Alechina, N., Jago, M., and Logan, B. (2006b). Resourcebounded belief revision and contraction. In Proceedings of the Third International Conference on Declarative Agent Languages and Technologies, DALT'05, pages 141-154. Springer.
  4. Alechina, N., Jago, M., and Logan, B. (2008). Preferencebased belief revision for rule-based agents. Synthese, 165(1):159-177.
  5. Bordini, R. H., Wooldridge, M., and Hübner, J. F. (2007). Programming Multi-Agent Systems in AgentSpeak using Jason. John Wiley & Sons.
  6. Doyle, J. (1977). Truth maintenance systems for problem solving. In Proceedings of the Fifth International Joint Conference on Artificial Intelligence, IJCAI 77, page 247.
  7. Fuzitaki, C., Moreira, l., and Vieira, R. (2010). Ontology reasoning in agent-oriented programming. In da Rocha Costa, A., Vicari, R., and Tonidandel, F., editors, Advances in Artificial Intelligence - SBIA 2010, volume 6404 of Lecture Notes in Computer Science, pages 21-30. Springer.
  8. Jensen, A. S. and Villadsen, J. (2012). Paraconsistent computational logic. In Blackburn, P., Jørgensen, K. F., Jones, N., and Palmgren, E., editors, 8th Scandinavian Logic Symposium, pages 59-61. Scandinavian Logic Society.
  9. Klapiscak, T. and Bordini, R. H. (2009). JASDL: A practical programming approach combining agent and semantic web technologies. In Baldoni, M., Son, T. C., Riemsdijk, M. B., and Winikoff, M., editors, Declarative Agent Languages and Technologies VI, pages 91- 110. Springer.
  10. Mascardi, V., Ancona, D., Bordini, R. H., and Ricci, A. (2011). CooL-AgentSpeak: Enhancing AgentSpeakDL agents with plan exchange and ontology services. IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 2:109- 116.
  11. Nguyen, H. H. (2009). Belief revision in a fact-rule agent's belief base. In Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications, KES-AMSTA 7809, pages 120-130. Springer.
  12. Spurkeland, J., Jensen, A., and Villadsen, J. (2013). Belief revision in the GOAL agent programming language. ISRN Artificial Intelligence, 2013.
  13. Villadsen, J. (2005). Supra-logic: Using transfinite type theory with type variables for paraconsistency. Journal of Applied Non-Classical Logics, 15(1):45-58.

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

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,},

in EndNote Style

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