SSP Group Meeting

11am, 20 June, 2006
Room 4.03, Appleton Tower
CISA, School of Informatics
University of Edinburgh

Linear Logic for Planning Agent Dialogue

Lucas Dixon

I'll talk about a project to use intuitionistic linear logic for agents to interact. This forms a light weight dynamic protocol, where the agents only need to have a minimal shared ontology and where the resulting interaction protocol is driven by agents knowledge and thier use of it in planning.