Massively parallel knowledge representation and reasoning: Taking a cue from the brain

Machine Intelligence and Pattern Recognition

Volumn 20, Issue C, 1997, Pages 3-40

  Shastri, Lokendra ^a   Mani, D R ^b  

^a INTERNATIONAL COMPUTER SCIENCE INSTITUTE   (United States)

^b SUN MICROSYSTEMS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 77957072842     PISSN: 09230459     EISSN: None     Source Type: Book Series    
DOI: 10.1016/S0923-0459(97)80003-1     Document Type: Article

References (32)

1. Ajjanagadde V., and Shastri L. Rules and variables in neural nets. Neural Computation 3 (1991) 121-134
2. Baddley A. Working Memory (1986), Clarendon Press
3. Dietz P., Krizanc D., Rajasekaran S., and Shastri L. A lower bound result for the common element problem and its implication for reflexive reasoning. Technical Report MS-CIS-93-73 (1993), Department of Computer and Information Science, University of Pennsylvania
4. Evett M.P., Andersen W.A., and Hendler J.A. Providing computationally effective knowledge representation via massive parallelism. In: Kanal L., and Kumar V. (Eds). Parallel Processing for Artificial Intelligence (1994), Elsevier Science Publication, New York
5. Fahlman S.E. NETL: A System for Representing and Using Real World Knowledge (1979), MIT Press, Cambridge MA
6. Feldman J.A., and Ballard D.H. Connectionist models and their properties. Cognitive Science 6 3 (1982) 205-254
7. Geller J., and Du C. Parallel implementation of a class reasoner. Journal of Theoretical Artificial Intelligence 3 (1991) 109-127
8. Guha R.V., and Lenat D.B. CYC: A mid-term report. AI Magazine 11 3 (1990) 32-59
9. J. Henderson. Connectionist syntactic parsing using temporal variable binding. Journal of Psycholinguistic Research, 23(5):353-379, 1004.
10. Just M.A., and Carpenter P.A. A capacity theory of comprehension: Individual differences in working memory. Psychological Review 99 1 (1993) 122-149
11. Kitano H. Challenges of massive parallelism. Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (1993) 813-834
12. Kitano H., Hendler H., Higuchi T., Moldovan D., and Waltz D. Massively parallel artificial intelligence. Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (1991) 557-562
13. Lakoff G., and Johnson M. Metaphors We Live By (1980), University of Chicago Press, Chicago
14. Mani D.R. The Design and Implementation of Massively Parallel Knowledge Representation and Reasoning Systems: A Connectionist Approach. PhD thesis (1995), Department of Computer and Information Science, University of Pennsylvania
15. Mani D.R., and Shastri L. Reflexive reasoning with multiple instantiation in a connectionist reasoning system with a type hierarchy. Connection Science 5 3 & 4 (1993) 205-242
16. Revised March 1993. Miller G.A., Beckwith R., Fellbaum C., Gross D., Miller K., and Tengi R. Five papers on WordNet. Technical Report CSL-43 (July 1990), Princeton University
17. Shastri L. Massive parallelism in artificial intelligence. Technical Report MS-CIS-86-77 (1986), University of Pennsylvania
18. Shastri L. Semantic Networks: An Evidential Formulation and its Connectionist Realization (1988), Morgan Kaufmann, San mateo, CA
19. Shastri L. Default reasoning in semantic networks: A formalization of recognition and inheritance. Artificial Intelligence 39 3 (1989) 283-355
20. Shastri L. The relevance of connectionism to AI: A representation and reasoning perspective. In: Barnden J.A., and Pollack J.B. (Eds). Advances in Connectionist and Neural Computation Theory Volume 1 (1991), Ablex Publishing Corporation, Norwood, NJ
21. Shastri L. A computational model of tractable reasoning-taking inspiration from cognition. Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (1993)
22. Shastri L. Structured connectionist models. In: Arbib M.A. (Ed). The Handbook of Brain Theory and Neural Networks (1995), MIT Press
23. Shastri L., and Ajjanagadde V. From simple associations to systematic reasoning: A connectionist representation of rules, variables and dynamic bindings using temporal synchrony. Behavioral and Brain Sciences 16 3 (1993) 417-494
24. Shastri L., and Grannes D.J. Dealing with negated knowledge and inconsistency in a neurally motivated model of memory and reflexive reasoning. Technical Report TR-95-041 (1995), International Computer Science Institute
25. Singer W. Synchronization of cortical activity and is putative role in information processing and learning. Annual Review of Psysiology 55 (1993) 349-374
26. U. K. Sources (April 1994), National Library of Medicine
27. TMC. Connection machine CM-5 technical summary. Technical Report CMD-TS5 (1991), Thinking Machines Corporation, Cambridge, MA
28. TMC. CMMD Reference Manual. Version 3.0 (1993), Thinking Machines Corporation, Cambridge, MA
29. TMC. CM-5 User's Guide. CMost Version 7.3 (1994), Thinking Machines Corporation, Cambridge, MA
30. Ullman J.D. Principles of Database and Knowledge-Bases Systems (1988), Computer Science Press
31. von Eicken T., Culler D.E., Goldstein S.C., and Schauser K.E. Active messages: A mechanism for integrated communication and computation. Proceedings of the Nineteenth International Symposium on Computer Architecture (1992), ACM Press
32. Waltz D.L. Memory-based reasoning. In: Arbib M.A., and Robinson I.A. (Eds). Natural and Artificial Parallel Computation (1990), MIT Press, Cambridge, MA 251-276