| Presentation | 1998/5/21 A Method for Solving Condensed Detachment Problems with GA-MGTP Hidetoshi Nakayama, Hiroshi Fujita, Ryuzo Hasegawa, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | We present a new method which combines an automated theorem prover MGTP with a genetic algorithm as a proof-search mechanism. MGTP is a theorem prover for first-order logic based on the model-generation method. The model-generation method and genetic algorithms have a similarity in that both are based on the generate-and-test paradigm. This affinity made us consider that it should make sense to combine both. We made an experiment on condensed detachment problems which have small descriptions yet require deep inference in enormous search spaces. Though our current gene-coding and fitness-evaluation scheme is rather naive, the results show that in many cases GA-MGTP is able to find shorter proofs than the original MGTP. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Automated theorem proving / Genetic algorithms / Model-generation method / Search / Heuristics |
| Paper # | |
| Date of Issue |
| Conference Information | |
| Committee | AI |
|---|---|
| Conference Date | 1998/5/21(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 Method for Solving Condensed Detachment Problems with GA-MGTP |
| Sub Title (in English) | |
| Keyword(1) | Automated theorem proving |
| Keyword(2) | Genetic algorithms |
| Keyword(3) | Model-generation method |
| Keyword(4) | Search |
| Keyword(5) | Heuristics |
| 1st Author's Name | Hidetoshi Nakayama |
| 1st Author's Affiliation | Graduate School of Information Science and Electrical Engineering Kyushu University() |
| 2nd Author's Name | Hiroshi Fujita |
| 2nd Author's Affiliation | Graduate School of Information Science and Electrical Engineering Kyushu University |
| 3rd Author's Name | Ryuzo Hasegawa |
| 3rd Author's Affiliation | Graduate School of Information Science and Electrical Engineering Kyushu University |
| Date | 1998/5/21 |
| Paper # | |
| Volume (vol) | vol.98 |
| Number (no) | 58 |
| Page | pp.pp.- |
| #Pages | 8 |
| Date of Issue | |