A polynomial-time predicate-logic hypothetical reasoning by networked bubble propagation method

Yukio Ohsawa, Mitsuru Ishizuka

研究成果: Conference contribution

1 被引用数 (Scopus)

抄録

Hypothetical reasoning is a useful knowledge-processing framework applicable to many problems including system diagnosis, design, etc. However, due to its non-monotonic inference nature, it takes exponential computation-time to find a solution hypotheses-set to prove a given goal. This is also true for cost-based hypothetical reasoning to find an optimal solution with minimal cost. As for the hypothetical reasoning expressed in propositional logic, since it is easily transformed into 0-I integer programming problem, a polynomial-time method finding a near-optimal solution has been developed so far by employing an approximate solution method of 0-1 integer programming called the Pivot and Complement method. Also, by reforming this method, a network-based inference mechanism called Networked Bubble Propagation (NBP) has been invented by the authors, which allows even faster inference. More importantly, a network-based approach is meaningful, for its potential of being developed extending to a broader framework of knowledge processing. In this paper, we extend the NBP method to dealing with the hypothetical reasoning expressed with predicate logic. By constructing a series of knowledge networks, to which the NBP method is applied, in a stepwise manner according to a top-clown control, we avoid the excessive expansion of the network size. As a result, we can achieve a polynomial time inference for computing a hoax-optimal solution for the cost-based hypothetical reasoning in predicate-logic knowledge.

本文言語English
ホスト出版物のタイトルLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
出版社Springer Verlag
ページ375-387
ページ数13
1081
ISBN(印刷版)3540612912, 9783540612919
DOI
出版ステータスPublished - 1996
外部発表はい
イベント11th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 1996 - Toronto, Canada
継続期間: 1996 5 211996 5 24

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1081
ISSN(印刷版)03029743
ISSN(電子版)16113349

Other

Other11th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 1996
国/地域Canada
CityToronto
Period96/5/2196/5/24

ASJC Scopus subject areas

  • コンピュータ サイエンス(全般)
  • 理論的コンピュータサイエンス

フィンガープリント

「A polynomial-time predicate-logic hypothetical reasoning by networked bubble propagation method」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル