記事・論文

タイトル | 命題レベルの高速解法の利用を図るコストに基づく述語論理版仮説推論法 |
---|---|

著者 | 棚橋 一也 |

著者 | 福田 茂紀 |

著者 | 石塚 満 |

別タイトル | A Predicate-Logic-Version Method for Cost-Based Hypothetical Reasoning Employing Efficient Propositional-Level Reasoning Mechanism |

著者別名 | Tanahashi Kazuya |

著者別名 | Fukuta Shigeki |

著者別名 | Ishizuka Mitsuru |

出版年(W3CDTF) | 1999-11-01 |

件名（キーワード） | cost-based hypothetical reasoning |

件名（キーワード） | efficient abductive reasoning |

件名（キーワード） | propositional |

件名（キーワード） | predicate-level reasoning |

件名（キーワード） | reformation of predicate rules |

件名（キーワード） | cost-based hypothetical reasoning |

件名（キーワード） | efficient abductive reasoning |

件名（キーワード） | propositional |

件名（キーワード） | predicate-level reasoning |

件名（キーワード） | reformation of predicate rules |

要約・抄録 | For propositional-version hypothetical reasoning (or abduction), particularly for its cost-based one, some efficient methods have been developed, which achieve polynomial-time reasoning with respect to problem size to compute a near-optimal solution. However, for predicate-version hypothetical reasoning that allows rich and compact knowledge representation, it seems difficult to find such a method with polynomial-order efficiency as long as we stick to symbolic manipulation. As a result, there has been no good efficient method so far in predicate-logic domain. A naive approach for efficient predicate-version hypothetical reasoning is to transform predicate knowledge in to propositional knowledge, and ten to apply and efficient method in propositional domain. This can be accomplished by a transformation in the Herbrand universe; however, this is impractical since a vast number of propositional clauses will be produced. We tried to use a deductive database technique, namely, QSQR method, to extract a knowledge portion being related to the proof of a given goal of hypothetical reasoning, and then to transform only this portion into propositional knowledge. Nevertheless, it can not improve reasoning efficiency enough because a considerable computational time is required for the transformation into propositional knowledge by the QSQR method, and the number of the resulting propositional clauses is still large. In this paper, we propose a knowledge reformation scheme for predicate rules such that the transformation into propositional rules is efficient and the number of the resulting propositional rules is small. This knowledge reformation is based on unfolding/folding processes for predicate rules. Although its applicable range is still limited, it is shown experimentally that, by introducing this knowledge reformation, a large amount of efficiency improvement is achieved for predicate-version cost-based hypothetical reasoning. |

要約・抄録 | For propositional-version hypothetical reasoning (or abduction), particularly for its cost-based one, some efficient methods have been developed, which achieve polynomial-time reasoning with respect to problem size to compute a near-optimal solution. However, for predicate-version hypothetical reasoning that allows rich and compact knowledge representation, it seems difficult to find such a method with polynomial-order efficiency as long as we stick to symbolic manipulation. As a result, there has been no good efficient method so far in predicate-logic domain. A naive approach for efficient predicate-version hypothetical reasoning is to transform predicate knowledge in to propositional knowledge, and ten to apply and efficient method in propositional domain. This can be accomplished by a transformation in the Herbrand universe; however, this is impractical since a vast number of propositional clauses will be produced. We tried to use a deductive database technique, namely, QSQR method, to extract a knowledge portion being related to the proof of a given goal of hypothetical reasoning, and then to transform only this portion into propositional knowledge. Nevertheless, it can not improve reasoning efficiency enough because a considerable computational time is required for the transformation into propositional knowledge by the QSQR method, and the number of the resulting propositional clauses is still large. In this paper, we propose a knowledge reformation scheme for predicate rules such that the transformation into propositional rules is efficient and the number of the resulting propositional rules is small. This knowledge reformation is based on unfolding/folding processes for predicate rules. Although its applicable range is still limited, it is shown experimentally that, by introducing this knowledge reformation, a large amount of efficiency improvement is achieved for predicate-version cost-based hypothetical reasoning. |

対象利用者 | 一般 |

資料の種別 | 記事・論文 |

掲載誌情報（ISSN形式） | 09128085 |

掲載誌情報（URI形式） | 人工知能学会誌 |

掲載誌名 | 人工知能学会誌 |

掲載巻 | 14 |

掲載号 | 6 |

掲載ページ | 1100-1107 |