OPEN ACCESS
This paper is the next logical step in discovering the algorithm for inventing new algorithms, the Algorithm of Discovery. This research is within the scope of investigation of the structure of the Primary Language of the human brain as introduced by J. von Neumann in 1957. In this paper, we revise our hypothesis that the Primary Language is a collection of algorithms crucial for survival and development of humanity including two major components, the algorithm optimizing warfighting, Linguistic Geometry (LG), and the Algorithm of Discovery. We suggest that the Primary Language is the Language of Visual Streams (“mental movies”) that empower directly both of those components as well as all the human symbolic languages and sciences. The Algorithm of Discovery is based on multiple thought experiments, which manifest themselves via visual streams. Those streams can run concurrently and exchange information between each other. The streams may initiate additional thought experiments, program them, and execute them in due course. The streams may operate employing the algorithm of “a child playing a construction set” that includes a construction model, a construction set and the Ghost. The streams are focused employing several types of reasoning including proximity and mosaic reasoning. In this paper we introduce a concise discovery program generated as a result of execution of the Algorithm of Discovery. A discovery program consists of a recorded series of thought experiments in a way that every experiment either builds new theme of visual streams or utilizes themes built previously. A series of themes of streams is the key for making discoveries.
algorithm of discovery, artificial intelligence, linguistic geometry, mosaic reasoning, primary language, proximity reasoning, visual stream
[1] Von Neumann, J., The Computer and the Brain, Yale University Press, 1958.
[2] Stilman, B., Thought experiments in linguistic geometry. Proc. of the 3d Int. Conf on Advanced Cognitive Technologies and Applications – COGNITIVE’2011, Rome, Italy, pp. 77–83, 2011.
[3] Stilman, B., Formation of the Set of Trajectory Bundles, Appendix 1 to the book: On the Cybernetic Goal of Games, by Botvinnik, M.M., Soviet Radio, Moscow (in Russian), pp. 70–77, 1975.
[4] Stilman, B., Ierarhia formalnikh grammatik dla reshenia prebornikh zadach (Hierachy of Formal Grammars for Solving Search Problems), Tech. Report, VNIIE, Moscow (in Russian), p. 105, 1976.
[5] Stilman, B., A formal language for hierarchical systems control. International Journal Languages of Design, 1(4), pp. 333–356, 1993.
[6] Stilman, B., A linguistic approach to geometric reasoning. International Journal of Computers & Mathematics with Applications, 26(7), pp. 29–58, 1993. http://dx.doi.org/10.1016/0898-1221(93)90049-2
[7] Stilman, B., Network languages for complex systems. International Journal of Computers & Mathematics with Application, 26(8), pp. 51–80, 1993.
http://dx.doi.org/10.1016/0898-1221(93)90331-O
[8] Stilman, B., Linguistic geometry for control systems design. International Journal of Computers and their Applications, 1(2), pp. 89–110, 1994.
[9] Stilman, B., Translations of network languages. International Journal of Computers & Mathematics with Application, 27(2), pp. 65–98, 1994.
http://dx.doi.org/10.1016/0898-1221(94)90037-X
[10] Stilman, B., Deep search in linguistic geometry, symp. on linguistic geometry and semantic control. Proc. of the First World Congress on Intelligent Manufacturing: Processes and Systems, Mayaguez, Puerto Rico, pp. 868–879, 1995.
[11] Stilman, B., A linguistic geometry for 3d strategic planning. Proc. of the 1995 Goddard Conference on Space Applications of Artificial Intelligence and Emerging Information Technologies, NASA Goddard Space Flight Center, Greenbelt, MD, USA, pp. 279–295, 1995.
[12] Stilman, B., Linguistic geometry tools generate optimal solutions. Proc. of the 4th Int. Conference on Conceptual Structures - ICCS’96, Sydney, Australia, pp. 75–99, 1996. http://dx.doi.org/10.1007/3-540-61534-2_5
[13] Stilman, B., Managing search complexity in linguistic geometry. IEEE Transaction on Systems, 27(6), pp. 978–998, 1997. http://dx.doi.org/10.1109/3477.650058
[14] Stilman, B., Network languages for concurrent multi-agent systems. International Journal of Computers & Mathematics with Application, 34(1), pp. 103–136, 1997. http://dx.doi.org/10.1016/S0898-1221(97)00102-8
[15] Stilman, B., Linguistic Geometry: From Search to Construction, Kluwer Academic Publishers (now Springer), p. 416, 2000.
[16] Stilman, B., Linguistic geometry and evolution of intelligence. ISAST Transaction on Computers and Intelligent Systems, 3(2), pp. 23–37, 2011.
[17] Stilman, B., Yakhnis, V. & Umanskiy, O., Winning strategies for robotic wars: defense applications of linguistic geometry. Artificial Life and Robotics, 4(3), 2000.
http://dx.doi.org/10.1007/BF02481336
[18] Stilman, B., Yakhnis, V. & Umanskiy, O., Knowledge acquisition and strategy generation with lg wargaming tools. International Journal of Computer Intelligence and Applications, 2(4), pp. 385–409, 2002. http://dx.doi.org/10.1142/S1469026802000713
[19] Stilman, B., Yakhnis, V. & Umanskiy, O., Chapter 3.3. Strategies in large scale problems. In Linguistic Geometry: From Search to Construction , pp. 251–285, 2007.
[20] Stilman, B., Yakhnis, V. & Umanskiy, O., Linguistic geometry: the age of maturity. Journal of Advanced Computational Intelligence and Intelligent Informatics, 14(6), pp. 684–699, 2010.
[21] Stilman, B., Yakhnis, V. & Umanskiy, O., Revisiting history with linguistic geometry. ISAST Transaction on Computers and Intelligent Systems, 2(2), pp. 22–38, 2010.
[22] Stilman, B., Yakhnis, V. & Umanskiy, O., The primary language of ancient battles. International Journal of Machine Learning and Cybernetics, 2(3), pp. 157–176, 2011. http://dx.doi.org/10.1007/s13042-011-0029-9
[23] Stilman, B., Discovering the discovery of linguistic geometry. International Journal of Machine Learning and Cybernetics, 4(6), pp. 575–594, 2012. http://dx.doi.org/10.1007/s13042-012-0114-8
[24] Stilman, B., Discovering the discovery of the no-search approach. International Journal of Machine Learning and Cybernetics, p.27, 2012.
http://dx.doi.org/10.1007/s13042-012-0127-3
[25] Stilman, B., Discovering the discovery of the hierarchy of formal languages. International Journal of Machine Learning and Cybernetics Springer, p. 25, 2012.
http://dx.doi.org/10.1007/s13042-012-0146-0
[26] Stilman, B., Visual reasoning for discoveries. International Journal of Machine Learning and Cybernetics, Springer, p. 23, 2013. http://dx.doi.org/10.1007/s13042-013-0189-x
[27] Stilman, B., Proximity reasoning for discoveries. International Journal of Machine Learning and Cybernetics, Springer, p. 31, 2014.
[28] http://dx.doi.org/10.1007/s13042-014-0249-x
[29] Stilman, B., Mosaic reasoning for discoveries. Journal of Artificial Intelligence and Soft Computing Research, 3(3), pp. 147–173, 2013.
http://dx.doi.org/10.2478/jaiscr-2014-0011
[30] Stilman, B., The primary language of battles and discoveries. International Journal of Applied Mathematics and Fundamental Informatics, 1, pp. 160–166, 2014.
[31] Deheaene, S., A few steps toward a science of mental life. Mind, Brain and Education, 1(1), pp. 28–47, 2007. http://dx.doi.org/10.1111/j.1751-228X.2007.00003.x
[32] Einstein, A., On the Electrodynamics of Moving Bodies, Annalen der Physik, 17, 891, 1905 (in German). http://dx.doi.org/10.1002/andp.19053221004
[33] Miller, A.L., Insights of Genius: Imagery and Creativity in Science and Art, Copernicus, an imprint of Springer-Verlag, 1996. http://dx.doi.org/10.1007/978-1-4612-2388-7
[34] Kosslyn, A., Thompson, W., Kim, I. & Alpert, N., Representations of mental images in primary visual cortex. Nature, 378, pp. 496–498, 1995. http://dx.doi.org/10.1038/378496a0
[35] Iacoboni, M., Mirroring People, The New Science of How We Connect with Others, Farrar, Straus and Giroux, New York, 2008.
[36] Watson, J.D., The Double Helix: A Personal Account of the Discovery of the Structure of DNA, Atheneum, New York, 1968. [Scribner Classics Edition, NewYork, 1996.]
[37] Watson, J.D. & Crick, F.H.C., A structure for deoxyribose nucleic acid. Nature, 171, pp. 737–738, 1953.
http://dx.doi.org/10.1038/171737a0
[38] Thomson, G., The Inspiration of Science, Oxford University Press, London, 1961.
[39] Astbury, W.T., X-Ray studies of nucleic acids. Symposia of the Society of Experimental Biology, 1, pp. 66–76, 1947.
[40] Botvinnik, M., Chess, Computers, and Long-Range Planning, Springer-Verlag, New York, 1970. http://dx.doi.org/10.1007/978-1-4684-6245-6
[41] Botvinnik, M., Blok-skema algorithma igry v shahmaty (in Russian: A Flow-Chart of the Algorithm for Playing Chess), Sovetskoe Radio, 1972.
[42] Botvinnik, M., Computers in Chess: Solving Inexact Search Problems, Springer-Verlag, 1984. http://dx.doi.org/10.1007/978-1-4612-5204-7
[43] Chargaff, E., Structure and function of nucleic acids as cell constituents. Federation Proceedings, 10, pp. 654–659, 1951.
[44] Crick, F.H.C. & Watson, J.D., The complementary structure of deoxyribonucleic acid Proceedings of the Royal Society A, 223, pp. 80–96, 1954. http://dx.doi.org/10.1098/rspa.1954.0101
[45] Foppl, O., Introduction to Maxwell’s Theory of Electricity, B.G. Teubner: Leipzig, 1894 (in German).
[46] Galilei, G., Dialogue Concerning the Two Chief World Systems, 1632 (tranl. by Stillman Drake).
[47] Furberg, S., On the structure of nucleic acids. Acta Chemica Scandinavica, 6, pp. 634–640, 1952.
http://dx.doi.org/10.3891/acta.chem.scand.06-0634
[48] Kott, A. & McEneaney, W. (eds), Adversarial Reasoning: Computational Approaches to Reading the Opponent’s Mind, Chapman & Hall/CRC, 2007.
[49] Pauling, L. & Corey, R.B., A proposed structure for the nucleic acids. Nature, 171, pp. 346–359, 1953.
http://dx.doi.org/10.1038/171346a0
[50] Watson, J.D. & Crick, F.H.C., The structure of DNA. Cold Spring Harbor Symposia on Quantitative Biology, 18, pp. 123–131, 1953.
http://dx.doi.org/10.1101/SQB.1953.018.01.020