TITLE: On Revising Fuzzy Belief Bases
PRESENTER: Richard Booth
AFFILIATION: Intelligent Systems Department, Computer Science Institute University of Leipzig Augustusplatz 10/11 04109 Leipzig, Germany (joint work with Eva Richter)
TIME: 12:00 noon - 1:00pm
PLACE: Seminar Room K17
We look at the problem of revising fuzzy belief bases, i.e., belief base revision in which both formulas in the base as well as revision input formulas can come attached with varying truth-degrees. Working within a very general framework for fuzzy logic which is able to capture certain types of uncertainty calculi as well as truth-functional fuzzy logics, we show how the idea of rational change from "crisp" base revision, as embodied by the idea of partial meet (base) revision, can be faithfully extended to revising fuzzy belief bases. We present and axiomatise an operation of partial meet *fuzzy base* revision and illustrate how the operation works in a couple of important special instances of the framework.
BIOGRAPHY OF SPEAKER:
Richard Booth gained a Master's degree in Mathematical Logic in 1995 and his PhD in 1998, both at the Mathematics Dept. of Manchester University(supervisor: Prof. Jeff Paris). He spent most of 1999 as a post-doctoral researcher at the Max Planck Institute for Computer Science in Saarbruecken, Germany. Since December 1999 he is a researcher in the Computer Science Dept. at the University of Leipzig (in the group of Prof. Dr. Gerhard Brewka). His main research interests lie in belief revision/merging, non-monotonic reasoning and reasoning under uncertainty.
School of Computer Science & Engineering, UNSW.