Model Based Reasoning in Science and Engineering. Cognitive Science, Epistemology, Logic

TitleA Diagrammatic Proof Search Procedure as Part of a Formal Approach to Problem Solving
Publication TypeBook Chapter (with title)
Year of Publication2006
AuthorsBatens, D
Secondary AuthorsMagnani, L
Book TitleModel Based Reasoning in Science and Engineering. Cognitive Science, Epistemology, Logic
Pages265–284
PublisherKing's College Publications
Abstract

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.

Citation KeyD:vddiag
Download PDF (Author PDF)
PDF author (public):