Plans, Actions and Dialogues Using Linear Logic

Lucas Dixon, Alan Smaill, Tracy Tsang

Research output: Contribution to journalArticlepeer-review

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.
Original languageEnglish
Pages (from-to)251-289
Number of pages39
JournalJournal of Logic, Language and Information
Volume18
Issue number2
DOIs
Publication statusPublished - 2009

Keywords / Materials (for Non-textual outputs)

  • Dialogue
  • Planning
  • Linear Logic
  • Agents

Fingerprint

Dive into the research topics of 'Plans, Actions and Dialogues Using Linear Logic'. Together they form a unique fingerprint.

Cite this