TY - GEN
T1 - Fast hypothetical reasoning by parallel processing
AU - Matsuo, Yutaka
AU - Ishizuka, Mitsuru
PY - 2000
Y1 - 2000
N2 - Cost-based hypothetical reasoning is an important framework for knowledge based systems because it is theoretically founded and useful for many practical problems. Basically, it tries to find the minimum-cost set of hypotheses that is sufficient for proving a given goal. However, since the inference time of hypothetical reasoning grows exponentially with respect to problem size, slow inference speed often becomes the most crucial problem in practice.
AB - Cost-based hypothetical reasoning is an important framework for knowledge based systems because it is theoretically founded and useful for many practical problems. Basically, it tries to find the minimum-cost set of hypotheses that is sufficient for proving a given goal. However, since the inference time of hypothetical reasoning grows exponentially with respect to problem size, slow inference speed often becomes the most crucial problem in practice.
UR - http://www.scopus.com/inward/record.url?scp=84942882765&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84942882765&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:84942882765
SN - 3540679251
SN - 9783540679257
SN - 9783540679257
VL - 1886
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PB - Springer Verlag
T2 - 6th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2000
Y2 - 28 August 2000 through 1 September 2000
ER -