Journal of Logic, Language and Information

, Volume 18, Issue 2, pp 251–289

Plans, Actions and Dialogues Using Linear Logic

Article

DOI: 10.1007/s10849-008-9079-0

Cite this article as:
Dixon, L., Smaill, A. & Tsang, T. J of Log Lang and Inf (2009) 18: 251. doi:10.1007/s10849-008-9079-0

Abstract

We describe how Intuitionistic Linear Logic can be used to provide a unified logical account for agents to find and execute plans. This account supports the modelling of agent interaction, including dialogue; allows agents to be robust to unexpected events and failures; and supports significant reuse of agent specifications. The framework has been implemented and several case studies have been considered. Further applications include human–computer interfaces as well as agent interaction in the semantic web.

Keywords

Dialogue Planning Linear Logic Agents 

Copyright information

© Springer Science+Business Media B.V. 2009

Authors and Affiliations

  1. 1.University of EdinburghEdinburghUK