You are here

Plans, Actions and Dialogue using Linear Logic

SSP Seminar Series
Lucas Dixon

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 as well as agent interaction in the semantic web.

Date and time: 
Tuesday, 24 February, 2009 - 11:00
60 minutes