Presentation | 1999/3/5 Efficiency Improvement of Resolution-based Decision Procedure for Multi-agent Autoepistemic Logic Kazutoshi Honda, Nobuo Kawaguchi, Katsuhiko Toyama, Yasuyoshi Inagaki, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | Resolution-based decision procedure with the labeling for multi-agent autoepistemic logic has been proposed. In general, it is known that the number of the labeling increases exponentially. Since efficiency improvement of a decision procedure is an important issue, we propose techniques that prevent the explosion of the number of the labeling In these techniques, the labels determined from the premise knowledge are computed before the labeling step, and the labels which lead contradiction are eliminated. Also, only derivation tree sets which are essentially needed for the decision procedure are used. We have implemented these techniques and evaluated them. As a result, the running time of the decision procedure has been significantly improved in the simple inheritance problem with 5 hierarchies. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | multi-agent autoepistemic logic / resolution / decision procedure / effciency improvement / labeling |
Paper # | AI98-89 |
Date of Issue |
Conference Information | |
Committee | AI |
---|---|
Conference Date | 1999/3/5(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) | Efficiency Improvement of Resolution-based Decision Procedure for Multi-agent Autoepistemic Logic |
Sub Title (in English) | |
Keyword(1) | multi-agent autoepistemic logic |
Keyword(2) | resolution |
Keyword(3) | decision procedure |
Keyword(4) | effciency improvement |
Keyword(5) | labeling |
1st Author's Name | Kazutoshi Honda |
1st Author's Affiliation | Graduate School of Engineering, Nagoya University() |
2nd Author's Name | Nobuo Kawaguchi |
2nd Author's Affiliation | Graduate School of Engineering, Nagoya University |
3rd Author's Name | Katsuhiko Toyama |
3rd Author's Affiliation | Graduate School of Engineering, Nagoya University |
4th Author's Name | Yasuyoshi Inagaki |
4th Author's Affiliation | Graduate School of Engineering, Nagoya University |
Date | 1999/3/5 |
Paper # | AI98-89 |
Volume (vol) | vol.98 |
Number (no) | 635 |
Page | pp.pp.- |
#Pages | 8 |
Date of Issue |