Notes on the Constructive Omega-rule and a New Method of Generalisation
Author : Siani Baker
Publisher :
Page : pages
File Size : 47,69 MB
Release : 1991
Category :
ISBN :
Author : Siani Baker
Publisher :
Page : pages
File Size : 47,69 MB
Release : 1991
Category :
ISBN :
Author : Andrei Voronkov
Publisher : Springer Science & Business Media
Page : 532 pages
File Size : 17,3 MB
Release : 1992-07
Category : Computers
ISBN : 9783540557272
This volume contains the proceedings of LPAR '92, the international conference on logic programming and automated reasoning held in St. Petersburg in July 1992. The aim of the conference was to bring together researchers from the Russian and the international logic programming and theorem proving communities. The topics of interest covered by papers inthe volume include automated theorem proving, non-monotonic reasoning, applications of mathematical logic to computer science, deductive databases, implementation of declarative concepts, and programming in non-classical logics. LPAR '92 is the successor of the First and Second Russian Conferences on Logic Programming held in 1990 and 1991, respectively, the proceedings of which were publishedin LNAI Vol. 592.
Author :
Publisher :
Page : 532 pages
File Size : 25,44 MB
Release : 1992
Category : Automatic theorem proving
ISBN :
Author : Siani L. Baker
Publisher :
Page : 32 pages
File Size : 10,75 MB
Release : 1994
Category : Automatic theorem proving
ISBN :
Abstract: "Generalisation is currently a major theorem-proving problem. This paper proposes a new method of generalisation, involving the use of explanation-based generalization within a new domain, which may succeed when other methods fail. The method has been implemented for simple arithmetical examples."
Author : Alan Bundy
Publisher : Springer Science & Business Media
Page : 874 pages
File Size : 22,25 MB
Release : 1994-06-08
Category : Computers
ISBN : 9783540581567
This volume contains the reviewed papers presented at the 12th International Conference on Automated Deduction (CADE-12) held at Nancy, France in June/July 1994. The 67 papers presented were selected from 177 submissions and document many of the most important research results in automated deduction since CADE-11 was held in June 1992. The volume is organized in chapters on heuristics, resolution systems, induction, controlling resolutions, ATP problems, unification, LP applications, special-purpose provers, rewrite rule termination, ATP efficiency, AC unification, higher-order theorem proving, natural systems, problem sets, and system descriptions.
Author : International Joint Conferences on Artificial Intelligence
Publisher : Morgan Kaufmann
Page : 1720 pages
File Size : 37,42 MB
Release : 1997
Category : Artificial intelligence
ISBN : 9781558604803
Author : Siani L. Baker
Publisher :
Page : 32 pages
File Size : 26,30 MB
Release : 1993
Category : Automated theorem proving
ISBN :
Abstract: "An important technique for investigating derivability in formal systems of arithmetic has been to embed such systems into semi- formal systems with the [omega]-rule. This paper exploits this notion within the domain of automated theorem-proving and discusses the implementation of such a proof environment, namely the CORE system which implements a version of the primitive recursive [omega]-rule. This involves providing an appropriate representation for infinite proofs, and a means of verifying properties of such objects. By means of the CORE system, from a finite number of instances a conjecture for a proof of the universally quantified formula is automatically derived by an inductive inference algorithm, and checked for correctness. In addition, candidates for cut formulae may be generated by an explanation-based learning algorithm. This is an alternative approach to reasoning about inductively defined domains from traditional structural induction, which may sometimes be more intuitive."
Author : David McFarland
Publisher : Springer
Page : 308 pages
File Size : 34,96 MB
Release : 2012-05-17
Category : Psychology
ISBN : 0230354459
Combining the study of animal minds, artificial minds, and human evolution, this book examine the advances made by comparative psychologists in explaining the intelligent behaviour of primates, the design of artificial autonomous systems and the cognitive products of language evolution.
Author :
Publisher :
Page : 876 pages
File Size : 24,29 MB
Release : 1994
Category : Automatic theorem proving
ISBN :
Author :
Publisher :
Page : 608 pages
File Size : 24,9 MB
Release : 1995
Category : Dissertations, Academic
ISBN :
Theses on any subject submitted by the academic libraries in the UK and Ireland.