University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

Oxford Quantum Talks Archive

Plans, actions and dialogue using linear logic

Lucas Dixon, University of Edinburgh
Flowin'Cat 2010, October 2010, University of Oxford

I will describe a framework, based on Linear Logic, for finding and executing plans that include dialogue. In particular, this provides a model that gives significant reuse of agent specifications and makes agents robust to unexpected events and failures. Using Linear Logic as the foundational machinery improves upon previous dialogue systems by providing a clear underlying logical model for both planning and execution. The resulting framework has been implemented and several case studies have been considered. Further applications include human-computer interfaces, agent interaction in the semantic web, and of course generalisations to other monoidal categories and graphical languages.

[video] [streaming video] [slides]