22 January 2018: Xue Li

Title:     Evolving Logical Theories by Combining Reformation and Belief Revision

Abstract:

Belief revision studies reasoning with changing information by deleting or adding beliefs and maintaining a consistent belief system.   Reformation changes the representation of a belief by blocking or unblocking proofs of it. These two kinds of changes are complementary: the former one changes a belief as a whole, and the latter one changes the signature of the theory, but they have not been combined into one mechanism.  My work aims to establish a framework for aligning these two techniques in one system for evolving logical theories.  In this talk, I will present current progress and following challenges.