Kurt Ammon

  • Citations Per Year
Learn More
The SHUNYATA program constructs proof methods by analyzing proofs of simple theorems in mathematical theories such as group theory and uses these methods to form prooh of new theorems in the same or in other theories. Such methods are capable of generating proo& of theorems whose complexity represents the state of the art in automated theorem proving. They(More)
  • Kurt Ammon
  • Annals of Mathematics and Artificial Intelligence
  • 1993
This paper introduces a learning procedure whose input is a set of data and a set of axioms giving the domains and ranges of elementary functions including predicates. It repeatedly applies these axioms to the input data, which yields more and more complex compositions of the functions. These compositions are used to form quantified propositions, set(More)