[Pl-seminar] Bill Rounds on Spatial Logic at Harvard, 12/14

[Mitchell Wand]

On 11/18/2005 Carol Harlow wrote:

> Harvard University
> Computer Science Colloquium Series
> 33 Oxford St.
> Cambridge, MA 02138
>
> Colloquium
>
> Games, Planning, Categorial Grammars, and Control of Discrete Event  
> Systems
>
>
> Bill Rounds
> AI Laboratory, EECS Department
> University of Michigan
>       Thursday, December 15, 2005
> 4:00PM
> Maxwell Dworkin G125
> (Ice Cream at 3:30PM - Maxwell Dworkin 2nd Floor Lounge Area)
>   Abstract
> What single thing could link all of these topics together? In this  
> talk I'll introduce
> ``spatial logic'', a logic in which you can form the parallel  
> composition of two formulas. This is an idea which goes at least back  
> to 1958, with Lambek's categorial grammar. When you combine spatial  
> logic with temporal logic, you get a specification language in which  
> you can describe desired properties of a controlled system, where you 
> have to build a controller to run in  parallel with a given ``plant'' 
> so that the combined controlled system has certain  temporal 
> properties. I'll indicate why a fragment of this logic has  the 
> ``finite model property'', allowing for automatic synthesis of a  
> control strategy (plan). This involves using tree automata and games,  
> a solution method going back to Rabin's 1971 work on
> decidability of monadic second-order logic.
>
> URL:
> http://ai.eecs.umich.edu/people/rounds
>
> Host:    Professor Stuart Shieber
>
> -- 
> Carol Harlow
> Harvard University
> Maxwell Dworkin 343
> 33 Oxford Street
> Cambridge, MA  02138
> 617) 496-1440
> Fax (617) 496-6404
>

-------------- next part --------------
HTML attachment scrubbed and removed