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