Mosaic reasoning for discoveries

• Autorzy: Stilman B.

Identyfikatory

DOI

10.2478/jaiscr-2014-0011

• Języki publikacji: EN

Abstrakty

EN

We investigate structure of the Primary Language of the human brain as introduced by J. von Neumann in 1957. Two components have been investigated, the algorithm optimizing warfighting, Linguistic Geometry (LG), and the algorithm for inventing new algorithms, the Algorithm of Discovery. The latter is based on multiple thought experiments, which manifest themselves via mental visual streams (“mental movies”). There are Observation, Construction and Validation classes of streams. Several visual 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 visual streams are focused employing the algorithm of “a child playing a construction set” that includes a visual model, a construction set, and the Ghost. Mosaic reasoning introduced in this paper is one of the major means to focusing visual streams in a desired direction. It uses analogy with an assembly of a picture of various colorful tiles, components of a construction set. In investigating role of mosaic reasoning in the Algorithm of Discovery, in this paper, I replay a series of four thought experiments related to the discovery of the structure of the molecule of DNA. Only the fourth experiment was successful. This series of experiments reveals how a sequence of failures eventually leads the Algorithm to a discovery. This series permits to expose the key components of the mosaic reasoning, tiles and aggregates, local and global matching rules, and unstructured environment. In particular, it reveals the aggregates and the rules that played critical role in the discovery of the structure of DNA. They include the generator and the plug-in aggregates, the transformation and complementarity matching rules, and the type of unstructured environment. For the first time, the Algorithm of Discovery has been applied to replaying discoveries not related to LG and even to mathematics.

Słowa kluczowe

EN

algorithm optimizing warfighting; Linguistic Geometry; LG; Algorithm of Discovery; DNA; mosaic

• Wydawca: University of Social Sciences
• Czasopismo: Journal of Artificial Intelligence and Soft Computing Research
• Rocznik: 2013
• Tom: Vol. 3, No. 3
• Strony: 147--173
• Opis fizyczny: Bibliogr. 40 poz., rys.

Twórcy

autor

Stilman B.

• University of Colorado Denver, Denver, CO, USA & STILMAN Advanced Strategies, Denver, CO, USA

Bibliografia

• [1] M. Botvinnik, Chess, Computers, and LongRange Planning, Springer-Verlag, New York, 1970.
• [2] W.T. Astbury, X-Ray Studies of Nucleic Acids,Symposia of the Society of Experimental Biology,1, pp. 66–76, 1947.
• [3] M. Botvinnik, Blok-skema algorithma igry vshahmaty (in Russian: A Flow-Chart of the Algorithm for Playing Chess), Sovetskoe Radio, 1972.
• [4] M. Botvinnik, Computers in Chess: Solving Inexact Search Problems, Springer-Verlag, 1984.
• [5] E. Chargaff, E. 1951. Structure and function of nucleic acids as cell constituents, Fed. Proc. 10, pp. 654-659, 1951.
• [6] F. H. C. Crick & J.D. Watson, The complementary structure of deoxyribonucleic acid, Proc. Roy. Soc., London, A, 223, pp. 80-96, 1954.
• [7] S. Furberg, On the Structure of Nucleic Acids, Acta Chemica Scandinavica, 6, pp. 634-640, 1952
• [8] A. Kott and W. McEncaney (editors). Adversarial Reasoning: Computational Approaches to Reading the Opponent's Mind. Chapman & Hall/CRC 2007.
• [9] A. Miller, Insights of Genius: Imagery and Creativity in Science and Art, Copernicus, an imprint of Springer-Verlag, 1996.
• [10] L. Pauling and R.B. Corey, Configurations of Polypeptide Chains With Favored Orientations Around Single Bonds: Two New Pleated Sheets,Proc. US Nat. Acad. Sci., 37(11), pp. 729–40, 1951.
• [11] L. Pauling and R.B. Corey, A proposed structure for the nucleic acids, Nature, 171, pp. 346-359,1953; Proc. US Nat. Acad. Sci., 39, pp. 84-97,1953.
• [12] B. Stilman, 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.
• [13] B. Stilman, Ierarhia formalnikh grammatik dla reshenia prebornikh zadach (Hierachy of Formal Grammars for Solving Search Problems), Tech. Report, 105 p., VNIIE, Moscow (in Russian), 1976.
• [14] B. Stilman, A Formal Language for Hierarchical Systems Control, Int. J. Languages of Design,Vol. 1, No.4, pp. 333-356, 1993.
• [15] B. Stilman, A Linguistic Approach to Geometric Reasoning, Int. J. of Computers & Math. with Appl, Vol. 26, No. 7, pp. 29-58, 1993,
• [16] B. Stilman, Network Languages for Complex Systems, Int. J. of Computers & Math. with Appl., Vol. 26, No. 8, pp. 51-80, 1993.
• [17] B. Stilman, Linguistic Geometry for Control Systems Design, Int. J. of Computers and Their Applications,1(2): 89-110, 1994.
• [18] B. Stilman, Translations of Network Languages,Int. J. of Computers & Math. with Appl., Vol. 27,No. 2, pp. 65-98, 1994.
• [19] B. Stilman, Linguistic Geometry Tools GenerateOptimal Solutions, Proc. of the 4th Int. Conference on Conceptual Structures - ICCS’96, pp. 75-99, Aug. 19-22, 1996, Sydney, Australia.
• [20] B. Stilman, Managing Search Complexity in Linguistic Geometry, IEEE Trans. on Syst., Man, and Cybernetics, 27(6): 978-998, 1997.
• [21] B. Stilman, Network Languages for Concurrent Multi-agent Systems, Intl. J. of Computers & Math. with Appl., 34(1): 103-136, 1997.
• [22] B. Stilman, Linguistic Geometry: From Search to Construction. Kluwer Academic Publishers (now Springer), 416 pp., 2000.
• [23] B. Stilman, Linguistic Geometry and Evolution of Intelligence, ISAST Trans. on Computers and Intelligent Systems, Vol. 3, No. 2, pp. 23-37, 2011.
• [24] B. Stilman, Thought Experiments in Linguistic Geometry, Proc. of the 3d Int. Conf on Advanced Cognitive Technologies and Applications – COGNITIVE’2011, Sep. 25-30, 2011, pp. 77-83, Rome, Italy.
• [25] B. Stilman, Discovering the Discovery of Linguistic Geometry, Int. J. of Machine Learning and Cybernetics, (DOI) 10.1007/s13042-012-0114-8,20 p., 2012. Printed in 2013, Vol. 4, No. 6, pp.575-594.
• [26] B. Stilman, Discovering the Discovery of the NoSearch Approach, Int. J. of Machine Learning and Cybernetics, (DOI) 10.1007/s13042-012-0127-3, 27 p., 2012.
• [27] B. Stilman, Discovering the Discovery of the Hierarchy of Formal Languages, Int. J. of Machine Learning and Cybernetics, Springer, (DOI)10.1007/s13042-012-0146-0, 25 p., 2012.
• [28] B. Stilman, Visual Reasoning for Discoveries, Int. J. of Machine Learning and Cybernetics, Springer, (DOI) 10.1007/s13042-013-0189-x, 23 p., 2013.
• [29] B. Stilman, Proximity Reasoning for Discoveries, Int. J. of Machine Learning and Cybernetics, Springer, (DOI): 10.1007/s13042-014-0249-x, 31 p., 2014.
• [30] B. Stilman, V. Yakhnis, O. Umanskiy, Winning Strategies for Robotic Wars: Defense Applications of Linguistic Geometry, Artificial Life and Robotics, Vol. 4, No. 3, 2000.
• [31] B. Stilman, V. Yakhnis, O. Umanskiy, Knowledge Acquisition and Strategy Generation with LG Wargaming Tools, Int. J. of Comp. Intelligence and Applications, Vol 2, No.4, Dec. 2002, pp. 385-409.
• [32] B. Stilman, V. Yakhnis, O. Umanskiy, Chapter 3.3. Strategies in Large Scale Problems, in [8], pp. 251-285, 2007.
• [33] B. Stilman, V. Yakhnis, O. Umanskiy, Linguistic Geometry: The Age of Maturity, J. of Advanced Computational Intelligence and Intelligent Informatics, Vol 14, No. 6, pp. 684-699, Sep. 2010.
• [34] B. Stilman, V. Yakhnis, O. Umanskiy, Revisiting History with Linguistic Geometry, ISAST Trans. on Computers and Intelligent Systems, Vol. 2, No. 2, pp. 22-38, Oct. 2010.Stilman B. 173
• [35] B. Stilman, V. Yakhnis, O. Umanskiy, The Primary Language of Ancient Battles, Int. J. of Machine Learning and Cybernetics, Vol. 2, No. 3, pp. 157-176, 2011.
• [36] G. Thomson, The Inspiration of Science, Oxford U. Press, London, 1961.
• [37] J. Von Neumann, The Computer and the Brain, Yale U. Press, 1958.
• [38] J.D. Watson, The Double Helix: A Personal Account of the Discovery of the Structure of DNA, Atheneum, New York, 1968. [Scribner Classics Edition, NewYork, 1996.]
• [39] J.D. Watson & F. H. C. Crick, A structure for deoxyribose nucleic acid, Nature, 171, pp. 737–738, 1953.
• [40] J.D. Watson & F. H. C. Crick, The structure of DNA, Cold Spring Harbor Symposia on Quantitative Biology 18, pp. 123–131, 1953.