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

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). Publ by IEEE.