A Preference-Based Framework for Updating Logic Programs
Speaker: Professor Torsten Schaub, University of Potsdam, Germany
When: 2006-10-05 14:00:00
Venue: N06_0.25 (Patience Thomas) Nathan campus, Griffith University.
Host: Kewen Wang
Abstract:We present a framework for updating logic programs under the
answer-set semantics that builds upon existing work on preferences
in logic programming. The approach is simple and generic, making
use of two distinct counterbalancing techniques: defaultification
and preference.
While defaultification resolves potential conflicts by inducing
complementary answer sets, preferences then select among these
answer sets, yielding the answer sets generated by those rules that
have been added more recently. We examine instances of the framework
with respect to various desirable properties; for the most part,
these properties are satisfied by instances of our
framework. Finally, the proposed framework is also easily
implementable by off-the-shelf systems.
Biography:Torsten Schaub received his diploma and dissertation in informatics
in 1990 and 1992, respectively, from the Technical University of
Darmstadt, Germany. He received his habilitation in informatics in
1995 from the University of Rennes I, France. From1990 to 1993 he
was a Researcher at the Technical University at Darmstadt. From1993
to 1995, he was a Research Associate at IRISA/INRIA at Rennes. From
1995 to 1997, he was University Professor at the University of
Angers. At Angers he founded the research group FLUX dealing with
the automatisation of reasoning from incomplete, contradictory, and
evolutive information. Since 1997, he is University Professor for
knowledge processing and information systems at the University of
Potsdam. In 1999, he became Adjunct Professor at the School of
Computing Science at Simon Fraser University. Since 2002 Torsten
Schaub serves as head of the Institute of Informatics. His
particular research interests range from the theoretic foundations
to the practical implementation of methods for reasoning from
incomplete and/or inconsistent information.
Type: IIIS seminar
Contact:Kewen Wang, seminar host (k.wang@griffith.edu.au)
or Guido Governatori (ITEE seminar co-ordinator)
(guido@itee.uq.edu.au)