Department of Computer Engineering
Solving the Frame Problem
University of Texas at Austin
The frame problem is the problem of formalizing the "commonsense law of inertia," which asserts that properties of the world tend to remain unchanged as time goes by. This is an important problem in the area of knowledge representation -- the part of Artificial Intelligence that deals with representing declarative knowledge in formal languages. In this talk, I will outline a solution to the frame problem, proposed by Norman McCain and Hudson Turner, which is based on a nonmonotonic causal logic.
DATE: May 29, 2002, Tuesday @ 14:00
Vladimir Lifschitz received a degree in Mathematics from the Steklov Mathematical Institute in St. Petersburg, Russia in 1971. He is Gottesman Family Centennial Professor in Computer Sciences at the University of Texas at Austin and a Fellow of the American Association for artificial Intelligence. His current research interests include logic programming and formalizing commonsense knowledge. He is an editorial advisor of the journal Theory and Practice of Logic Programming and serves on the editorial boards of the journal Artificial Intelligence and of the Journal of Automated Reasoning.