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

Parallel Processing
Reasoning
Knowledge based systems
Processing
Costs
Knowledge-based Systems
Sufficient

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.

Fast hypothetical reasoning by parallel processing. / Matsuo, Yutaka; Ishizuka, Mitsuru.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 1886 Springer Verlag, 2000. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1886).

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

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, 6th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2000, Melbourne, Australia, 00/8/28.
Matsuo Y, Ishizuka M. 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. Springer Verlag. 2000. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Matsuo, Yutaka ; Ishizuka, Mitsuru. / Fast hypothetical reasoning by parallel processing. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 1886 Springer Verlag, 2000. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{8e799b73a58c42f3bd80d53c1a559adc,
title = "Fast hypothetical reasoning by parallel processing",
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.",
author = "Yutaka Matsuo and Mitsuru Ishizuka",
year = "2000",
language = "English",
isbn = "3540679251",
volume = "1886",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

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

ER -