Contents of Report


[Data of Report]

Report Number:
TR0559
Date of Registration:
1990.05
English Title:
Resolution Algorithms for Horn Clauses using Retrieval-by- Unification Operation on Term Relations
Japanese Title:
項関係上での単一化検索を使ったホーン節推論アルゴリズム
English Author:
H.Yokota,H.Kitakami,A.Hattori
Japanese:
横田 治,夫北上 始,服部 彰
Name of Organization to which author belongs:
Fujitsu,Fujistu,Fujistu
PDF:
tr0559.pdf

[Contents]

梗概.... 3
1はじめに.... 4
2準備.... 6
3単一化によるホーン節の導出.... 8
4項関係上の単一化検索によるSLD演繹.... 11
5項関係上の単一化検索によるSUD演繹.... 17
6おわりに.... 23
謝辞.... 25
参考文献.... 26
付録.... 28
End.... 35


目次をクリックすると、PDFファイルが表示されます。

ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports