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. Jan 22 2017 14.00 - 15.00 22 January 2018: Xue Li Evolving Logical Theories by Combining Reformation and Belief Revision IF 4.31/4.33
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. Jan 22 2017 14.00 - 15.00 22 January 2018: Xue Li Evolving Logical Theories by Combining Reformation and Belief Revision IF 4.31/4.33
Jan 22 2017 14.00 - 15.00 22 January 2018: Xue Li Evolving Logical Theories by Combining Reformation and Belief Revision