×

Spatial/kinematic domain and lattice computers. (English) Zbl 0803.68099

Summary: An approach to analogical representation for objects and their motions in space is proposed. This approach involves lattice computer architectures and associated algorithms and is shown to be abstracted from the behaviour of human beings mentally solving spatial/kinematic puzzles. There is also discussion of where in this approach the modelling of human cognition leaves off and the engineering begins. The possible relevance of the approach to a number of issues in artificial intelligence is discussed. These issues include efficiency of sentential versus analogical representations, common sense reasoning, update propagation, learning performance tasks, diagrammatic representations, spatial reasoning, metaphor, human categorization, and pattern recognition. Lastly, there is a discussion of the somewhat related approach involving cellular automata applied to computational physics.

MSC:

68T01 General topics in artificial intelligence
68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
68M10 Network design and communication in computer systems
68Q80 Cellular automata (computational aspects)
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Anthony R. J., Bulletin de la Société d’Anthropologic de Paris 9 pp 1– (1938)
[2] Aurenhammer , F. ( 1990 ) Voronoi diagrams-a survey of a fundamental geometric data structure . Technical Report B-90–9, Institute for Computer Science, Dept. of Mathematics , Freie Universität Berlin .
[3] DOI: 10.1016/S0020-7373(85)80037-7 · doi:10.1016/S0020-7373(85)80037-7
[4] DOI: 10.1016/S0020-7373(85)80037-7 · doi:10.1016/S0020-7373(85)80037-7
[5] Baron R., The Cerebral Computer (1987)
[6] Barlett F. C., Remembering-A Study in Experimental and Social Psychology (1932)
[7] Blinkov S. M., The Human Brain in Figures and Tables (1968)
[8] Block N., Imagery (1981)
[9] Bower B., Science News 54 (1993)
[10] Bruchman R., Readings in Knowledge Representation (1985)
[11] DOI: 10.1016/0004-3702(81)90028-X · doi:10.1016/0004-3702(81)90028-X
[12] Burks A. W., Essays on Cellular Automata (1970) · Zbl 0228.94013
[13] Case J., Language Learning and Concept Acquisition Foundational Issues (1986)
[14] Case J., Encyclopedia of Artificial Intelligence (1987)
[15] DOI: 10.1080/09528139408953778 · Zbl 0803.68110 · doi:10.1080/09528139408953778
[16] DOI: 10.1016/0304-3975(83)90061-0 · Zbl 0524.03025 · doi:10.1016/0304-3975(83)90061-0
[17] Case J., Foundations of Software Technology & Theoretical Computer Science, (Lecture Notes in Computer Science) 472 pp 190– (1990)
[18] Case J., US Patent Application submitted (1990)
[19] Case . J. , Rajan , D. S. , and Shende , A. M. ( 1991a ) Lattice computers for optimally representing Euclidean space . Technical Report 91–15 , University of Delaware .
[20] Case , J. , Rajan , D. S. , and Shende , A. M. ( 1991b ) Simulating uniform motion in lattice computers I Constant speed particle translation . Technical Report 91–17 , University of Delaware .
[21] Case , J. , Rajan , D. S. , and Shende , A. M. ( 1991c ) Spherical wave front generation in lattice computers . Technical Report 91–16 , University of Delaware .
[22] Chandrupatla T., Introduction to Finite Elements in Engineering (1991) · Zbl 0756.73001
[23] Codd E. F., Cellular Automata (1968)
[24] Conway J. H., Sphere Packings, Lattices and Croups (1993)
[25] Cook N. D., The Brain Code Mechanisms of Information Transfer and the Role of the Corpus-Callosum (1986)
[26] Cormcn T., Introduction to Algorithms (1990)
[27] DOI: 10.1007/BF02650179 · doi:10.1007/BF02650179
[28] DOI: 10.1037/0033-295X.87.2.113 · doi:10.1037/0033-295X.87.2.113
[29] DOI: 10.1037/0096-1523.3.4.599 · doi:10.1037/0096-1523.3.4.599
[30] DOI: 10.1108/eb005421 · Zbl 0351.68019 · doi:10.1108/eb005421
[31] Forbus , K. ( 1981 ) A study of qualitative and geometric knowledge in reasoning about motion . Technical Report AI.TR.615 , MIT, AI-Lab .
[32] Forbus K., Mental Models (1983)
[33] DOI: 10.1007/BF01857727 · Zbl 0496.94015 · doi:10.1007/BF01857727
[34] DOI: 10.1103/PhysRevLett.56.1505 · doi:10.1103/PhysRevLett.56.1505
[35] DOI: 10.1016/0004-3702(80)90002-8 · doi:10.1016/0004-3702(80)90002-8
[36] Gardner H., The Shattered Mind The Person after Brain Damage (1975)
[37] Gardner H., Art, Mind, and Brain A Cognitive Approach to Creativity (1982)
[38] Garey M., Computers and Intractability (Freeman) (1979)
[39] Gelernter H., Computers and Thought (1963)
[40] Genesereth M., Logical Foundations of Artificial Intelligence (1987)
[41] Gruber P. M., Geometry of Numbers (1987) · Zbl 0611.10017
[42] Hasslacher B., Los Alamos Science 15 pp 175– (1987)
[43] Heisenberg W., Physics and Philosophy (1958) · doi:10.1063/1.3062735
[44] Herstein I. N., Topics in Algebra (Blaisdell) (1964) · Zbl 0122.01301
[45] DOI: 10.1207/s15516709cog0303_3 · doi:10.1207/s15516709cog0303_3
[46] DOI: 10.1037/0003-066X.37.4.411 · doi:10.1037/0003-066X.37.4.411
[47] DOI: 10.1016/0743-7315(91)90088-Q · doi:10.1016/0743-7315(91)90088-Q
[48] Kosslyn S. M., Image and Mind (1980)
[49] Kosslyn S. M., Ghosts in the Mind’s Machine Creating and Using Images in the Brain (1983)
[50] Kung H. T., Proceedings of the Symposium on Sparse Matrix Computing and Their Applications pp 245– (1978)
[51] Lakoff G., Metaphors We Live (1980)
[52] Larkin J., Cognitive Science (1987)
[53] Machtey M., An Introduction to the General Theory of Algorithms (1978) · Zbl 0376.68027
[54] Marcoux Y., Proceedings, Structure in Complexity Theory-Fourth Annual Conference (1987)
[55] Margolus N., Physica 10 pp 81– (1984)
[56] Marr D., Vision A Computational Investigation into the Human Representation and Processing of Visual Information (1982)
[57] DOI: 10.1016/0004-3702(84)90045-6 · doi:10.1016/0004-3702(84)90045-6
[58] Mervis C. B., Annual Review of Psychology 32 (1981)
[59] DOI: 10.1109/12.21120 · doi:10.1109/12.21120
[60] Minsky M., Cellular vacuumof Theoretical Physics 21 pp 00– (1982)
[61] Minsky M., The Society of Mind (1986)
[62] Minsky M., An Introduction to Computational Geometry (1969) · Zbl 0197.43702
[63] Neumann J. V., Theory of Self-Reproducing Automata (1966)
[64] Newman J. R., Science and Sensibility (1961)
[65] Nivan W. D., The Scientific Papers of James Clerk Maxwell (1961)
[66] O’Neil J., Prodigal Genius The Life of Nikola Testa (1981)
[67] Ornstein R., The Psychology of Consciousness (1972)
[68] Poulton J., In Chapel Hill Conference on VLSI (1985)
[69] Preston K., Modern Cellular Automata Theory and Applications (1984) · Zbl 0659.68082 · doi:10.1007/978-1-4899-0393-8
[70] Rajan D. S., University of Delaware. Journal article under review (1991)
[71] Riccardi , G. ( 1980 ) The independence of control structures in abstract programming systems . PhD thesis , SUNY Buffalo .
[72] DOI: 10.1016/0022-0000(81)90024-6 · Zbl 0467.68009 · doi:10.1016/0022-0000(81)90024-6
[73] DOI: 10.2307/2964292 · Zbl 0088.01602 · doi:10.2307/2964292
[74] Rogers H., Theory of Recursive Functions and Effective Computability (1967) · Zbl 0183.01401
[75] Rosch E., Cognition and Categorization (1978)
[76] Royer J., A Connotational Theory of Program Structure 273 (1987) · Zbl 0625.68018 · doi:10.1007/3-540-18253-5
[77] Royer , J. and Case , J. ( 1986 ) Progressions of relatively succinct programs in subrecursive hierarchies . Technical Report 86–007 , University of Chicago , Computer Science Dept .
[78] Royer J., Intensional Subrecursion and Complexity Theory (1991)
[79] Rumelhart D., Stevens’ Handbook of Experimental Psychology 2 (1974)
[80] Salem J. B., Theory and Applications of Cellular Automata (1986)
[81] Schilpp P. A., Albert Einstein Philosopher-Scientist (1949) · Zbl 0038.14804
[82] Selman , B. ( 1988 ) Analogues. Technical report . University of Toronto . Technical Note CSRI-47 .
[83] Shcnde , A. M. ( 1991 ) Digital analog simulation of uniform motion in representations of physical n- spacc by lattice-work MIMD computer architectures . PhD thesis , SUNY at Buffalo , Buffalo , N.Y . TR 91–14, Department of Computer Science .
[84] DOI: 10.1037/0003-066X.33.2.125 · doi:10.1037/0003-066X.33.2.125
[85] DOI: 10.1016/0010-0285(70)90002-2 · doi:10.1016/0010-0285(70)90002-2
[86] Shepard R. N., Mental Images and Their Transformations (1982)
[87] DOI: 10.1016/0010-0285(72)90005-9 · doi:10.1016/0010-0285(72)90005-9
[88] DOI: 10.1126/science.171.3972.701 · doi:10.1126/science.171.3972.701
[89] Siegel H. J., Interconnection Networks for Large-Scale Parallel Processing (Lexington Books) (1985)
[90] DOI: 10.1016/0004-3702(71)90011-7 · doi:10.1016/0004-3702(71)90011-7
[91] Sloman A., Readings in Knowledge Representation (1985)
[92] Sperry R. W., Hemispheric Specialization and Interaction (1974)
[93] Springer S., Left Brain, Right Brain (1985)
[94] DOI: 10.1016/0375-9601(86)90436-6 · doi:10.1016/0375-9601(86)90436-6
[95] Thinking Machines ( 1986 ) Introduction to data level parallelism . Technical Report 86 . 14Thinking Machines.
[96] Toffoli , T. ( 1977a ) Cellular automata machines . Technical Report 208. Comp. Comm. Sci. Dept. , University of Michigan . · Zbl 0364.94085
[97] DOI: 10.1016/S0022-0000(77)80007-X · Zbl 0364.94085 · doi:10.1016/S0022-0000(77)80007-X
[98] Toffoli T., Physica 10 pp 195– (1984)
[99] Toffoli T., Cellular Automata Machines (1987) · Zbl 0655.68055
[100] Vichniac G., Physica 10 pp 96– (1984)
[101] DOI: 10.1137/0217042 · Zbl 0658.68052 · doi:10.1137/0217042
[102] DOI: 10.1103/RevModPhys.55.601 · Zbl 1174.82319 · doi:10.1103/RevModPhys.55.601
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.