home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / ont / events / 560 < prev    next >
Encoding:
Internet Message Format  |  1992-11-17  |  1.7 KB
  1. Path: sparky!uunet!utcsri!neat.cs.toronto.edu!veronica
  2. Newsgroups: ont.events,ut.dcs.seminars,ut.dcs.ai
  3. From: veronica@cs.toronto.edu (Veronica Archibald)
  4. Subject: Ray Reiter, 3 December 1992: AI
  5. Message-ID: <92Nov17.171859est.47906@neat.cs.toronto.edu>
  6. Date: 17 Nov 92 22:19:10 GMT
  7. Lines: 34
  8.  
  9.  
  10.            Department of Computer Science, University of Toronto
  11.               (GB = Galbraith Building, 35 St. George Street)
  12.  
  13.        -------------------------------------------------------------
  14.  
  15.                                     AI
  16.                    GB221, at 11:00 a.m., 3 December 1992
  17.  
  18.                                 Ray Reiter
  19.   University of Toronto and The Canadian Institute for Advanced Research
  20.  
  21.              " HOW I LEARNED TO LOVE THE SITUATION CALCULUS "
  22.  
  23. The situation calculus has had a bad press in AI circles, and no press at
  24. all in the computer science community at large. This talk attempts to set
  25. the record straight. I shall argue that, contrary to the prevailing view in
  26. AI, the situation calculus is an extremely valuable formalism for
  27. representing and reasoning about change, provided a suitable solution to
  28. the frame problem has been found. Towards that end, I shall first describe
  29. an approach to the frame problem suitable for primitive, determinate
  30. events.  On the basis of these ideas, I shall then describe three
  31. applications:
  32.  
  33. 1. Specifying database evolution.
  34.  
  35. 2. Procedure specifications in software engineering (joint work with Alex
  36.    Borgida and John Mylopoulos).
  37.  
  38. 3. A theory of complex events, defined in terms of primitive,
  39.    determinate events. This provides the basis of a novel programming
  40.    language for discrete event simulation and the control of high-level
  41.    robot actions (joint work with Hector Levesque and Fangzhen Lin).
  42.  
  43.