The RatioLog Project: Rational Extensions of Logical Reasoning

no code implementations • 20 Mar 2015 • Ulrich Furbach, Claudia Schon, Frieder Stolzenburg, Karl-Heinz Weis, Claus-Peter Wirth

Moreover, we use integrated case-based reasoning and machine learning techniques on the basis of the semantic structure of the questions and answer candidates to learn giving the right answers.

BIG-bench Machine Learning Common Sense Reasoning +5

Automation of Mathematical Induction as part of the History of Logic

no code implementations • 24 Sep 2013 • J Strother Moore, Claus-Peter Wirth

We review the history of the automation of mathematical induction

Mathematical Induction

David Poole's Specificity Revised

no code implementations • 22 Aug 2013 • Claus-Peter Wirth, Frieder Stolzenburg

In the middle of the 1980s, David Poole introduced a semantical, model-theoretic notion of specificity to the artificial-intelligence community.

Relation Specificity

A Simplified and Improved Free-Variable Framework for Hilbert's epsilon as an Operator of Indefinite Committed Choice

no code implementations • 13 Apr 2011 • Claus-Peter Wirth

Free variables occur frequently in mathematics and computer science with ad hoc and altering semantics.

Lectures on Jacques Herbrand as a Logician

1 code implementation • 26 Feb 2009 • Claus-Peter Wirth, Joerg Siekmann, Christoph Benzmueller, Serge Autexier

We give some lectures on the work on formal logic of Jacques Herbrand, and sketch his life and his influence on automated theorem proving.

Automated Theorem Proving Formal Logic +2