Jump to ContentJump to Main Navigation
Show Summary Details
More options …

Journal of Artificial General Intelligence

The Journal of the Artificial General Intelligence Society

3 Issues per year

Open Access
Online
ISSN
1946-0163
See all formats and pricing
More options …

Reasoning with Computer Code: a new Mathematical Logic

Sergio Pissanetzky
Published Online: 2013-01-04 | DOI: https://doi.org/10.2478/v10229-011-0020-6

Abstract

A logic is a mathematical model of knowledge used to study how we reason, how we describe the world, and how we infer the conclusions that determine our behavior. The logic presented here is natural. It has been experimentally observed, not designed. It represents knowledge as a causal set, includes a new type of inference based on the minimization of an action functional, and generates its own semantics, making it unnecessary to prescribe one. This logic is suitable for high-level reasoning with computer code, including tasks such as self-programming, objectoriented analysis, refactoring, systems integration, code reuse, and automated programming from sensor-acquired data.

A strong theoretical foundation exists for the new logic. The inference derives laws of conservation from the permutation symmetry of the causal set, and calculates the corresponding conserved quantities. The association between symmetries and conservation laws is a fundamental and well-known law of nature and a general principle in modern theoretical Physics. The conserved quantities take the form of a nested hierarchy of invariant partitions of the given set. The logic associates elements of the set and binds them together to form the levels of the hierarchy. It is conjectured that the hierarchy corresponds to the invariant representations that the brain is known to generate. The hierarchies also represent fully object-oriented, self-generated code, that can be directly compiled and executed (when a compiler becomes available), or translated to a suitable programming language.

The approach is constructivist because all entities are constructed bottom-up, with the fundamental principles of nature being at the bottom, and their existence is proved by construction.

The new logic is mathematically introduced and later discussed in the context of transformations of algorithms and computer programs. We discuss what a full self-programming capability would really mean. We argue that self-programming and the fundamental question about the origin of algorithms are inextricably linked. We discuss previously published, fully automated applications to self-programming, and present a virtual machine that supports the logic, an algorithm that allows for the virtual machine to be simulated on a digital computer, and a fully explained neural network implementation of the algorithm.

Keywords: AGI; emergent inference; mathematical logic; self-programming; virtual machine

  • Bolognesi, T. 2010. Causal Sets from Simple Models of Computation. arXiv 1004(3128):1–33. arXiv:1004.3128 Available electronically from http://arxiv.org/abs/1004.3128.Google Scholar

  • Caspard, N.; Leclerc, B.; and Monjardet, B. 2012. Finite Ordered Sets. New York: Cambridge University Press.Google Scholar

  • Cuntz, H.; Mathy, A.; and H¨ausser, M. June 2012. A scaling law derived from optimal dendritic wiring. PNAS, 2012, DOI: 10.1073/pnas.1200430109 1–5. Available electronically from http://www.pnas.org/content/109/27/11014.CrossrefGoogle Scholar

  • Hawkins, J. 2004. On Intelligence. New york: Times Books.Google Scholar

  • Hofstadter, D. R. 1985. Metamagical Themas: Questing for the Essence of Mind and Pattern. New York: Basic Books, Inc.Google Scholar

  • Lin, L.; Osan, R.; and Tsien, J. Z. 2006. Organizing principles of real-time memory encoding: neural clique assemblies and universal neural codes. Trends in Neuroscience 29(1):48–57. Available electronically from http://www.ncbi.nlm.nih.gov/pubmed/16325278.Web of ScienceGoogle Scholar

  • Noether, E. 1918. Invariant Variation Problems. Nachr. d. K¨onig. Gesellsch. d. Wiss. zu G¨ottingen Math-phys 1918:235–257. English translation: arXiv:physics/0503066v1 Available electronically from http://arxiv.org/pdf/physics/0503066sGoogle Scholar

  • Opdyke, W. F. 1992. Refactoring Object-Oriented Frameworks. Ph.D. Dissertation, Dep. of Computer Science, Univ. of Illinois, Urbana-Champaign, Illinois, USA. Available electronically from http://www-public.it-sudparis.eu/ gibson/Teaching/CSC7302/ReadingMaterial/Opdyke92.pdf.Google Scholar

  • Pissanetzky, S. 1984. Sparse Matrix Technology. London: Academic Press.Google Scholar

  • Pissanetzky, S. 2009. A new Universal Model of Computation and its Contribution to Learning, Intelligence, Parallelism, Ontologies, Refactoring, and the Sharing of Resources. Int. J. of Information and Mathematical Sciences 5:143–173. Available electronically from https://www.waset.org/journals/ijims/v5/v5-2-17.pdf.Google Scholar

  • Pissanetzky, S. 2010. Coupled Dynamics in Host-Guest Complex Systems Duplicates Emergent Behavior in the Brain. World Academy of Science, Engineering, and Technology 68:1–9. Available electronically from https://www.waset.org/journals/waset/v44/v44-1.pdf.Google Scholar

  • Pissanetzky, S. 2011a. Emergence and Self-organization in Partially Ordered Sets. Complexity 17(2):19–38.CrossrefWeb of ScienceGoogle Scholar

  • Pissanetzky, S. 2011b. Emergent inference and the future of NASA. Workshop, NASA, NASA Gilruth Center, Johnson Space Center, Clear Lake, TX. Available electronically at http://www.scicontrols.com/Publications/AbstractNASA2011.pdf.Google Scholar

  • Pissanetzky, S. 2011c. Structural Emergence in Partially Ordered Sets is the Key to Intelligence. In Artificial General Intelligence, 92–101. Available electronically from http://dl.acm.org/citation.cfm?id=2032884.Google Scholar

  • Pissanetzky, S. 2012a. A case study: the European Example. Available electronically at http://www.scicontrols.com/Articles/EuropeanExample.htm.Google Scholar

  • Pissanetzky, S. 2012b. The Detailed Dynamics of Dynamical Systems. Available electronically at http://www.scicontrols.com/Articles/TheoryOfDetailedDynamics.htm.Google Scholar

  • Pissanetzky, S. 2012c. Overview of Previous Work on Causal Logic. Available electronically at http://www.scicontrols.com/Articles/OverviewOfPreviousWork.htm.Google Scholar

  • Pissanetzky, S. 2012d. Separating points. Available electronically at http://www.scicontrols.com/Articles/PointSeparation.htm.Google Scholar

  • Pissanetzky, S. 2012e. Symmetry, structure, and causets in discrete quantum gravity. Bulletin of the American Physical Society 57(2):H1.0005. Available electronically from http://meeting.aps.org/Meeting/TSS12/Event/173348.Google Scholar

  • Pissanetzky, S. 2012f. Verification of the Theory of Detailed Dynamics. Available electronically at http://www.scicontrols.com/Articles/VerificationForTheoryOfDetailedDynamics.htm.Google Scholar

  • Schröder, B. S. W. 2002. Ordered sets. Boston, USA: Birkh¨auser.Google Scholar

  • Shafer, G. 1998. Causal Logic. Available electronically from http://www.glennshafer.com/assets/downloads/articles/article62.pdf.Google Scholar

  • Wedeen, V. J.; Rosene, D. L.; Wang, R.; Dai, G.; Mortazavi, F.; Hagmann, P.; Kaas, J. H.; and Tseng, W. I. March 2012. The geometric structure of the brain fiber pathways. Science DOI: 10.1126/science.1215280:1628–1634. Available electronically from http://www.sciencemag.org/content/335/6076/1628.abstract.CrossrefWeb of ScienceGoogle Scholar

About the article


Published Online: 2013-01-04


Citation Information: Journal of Artificial General Intelligence, ISSN (Online) 1946-0163, DOI: https://doi.org/10.2478/v10229-011-0020-6.

Export Citation

This content is open access.

Comments (0)

Please log in or register to comment.
Log in