| Presentation | 1997/5/22 On a Planning Algorithm Based on Conflict Testing : Apllication to a UNIX Command Help System Kohji Itoh, Makoto Itami, Yasuhisa Ikeda, Shin-ichiro Kuniyoshi, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | This paper proposes a UNIX command help system which allows the novice to specify the task he intends by way of samples, infers on the focused initial and the required final states, searches and proposes possible sequences of commands and pipes as operators. The system employs a backward operator search algorithm in which, when an operator is found to satisfy a goal in an intermediate goal set, unsatisfied goals are regressed and excess goals are propagated along the sofar assumed backward state transitions. The algorithm the paper describes demonstrates that backtracking due to conflict test in regression and execss goal propagation contributes to efficiency of search and a goal transformation may be indispensable even for usual situations. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | UNIX commands / help system / planning / backward search / conflict testing / goal transformation |
| Paper # | AI97-5 |
| Date of Issue |
| Conference Information | |
| Committee | AI |
|---|---|
| Conference Date | 1997/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) | On a Planning Algorithm Based on Conflict Testing : Apllication to a UNIX Command Help System |
| Sub Title (in English) | |
| Keyword(1) | UNIX commands |
| Keyword(2) | help system |
| Keyword(3) | planning |
| Keyword(4) | backward search |
| Keyword(5) | conflict testing |
| Keyword(6) | goal transformation |
| 1st Author's Name | Kohji Itoh |
| 1st Author's Affiliation | Department of Applied Electronics, Science University of Tokyo() |
| 2nd Author's Name | Makoto Itami |
| 2nd Author's Affiliation | Department of Applied Electronics, Science University of Tokyo |
| 3rd Author's Name | Yasuhisa Ikeda |
| 3rd Author's Affiliation | Department of Applied Electronics, Science University of Tokyo |
| 4th Author's Name | Shin-ichiro Kuniyoshi |
| 4th Author's Affiliation | Department of Applied Electronics, Science University of Tokyo |
| Date | 1997/5/22 |
| Paper # | AI97-5 |
| Volume (vol) | vol.97 |
| Number (no) | 63 |
| Page | pp.pp.- |
| #Pages | 8 |
| Date of Issue | |