Fast hypothetical reasoning system using inference-path network

Mitsuru Ishizuka, Fumiaki Ito

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

5 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationThird Int Conf Tools Artif Intell
Place of PublicationPiscataway, NJ, United States
PublisherPubl by IEEE
Pages352-359
Number of pages8
ISBN (Print)0818623004
Publication statusPublished - 1992
Externally publishedYes
EventThird International Conference on Tools for Artificial Intelligence - San Jose, CA, USA
Duration: 1991 Nov 51991 Nov 8

Other

OtherThird International Conference on Tools for Artificial Intelligence
CitySan Jose, CA, USA
Period91/11/591/11/8

Fingerprint

Testing

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Ishizuka, M., & Ito, F. (1992). Fast hypothetical reasoning system using inference-path network. In 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.

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

Ishizuka, M & Ito, F 1992, Fast hypothetical reasoning system using inference-path network. in 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. In 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 -