Broad Area Colloquium For AI-Geometry-Graphics-Robotics-Vision
Success of Default Logic
Vladimir Lifschitz
UTexas
Monday, June2, 2003
4:15 pm, TCSeq 200
http://robotics.stanford.edu/ba-colloquium/
Abstract
Default logic, a nonmonotonic formalism invented by Ray Reiter, has had
a significant impact on two subareas of AI. In logic programming, it has
led to the invention of the "answer set" semantics of negation as failure,
and to the emergence of a new approach to solving combinatorial search
problems, called answer set programming. In the theory of commonsense
knowledge, default logic was instrumental in solving the frame problem and
resolving several other difficulties related to properties of actions.
This talk will discuss some of these developments.
About the Speaker
Vladimir Lifschitz is Gottesman Family Centennial Professor in Computer
Sciences at the University of Texas at Austin. He studied logic in
Leningrad, USSR (now St. Petersburg, Russia) in the 1960s, and he started
working in the area of AI at Stanford, as John McCarthy's associate, in
1984. He is interested in the automation of commonsense reasoning and in
answer set programming.
Contact: bac-coordinators@cs.stanford.edu
Back to the Colloquium Page