TY - Generic T1 - A Diagrammatic Proof Search Procedure as Part of a Formal Approach to Problem Solving Y1 - 2006 A1 - Batens, Diderik ED - Magnani, Lorenzo AB -
This paper aims at describing a goal-directed and diagrammatic method for proof search. The method (and one of the logics obtained by it) is particularly interesting in the context of formal problem solving. A typical property is that it consists of attempts to justify so-called bottom boxes by means of premise elements (diagrammatic elements obtained from premises) and logical elements. Premises are not preprocessed, whence most premises lead to a variety of premise elements.
JA - Model Based Reasoning in Science and Engineering. Cognitive Science, Epistemology, Logic PB - King's College Publications SP - 265–284 ER -