Tuesday, May 23. 1995
TIME: 2:15 P.M. - 3:15 P.M.
PLACE: Room 3258 AVW Bldg. University of Maryland at College Park
SPEAKER: Dr. Chitta Baral
TITLE: ``Reasoning about Actions -- A logic programming perspective''
ABSTRACT:
In this talk we discuss several aspects of reasoning about actions, such as the frame problem, the qualification problem, ramification problem, state constraints and their manifestation as qualification and ramification and actions with complex and non-deterministic effects.
We discuss certain similarities between the field of reasoning about actions and deductive databases and argue why logic programming with situation calculus notation is a good candidate to represent actions and their effects. We show how most of the (tricky) aspects of reasoning about actions mentioned above can be represented using logic programs.
Note: Papers related to this talk can be obtained from http://cs.utep.edu/chitta/chitta.html . The IJCAI95 paper is the one most relevant to this talk.
Everyone is welcome to attend.