Broad Area Colloquium For AI-Geometry-Graphics-Robotics-Vision

Success of Default Logic

Vladimir Lifschitz
Monday, June2, 2003
4:15 pm, TCSeq 200


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.

Back to the Colloquium Page