%0 Generic %D 2006 %T A Diagrammatic Proof Search Procedure as Part of a Formal Approach to Problem Solving %A Batens, Diderik %E Magnani, Lorenzo %X

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.

%B Model Based Reasoning in Science and Engineering. Cognitive Science, Epistemology, Logic %I King's College Publications %P 265–284 %G eng