Path: utzoo!utgpu!watmath!watdragon!anatrudel
From: anatrudel@watdragon.waterloo.edu (Andre Trudel)
Newsgroups: comp.ai
Subject: standard temporal examples
Message-ID: <11999@watdragon.waterloo.edu>
Date: 3 Mar 89 20:28:51 GMT
Distribution: comp
Organization: U of Waterloo, Ontario
Lines: 17


In the non-monotonic literature there are standard examples. For example,
the `birds fly problem'.

Are there any standard examples in the temporal representation and reasoning
literature? The `Yale shooting problem' is the only one i know of for
temporal reasoning. 

Or, does anybody have interesting and/or challenging examples for a temporal
logic?


The reason for the request is that i'm writing up my thesis and need some
examples.

Thanks
Andre