22 May 2017: Xue Li

Evolving Logical Theories by Combining Reformation and Belief Revision

(*This talk will be given as my first year review.)

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 project aims to establish a framework for aligning these two techniques in one system for evolving logical theories. First-order logic (FOL) will be used as the underlying logic for the representation of theories in this project, but the proposed technique has the potential to be adapted to other logics.