Signature Entrenchment and Conceptual Changes in Automated Theory Repair

Xue Li, Alan Bundy, Eugene Philalithis

Human beliefs change, but so do the concepts that underpin them. The recent Abduction, Belief Revision and Conceptual Change (ABC) repair system combines several methods from autom…