Cooperating reasoning processes: more than just the sum of their parts
Alan Bundy · ERA · 2007
Using the achievements of my research group over the last 30+ years, I provide evidence to support the following hypothesis:By complementing each other, cooperating reasoning process can achieve much more than they could if they only acted individually.Most of the work of my group has been on processes for mathematical reasoning and its applications, e.g. to formal methods.The reasoning processes we have studied include:Proof Search: by meta-level inference, proof planning, abstraction, analogy, symmetry, and reasoning with diagrams.