| Presentation | 2003/5/22 Developping Interactive Sequent Caliculus Prover Based on Analogy Keizo YAMADA, Kouichi HIRATA, Masateru HARAO, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | Since a proof based on sequent calculus is easy to understand for human, it has many applications including computer aided education. However, it is difficult to automate because its inference process is complex. We develop an interactive semi-automated sequent calculus prover by introducing an analogycal reasoning mechanism. In this paper, we demonstrate the outline of our system. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | analogy / interactive proving system / sequent calculus |
| Paper # | AI2003-3 |
| Date of Issue |
| Conference Information | |
| Committee | AI |
|---|---|
| Conference Date | 2003/5/22(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) | Developping Interactive Sequent Caliculus Prover Based on Analogy |
| Sub Title (in English) | |
| Keyword(1) | analogy |
| Keyword(2) | interactive proving system |
| Keyword(3) | sequent calculus |
| 1st Author's Name | Keizo YAMADA |
| 1st Author's Affiliation | Faculty of Computer Science and Systems Engineering, Kyushu Institute of Tecnology() |
| 2nd Author's Name | Kouichi HIRATA |
| 2nd Author's Affiliation | Faculty of Computer Science and Systems Engineering, Kyushu Institute of Tecnology |
| 3rd Author's Name | Masateru HARAO |
| 3rd Author's Affiliation | Faculty of Computer Science and Systems Engineering, Kyushu Institute of Tecnology |
| Date | 2003/5/22 |
| Paper # | AI2003-3 |
| Volume (vol) | vol.103 |
| Number (no) | 103 |
| Page | pp.pp.- |
| #Pages | 4 |
| Date of Issue | |