Connection Method

Wolfgang Bibel, Christoph Kreitz.

Scholarpedia, 4(1):6816, 2009.


Abstract

The connection method (CM) provides a general framework for automated deduction. It differs from similar deductive frameworks, (such as resolution or tableaux), through its unique feature of establishing the truth of a statement by a thorough analysis of the syntactic structure of the statement, without cost-intensive search for some derivation in the traditional sense of logic. It may thus be termed a "derivationless" deductive method. From the result of the analysis a variety of possibly different derivations may be extracted if desired.


PS Version PDF Version   BACK
Back to overview of papers


Bibtex Entry

@Article{ar:BibelKreitz08a, author = "Wolfgang Bibel and Christoph Kreitz", title = "Connection Method", journal = "Scholarpedia", year = 2009, volume = "4", number = "1", pages = "6816", }