Contents of Report
[Data of Report]
Report Number:
TR0294
Date of Registration:
1987.08
English Title:
A Simulation Study of a Knowledge Base Machine Architecture
Japanese Title:
***
English Author:
H.Sakai,S.Shibayama
Japanese:
***
Name of Organization to which author belongs:
Toshiba,Toshiba
PDF:
tr0294.pdf
[Contents]
Abstract
.... 2
1
Framework of our KBM Research Project
.... 2
1.1
Research Objectives
.... 2
1.2
Design Philosophy of the KBM Functions
.... 2
1.3
Design Philosophy of the System Architecture
.... 3
1.4
Overview of the Simulation Study
.... 3
2
KBM Model
.... 4
2.1
System Architecture
.... 4
2.2
Input Resolution in the System
.... 5
2.3
Representation of the Definite Clauses and a Goal Clause
.... 5
2.4
Realizing Input Resolution
.... 6
3
Control Model for Parallel Exection of Input Resolution
.... 7
3.1
Parallel Exection of an Input Resolution
.... 7
3.2
Partitioning Factor
.... 7
3.3
Waiting Ratio
.... 8
4
Simulation Methodology
.... 9
4.1
Simulator Overview
.... 9
4.2
Measure for Evaluation
.... 9
4.3
Sample Problem Used in the Simulation Study
.... 9
4.4
Ancestor Problem
.... 9
4.5
Eight-queen Problem
.... 9
5
Results and Discussion
.... 10
5.1
SP method versus MP method
.... 10
5.2
Ancestor Problem
.... 10
5.3
Eight-queen Problem
.... 10
5.4
Details of the MP Method
.... 13
5.5
Effects of the Partitioning Factor
.... 13
5.6
Effects of the Waiting-ratio
.... 13
5.7
Relationship between UEtotal and System Performance
.... 13
5.8
Discussion on KBM Architecture
.... 14
5.9
Use of MPPM
.... 14
5.10
Towards Processing a Large Number of Definite Clauses
.... 14
6
Conclusion
.... 15
Acknowledgement
.... 15
References
.... 15
目次をクリックすると、PDFファイルが表示されます。
ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports