Fast hypothetical reasoning by parallel processing

Yutaka Matsuo, Mitsuru Ishizuka

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
Volume1886
ISBN (Print)3540679251, 9783540679257, 9783540679257
Publication statusPublished - 2000
Externally publishedYes
Event6th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2000 - Melbourne, Australia
Duration: 2000 Aug 282000 Sep 1

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1886
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other6th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2000
CountryAustralia
CityMelbourne
Period00/8/2800/9/1

    Fingerprint

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Matsuo, Y., & Ishizuka, M. (2000). Fast hypothetical reasoning by parallel processing. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1886). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1886). Springer Verlag.