Title: Evolving Logical Theories by Combining Reformation and Belief Revision
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.
22 January 2018: Xue Li