An efficient hypothetical reasoning system for predicate-logic knowledge-base

Akiko Kondo, Toshiro Makino, Mitsuru Ishizuka

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

3 Citations (Scopus)

Abstract

The methods of fast hypothetical reasoning systems developed for propositional logic cannot be applicable in a straightforward manner to the predicate-logic case. A fast hypothetical reasoning mechanism that is effective for predicate-logic knowledge (actually for function-free predicate Horn-clause knowledge) is presented. A reasoning method developed in the deductive database area is effectively applied to this mechanism.

Original languageEnglish
Title of host publicationThird Int Conf Tools Artif Intell
Place of PublicationPiscataway, NJ, United States
PublisherPubl by IEEE
Pages360-367
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

Intelligent databases

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Kondo, A., Makino, T., & Ishizuka, M. (1992). An efficient hypothetical reasoning system for predicate-logic knowledge-base. In Third Int Conf Tools Artif Intell (pp. 360-367). Piscataway, NJ, United States: Publ by IEEE.

An efficient hypothetical reasoning system for predicate-logic knowledge-base. / Kondo, Akiko; Makino, Toshiro; Ishizuka, Mitsuru.

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

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

Kondo, A, Makino, T & Ishizuka, M 1992, An efficient hypothetical reasoning system for predicate-logic knowledge-base. in Third Int Conf Tools Artif Intell. Publ by IEEE, Piscataway, NJ, United States, pp. 360-367, Third International Conference on Tools for Artificial Intelligence, San Jose, CA, USA, 91/11/5.
Kondo A, Makino T, Ishizuka M. An efficient hypothetical reasoning system for predicate-logic knowledge-base. In Third Int Conf Tools Artif Intell. Piscataway, NJ, United States: Publ by IEEE. 1992. p. 360-367
Kondo, Akiko ; Makino, Toshiro ; Ishizuka, Mitsuru. / An efficient hypothetical reasoning system for predicate-logic knowledge-base. Third Int Conf Tools Artif Intell. Piscataway, NJ, United States : Publ by IEEE, 1992. pp. 360-367
@inproceedings{0f31b4bc8b0646a8bd6e3666aca5c233,
title = "An efficient hypothetical reasoning system for predicate-logic knowledge-base",
abstract = "The methods of fast hypothetical reasoning systems developed for propositional logic cannot be applicable in a straightforward manner to the predicate-logic case. A fast hypothetical reasoning mechanism that is effective for predicate-logic knowledge (actually for function-free predicate Horn-clause knowledge) is presented. A reasoning method developed in the deductive database area is effectively applied to this mechanism.",
author = "Akiko Kondo and Toshiro Makino and Mitsuru Ishizuka",
year = "1992",
language = "English",
isbn = "0818623004",
pages = "360--367",
booktitle = "Third Int Conf Tools Artif Intell",
publisher = "Publ by IEEE",

}

TY - GEN

T1 - An efficient hypothetical reasoning system for predicate-logic knowledge-base

AU - Kondo, Akiko

AU - Makino, Toshiro

AU - Ishizuka, Mitsuru

PY - 1992

Y1 - 1992

N2 - The methods of fast hypothetical reasoning systems developed for propositional logic cannot be applicable in a straightforward manner to the predicate-logic case. A fast hypothetical reasoning mechanism that is effective for predicate-logic knowledge (actually for function-free predicate Horn-clause knowledge) is presented. A reasoning method developed in the deductive database area is effectively applied to this mechanism.

AB - The methods of fast hypothetical reasoning systems developed for propositional logic cannot be applicable in a straightforward manner to the predicate-logic case. A fast hypothetical reasoning mechanism that is effective for predicate-logic knowledge (actually for function-free predicate Horn-clause knowledge) is presented. A reasoning method developed in the deductive database area is effectively applied to this mechanism.

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

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

M3 - Conference contribution

AN - SCOPUS:0026711647

SN - 0818623004

SP - 360

EP - 367

BT - Third Int Conf Tools Artif Intell

PB - Publ by IEEE

CY - Piscataway, NJ, United States

ER -