Fast hypothetical reasoning system using inference-path network

Mitsuru Ishizuka, Fumiaki Ito

研究成果: Conference contribution

5 引用 (Scopus)

抄録

A fast hypothetical reasoning system is described which is named KICK-SHOTGAN, and which avoids inefficient backtracking by the forward synthesis of necessary hypothesis combination along this network. The formation of the inference-path network is based on a linear-time algorithm for the satisfiability testing of propositional Horn clauses. This system differs from ATMS mainly in its total problem solving nature. That is, it works for the logical problem-solving framework which yields a solution for a given goal, whereas the ATMS calculates possible data supported by hypotheses incrementally in response to the input of a justification (rule) from a problem solver existing outside the ATMS.

元の言語English
ホスト出版物のタイトルThird Int Conf Tools Artif Intell
出版場所Piscataway, NJ, United States
出版者Publ by IEEE
ページ352-359
ページ数8
ISBN(印刷物)0818623004
出版物ステータスPublished - 1992
外部発表Yes
イベントThird International Conference on Tools for Artificial Intelligence - San Jose, CA, USA
継続期間: 1991 11 51991 11 8

Other

OtherThird International Conference on Tools for Artificial Intelligence
San Jose, CA, USA
期間91/11/591/11/8

Fingerprint

Testing

ASJC Scopus subject areas

  • Engineering(all)

これを引用

Ishizuka, M., & Ito, F. (1992). Fast hypothetical reasoning system using inference-path network. : Third Int Conf Tools Artif Intell (pp. 352-359). Piscataway, NJ, United States: Publ by IEEE.

Fast hypothetical reasoning system using inference-path network. / Ishizuka, Mitsuru; Ito, Fumiaki.

Third Int Conf Tools Artif Intell. Piscataway, NJ, United States : Publ by IEEE, 1992. p. 352-359.

研究成果: Conference contribution

Ishizuka, M & Ito, F 1992, Fast hypothetical reasoning system using inference-path network. : Third Int Conf Tools Artif Intell. Publ by IEEE, Piscataway, NJ, United States, pp. 352-359, Third International Conference on Tools for Artificial Intelligence, San Jose, CA, USA, 91/11/5.
Ishizuka M, Ito F. Fast hypothetical reasoning system using inference-path network. : Third Int Conf Tools Artif Intell. Piscataway, NJ, United States: Publ by IEEE. 1992. p. 352-359
Ishizuka, Mitsuru ; Ito, Fumiaki. / Fast hypothetical reasoning system using inference-path network. Third Int Conf Tools Artif Intell. Piscataway, NJ, United States : Publ by IEEE, 1992. pp. 352-359
@inproceedings{80f626169e244f28b436fbb301c4c005,
title = "Fast hypothetical reasoning system using inference-path network",
abstract = "A fast hypothetical reasoning system is described which is named KICK-SHOTGAN, and which avoids inefficient backtracking by the forward synthesis of necessary hypothesis combination along this network. The formation of the inference-path network is based on a linear-time algorithm for the satisfiability testing of propositional Horn clauses. This system differs from ATMS mainly in its total problem solving nature. That is, it works for the logical problem-solving framework which yields a solution for a given goal, whereas the ATMS calculates possible data supported by hypotheses incrementally in response to the input of a justification (rule) from a problem solver existing outside the ATMS.",
author = "Mitsuru Ishizuka and Fumiaki Ito",
year = "1992",
language = "English",
isbn = "0818623004",
pages = "352--359",
booktitle = "Third Int Conf Tools Artif Intell",
publisher = "Publ by IEEE",

}

TY - GEN

T1 - Fast hypothetical reasoning system using inference-path network

AU - Ishizuka, Mitsuru

AU - Ito, Fumiaki

PY - 1992

Y1 - 1992

N2 - A fast hypothetical reasoning system is described which is named KICK-SHOTGAN, and which avoids inefficient backtracking by the forward synthesis of necessary hypothesis combination along this network. The formation of the inference-path network is based on a linear-time algorithm for the satisfiability testing of propositional Horn clauses. This system differs from ATMS mainly in its total problem solving nature. That is, it works for the logical problem-solving framework which yields a solution for a given goal, whereas the ATMS calculates possible data supported by hypotheses incrementally in response to the input of a justification (rule) from a problem solver existing outside the ATMS.

AB - A fast hypothetical reasoning system is described which is named KICK-SHOTGAN, and which avoids inefficient backtracking by the forward synthesis of necessary hypothesis combination along this network. The formation of the inference-path network is based on a linear-time algorithm for the satisfiability testing of propositional Horn clauses. This system differs from ATMS mainly in its total problem solving nature. That is, it works for the logical problem-solving framework which yields a solution for a given goal, whereas the ATMS calculates possible data supported by hypotheses incrementally in response to the input of a justification (rule) from a problem solver existing outside the ATMS.

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

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

M3 - Conference contribution

SN - 0818623004

SP - 352

EP - 359

BT - Third Int Conf Tools Artif Intell

PB - Publ by IEEE

CY - Piscataway, NJ, United States

ER -