Presentation 1994/11/25
A useful lemma method for Top-down theorem proving
Yasuomi Chino, Hiroki Ashizawa, Kouji Iwanuma,
PDF Download Page PDF download Page Link
Abstract(in Japanese) (See Japanese page)
Abstract(in English) In this paper,we study Prolog Technology Theorem Prover(PTTP) proposed by Stickel.PTTP is based on a technology compiling first- order formulas into Prolog programs.The Prolog programs are executed extremely high speed.But PTTP is based on the top-down theorem-proving,it has a essensial difficulty which is frequent recomputing of identical solution.In this paper,we examine a method that stores intermediate result and resolve with generated lemmas.We propose several restrictions for lemma process, impremented in PTTP and experimented this method.We got fine results and report them.
Keyword(in Japanese) (See Japanese page)
Keyword(in English) First-order logic / Prolog / Model Elmination / Depth-First Iterative-Deepening
Paper # AI94-54
Date of Issue

Conference Information
Committee AI
Conference Date 1994/11/25(1days)
Place (in Japanese) (See Japanese page)
Place (in English)
Topics (in Japanese) (See Japanese page)
Topics (in English)
Chair
Vice Chair
Secretary
Assistant

Paper Information
Registration To Artificial Intelligence and Knowledge-Based Processing (AI)
Language JPN
Title (in Japanese) (See Japanese page)
Sub Title (in Japanese) (See Japanese page)
Title (in English) A useful lemma method for Top-down theorem proving
Sub Title (in English)
Keyword(1) First-order logic
Keyword(2) Prolog
Keyword(3) Model Elmination
Keyword(4) Depth-First Iterative-Deepening
1st Author's Name Yasuomi Chino
1st Author's Affiliation Department of Electrical Engineering and Computer Science,Faculty of Engineering,Yamanashi University()
2nd Author's Name Hiroki Ashizawa
2nd Author's Affiliation Department of Electrical Engineering and Computer Science,Faculty of Engineering,Yamanashi University
3rd Author's Name Kouji Iwanuma
3rd Author's Affiliation Department of Electrical Engineering and Computer Science,Faculty of Engineering,Yamanashi University
Date 1994/11/25
Paper # AI94-54
Volume (vol) vol.94
Number (no) 374
Page pp.pp.-
#Pages 7
Date of Issue