| Presentation | 1994/11/25 A distributed theorem prober with first-order logic compiler:an implementation and experiments Hiroki Ashizawa, Yasuomi Chino, Kouji Iwanuma, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | PTTP proposed by Stickel is the first order logic compiler,which outputs a Prolog program code that imitates a top-down deduction on given first order formulas.The aim of our study is to construct a high-speed first order logic compiler which generates a distributed Prolog code which runs on the workstations connected through LAN.We adopt a very simple form of distribution to reduce the number or communications between distributed processes since it makes great overhead.We experiment on valuation of its ability with some problems.In this paper we report some good results including linear speed-up. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | theorem prover / distributed processing / fivst-order logic / plorog |
| Paper # | AI94-53 |
| 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 distributed theorem prober with first-order logic compiler:an implementation and experiments |
| Sub Title (in English) | |
| Keyword(1) | theorem prover |
| Keyword(2) | distributed processing |
| Keyword(3) | fivst-order logic |
| Keyword(4) | plorog |
| 1st Author's Name | Hiroki Ashizawa |
| 1st Author's Affiliation | Department of Electricチl Engineering and computer Science,Faculty of Engineering,Yamanashi University() |
| 2nd Author's Name | Yasuomi Chino |
| 2nd Author's Affiliation | Department of Electricチl Engineering and computer Science,Faculty of Engineering,Yamanashi University |
| 3rd Author's Name | Kouji Iwanuma |
| 3rd Author's Affiliation | Department of Electricチl Engineering and computer Science,Faculty of Engineering,Yamanashi University |
| Date | 1994/11/25 |
| Paper # | AI94-53 |
| Volume (vol) | vol.94 |
| Number (no) | 374 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |