Networked bubble propagation: A polynomial-time hypothetical reasoning method for computing near-optimal solutions

Yukio Ohsawa, Mitsuru Ishizuka

Research output: Contribution to journalArticle

19 Citations (Scopus)

Abstract

Hypothetical reasoning (abduction) is an important knowledge processing framework because of its theoretical basis and its usefulness for solving practical problems including diagnosis, design, etc. In many cases, the most probable hypotheses set for diagnosis or the least expensive one for design is desirable. Cost-based abduction, where a numerical weight is assigned to each hypothesis and an optimal solution hypotheses set with minimal sum of element hypotheses' weights is searched, deals with such problems. However, slow inference speed is its crucial problem: cost-based abduction is NP-complete. In order to achieve a tractable inference of cost-based abduction, we aim at obtaining a nearly, rather than exactly, optimal solution. For this approach, an approximate solution method exploited in mathematical programming is quite beneficial. On the other hand, from the standpoint of knowledge processing, it is also important to realize inference on a network which reflects knowledge structure. Knowledge structure is a fruitful information for an efficient inference. In this paper, we propose an inference method which works on a knowledge network, based on a mechanism similar to the pivot and complement method, an efficient approximate 0-1 integer programming method to find a near-optimal solution within a polynomial time of O(N4), where N is the number of variables or hypotheses. We reformalize this method by a new type of network on which inference is executed by propagating bubbles. This method achieves an inference time of O(N2) by executing each bubble propagation within a small sub-network, i.e., by taking advantage of the knowledge structure.

Original languageEnglish
Pages (from-to)131-154
Number of pages24
JournalArtificial Intelligence
Volume91
Issue number1
Publication statusPublished - 1997
Externally publishedYes

Fingerprint

abduction
Polynomials
knowledge
Costs
Mathematical programming
Integer programming
Processing
costs
programming
time
Inference
Bubble
Abduction
Knowledge Structure
Programming

Keywords

  • Approximate solution method
  • Hypothetical reasoning
  • Knowledge network
  • Polynomial-time inference

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computational Theory and Mathematics

Cite this

Networked bubble propagation : A polynomial-time hypothetical reasoning method for computing near-optimal solutions. / Ohsawa, Yukio; Ishizuka, Mitsuru.

In: Artificial Intelligence, Vol. 91, No. 1, 1997, p. 131-154.

Research output: Contribution to journalArticle

@article{a6491775469244c4b5b65fb3b4fa1baa,
title = "Networked bubble propagation: A polynomial-time hypothetical reasoning method for computing near-optimal solutions",
abstract = "Hypothetical reasoning (abduction) is an important knowledge processing framework because of its theoretical basis and its usefulness for solving practical problems including diagnosis, design, etc. In many cases, the most probable hypotheses set for diagnosis or the least expensive one for design is desirable. Cost-based abduction, where a numerical weight is assigned to each hypothesis and an optimal solution hypotheses set with minimal sum of element hypotheses' weights is searched, deals with such problems. However, slow inference speed is its crucial problem: cost-based abduction is NP-complete. In order to achieve a tractable inference of cost-based abduction, we aim at obtaining a nearly, rather than exactly, optimal solution. For this approach, an approximate solution method exploited in mathematical programming is quite beneficial. On the other hand, from the standpoint of knowledge processing, it is also important to realize inference on a network which reflects knowledge structure. Knowledge structure is a fruitful information for an efficient inference. In this paper, we propose an inference method which works on a knowledge network, based on a mechanism similar to the pivot and complement method, an efficient approximate 0-1 integer programming method to find a near-optimal solution within a polynomial time of O(N4), where N is the number of variables or hypotheses. We reformalize this method by a new type of network on which inference is executed by propagating bubbles. This method achieves an inference time of O(N2) by executing each bubble propagation within a small sub-network, i.e., by taking advantage of the knowledge structure.",
keywords = "Approximate solution method, Hypothetical reasoning, Knowledge network, Polynomial-time inference",
author = "Yukio Ohsawa and Mitsuru Ishizuka",
year = "1997",
language = "English",
volume = "91",
pages = "131--154",
journal = "Artificial Intelligence",
issn = "0004-3702",
publisher = "Elsevier",
number = "1",

}

TY - JOUR

T1 - Networked bubble propagation

T2 - A polynomial-time hypothetical reasoning method for computing near-optimal solutions

AU - Ohsawa, Yukio

AU - Ishizuka, Mitsuru

PY - 1997

Y1 - 1997

N2 - Hypothetical reasoning (abduction) is an important knowledge processing framework because of its theoretical basis and its usefulness for solving practical problems including diagnosis, design, etc. In many cases, the most probable hypotheses set for diagnosis or the least expensive one for design is desirable. Cost-based abduction, where a numerical weight is assigned to each hypothesis and an optimal solution hypotheses set with minimal sum of element hypotheses' weights is searched, deals with such problems. However, slow inference speed is its crucial problem: cost-based abduction is NP-complete. In order to achieve a tractable inference of cost-based abduction, we aim at obtaining a nearly, rather than exactly, optimal solution. For this approach, an approximate solution method exploited in mathematical programming is quite beneficial. On the other hand, from the standpoint of knowledge processing, it is also important to realize inference on a network which reflects knowledge structure. Knowledge structure is a fruitful information for an efficient inference. In this paper, we propose an inference method which works on a knowledge network, based on a mechanism similar to the pivot and complement method, an efficient approximate 0-1 integer programming method to find a near-optimal solution within a polynomial time of O(N4), where N is the number of variables or hypotheses. We reformalize this method by a new type of network on which inference is executed by propagating bubbles. This method achieves an inference time of O(N2) by executing each bubble propagation within a small sub-network, i.e., by taking advantage of the knowledge structure.

AB - Hypothetical reasoning (abduction) is an important knowledge processing framework because of its theoretical basis and its usefulness for solving practical problems including diagnosis, design, etc. In many cases, the most probable hypotheses set for diagnosis or the least expensive one for design is desirable. Cost-based abduction, where a numerical weight is assigned to each hypothesis and an optimal solution hypotheses set with minimal sum of element hypotheses' weights is searched, deals with such problems. However, slow inference speed is its crucial problem: cost-based abduction is NP-complete. In order to achieve a tractable inference of cost-based abduction, we aim at obtaining a nearly, rather than exactly, optimal solution. For this approach, an approximate solution method exploited in mathematical programming is quite beneficial. On the other hand, from the standpoint of knowledge processing, it is also important to realize inference on a network which reflects knowledge structure. Knowledge structure is a fruitful information for an efficient inference. In this paper, we propose an inference method which works on a knowledge network, based on a mechanism similar to the pivot and complement method, an efficient approximate 0-1 integer programming method to find a near-optimal solution within a polynomial time of O(N4), where N is the number of variables or hypotheses. We reformalize this method by a new type of network on which inference is executed by propagating bubbles. This method achieves an inference time of O(N2) by executing each bubble propagation within a small sub-network, i.e., by taking advantage of the knowledge structure.

KW - Approximate solution method

KW - Hypothetical reasoning

KW - Knowledge network

KW - Polynomial-time inference

UR - http://www.scopus.com/inward/record.url?scp=0031100429&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0031100429&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:0031100429

VL - 91

SP - 131

EP - 154

JO - Artificial Intelligence

JF - Artificial Intelligence

SN - 0004-3702

IS - 1

ER -