Contents of Report


[Data of Report]

Report Number:
TR0425
Date of Registration:
1988.10
English Title:
Knowledge Base System in Logic Programming Paradigm
Japanese Title:
***
English Author:
H.Itoh,H.Monoi,S.Sibayama,N.Miyazaki,H.Yokota,A.Konagaya
Japanese:
***
Name of Organization to which author belongs:
ICOT,ICOT,Toshiba,Oki,Fujitsu,NEC
PDF:
tr0425.pdf

[Contents]

Abstract.... 2
1Introduction.... 2
2Knowledge Base Subsystem on a Seqential Inference Machine.... 3
2.1Oveview of the System.... 3
2.2Multiple-Multiple Name Spaces.... 4
2.3Hierarchical Knowledge Bass.... 5
2.4Summary and Future Works.... 5
3Distributed Knowledge Base Subsystems.... 5
3.1Oveview of the System.... 6
3.2Distributed Deductive Database.... 6
3.3Handing Nagations.... 8
3.4Superimposed Code Scheme for Deductive Databases.... 8
4Parallel Knowledge Base Subsystem.... 9
4.1Overview of the System.... 9
4.2Hardware Considerations.... 10
4.3Software Considerations.... 10
4.4Evaluation.... 12
5Interface between GHC and Parallel Knowledge Based Subsystem.... 13
5.1Overview of the System.... 13
5.2Parallel Retrieval.... 13
5.3GHC Interface.... 14
5.4Implementation of RBU.... 15
6Conclusion.... 15
Acknowledgement.... 16
References.... 16
End.... 18


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

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