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

Akiko Kondo, Toshiro Makino, Mitsuru Ishizuka

研究成果: Conference contribution

3 被引用数 (Scopus)

抄録

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.

本文言語English
ホスト出版物のタイトルThird Int Conf Tools Artif Intell
Place of PublicationPiscataway, NJ, United States
出版社Publ by IEEE
ページ360-367
ページ数8
ISBN(印刷版)0818623004
出版ステータスPublished - 1992
外部発表はい
イベント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
CitySan Jose, CA, USA
Period91/11/591/11/8

ASJC Scopus subject areas

  • Engineering(all)

フィンガープリント 「An efficient hypothetical reasoning system for predicate-logic knowledge-base」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル