Inheritance Operations in Massively Parallel Knowledge Representation
作者： James Geller , None
DOI: 10.1016/B978-0-444-81704-4.50011-9
关键词:
摘要: This chapter elaborates on an approach to knowledge representation that combines the use of a limited inference strategy with massive parallelism. Conceptually, class hierarchy is used. The nodes in this are augmented by preorder numbering scheme. then transformed into pointer-free linear tree . implemented CM-2 Connection Machine, such every node resides its own processor. discusses detail algorithm for inheritance representation. It also introduces upward-inductive Experimental data from Machine implementation show given machine size downward can be performed constant time. height has no influence run Upward-inductive times grow very moderately number tree. 1
sci-hub.st 参考文章(15)
Lenhart K. Schubert, Mary Angela Papalaskaris, Jay Taugher, Accelerating Deductive Inference: Special Methods for Taxonomies, Colours and Times Springer, New York, NY. pp. 187- 220 ,(1987) , 10.1007/978-1-4612-4792-0_9
Franz Kurfeß, None, Massive Parallelism in Inference Systems Machine Intelligence and Pattern Recognition. ,vol. 14, pp. 259- 277 ,(1994) , 10.1016/B978-0-444-81704-4.50016-8
David L. Waltz, Massively parallel AI national conference on artificial intelligence. pp. 1117- 1122 ,(1990)
Alan Frisch, Anthony Cohn, Thoughts and afterthoughts on the 1988 Workshop on Principles of Hybrid Reasoning Ai Magazine. ,vol. 11, pp. 77- 83 ,(1991) , 10.1609/AIMAG.V11I4.876
Alan Frisch, Richard Scherl, A bibliography on hybrid reasoning Ai Magazine. ,vol. 11, pp. 84- 87 ,(1991) , 10.1609/AIMAG.V11I4.877
Schubert, Papalaskaris, Taugher, Determining Type, Part, Color, and Time Relationships IEEE Computer. ,vol. 16, pp. 53- 60 ,(1983) , 10.1109/MC.1983.1654198
Alan M. Frisch, The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning Artificial Intelligence. ,vol. 49, pp. 161- 198 ,(1991) , 10.1016/0004-3702(91)90009-9
JAMES GELLER, CHARLES (YAOGUI) DU, Parallel implementation of a class reasoner Journal of Experimental and Theoretical Artificial Intelligence. ,vol. 3, pp. 109- 127 ,(1991) , 10.1080/09528139108915284
M.P. Evett, J.A. Hendler, L. Spector, PARKA: parallel knowledge representation on the Connection Machine Journal of Parallel and Distributed Computing. ,vol. 22, pp. 168- 184 ,(1990) , 10.1006/JPDC.1994.1079
Rakesh Agrawal, Shaul Dar, H. V. Jagadish, Direct transitive closure algorithms: design and performance evaluation ACM Transactions on Database Systems. ,vol. 15, pp. 427- 458 ,(1990) , 10.1145/88636.88888