Contents of Report
[Data of Report]
Report Number:
TR0392
Date of Registration:
1988.06
English Title:
Methods for Paritition of Target Systems in Qualitative Reasoning
Japanese Title:
***
English Author:
K.Sakane,M.Ohki,J.Sawamoto,Y.Fujii
Japanese:
***
Name of Organization to which author belongs:
ICOT,ICOT,ICOT,ICOT
PDF:
tr0392.pdf
[Contents]
Abstract
.... 2
1
Introduction
.... 2
2
Method for Partition of a Target System
.... 3
3
Formulating the Computational Complexity of Current Simulators
.... 3
3.1
Formulating the Comtutational Complexity of QM-Type Simulators
.... 3
3.2
Formulationg the Computational Complexity of QPT-type Simulators
.... 4
4
Effect of Partition Method on the Computational Efficiency of Qualitative Simulators
.... 5
4.1
Effect of Partition Methods for QM-type Simulators
.... 6
4.2
Effect of Partition Methods for QPT-type Simulators
.... 6
4.3
Investigation of the Meanings of Some Formulae
.... 7
5
Criteria to Apply Our Methods
.... 8
5.1
Criteria to Apply the Method in the Propagation Process
.... 8
5.2
Criteria to Apply the Method in the Prediction Process
.... 9
6
An Example of the Application of the Partition method in Quaitative Reasoning
.... 9
7
Conclusion
.... 10
Acknowledgement
.... 11
References
.... 11
Appendix
.... 11
目次をクリックすると、PDFファイルが表示されます。
ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports