Have a personal or library account? Click to login

Reasoning with Computer Code: a new Mathematical Logic

Journal of Artificial General Intelligence
Volume 3 (2012): Issue 3 (December 2012)
By:
Open Access
|Jan 2013

References

  1. 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.
  2. Caspard, N.; Leclerc, B.; and Monjardet, B. 2012. Finite Ordered Sets. New York: Cambridge University Press.10.1017/CBO9781139005135
  3. 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.10.1073/pnas.1200430109339082622715290
  4. Hawkins, J. 2004. On Intelligence. New york: Times Books.
  5. Hofstadter, D. R. 1985. Metamagical Themas: Questing for the Essence of Mind and Pattern. New York: Basic Books, Inc.
  6. 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.10.1016/j.tins.2005.11.00416325278
  7. 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/0503066s
  8. 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.
  9. Pissanetzky, S. 1984. Sparse Matrix Technology. London: Academic Press.10.1016/B978-0-12-557580-5.50012-0
  10. 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.
  11. 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.
  12. Pissanetzky, S. 2011a. Emergence and Self-organization in Partially Ordered Sets. Complexity 17(2):19–38.10.1002/cplx.20389
  13. 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.
  14. 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.
  15. Pissanetzky, S. 2012a. A case study: the European Example. Available electronically at http://www.scicontrols.com/Articles/EuropeanExample.htm.
  16. Pissanetzky, S. 2012b. The Detailed Dynamics of Dynamical Systems. Available electronically at http://www.scicontrols.com/Articles/TheoryOfDetailedDynamics.htm.
  17. Pissanetzky, S. 2012c. Overview of Previous Work on Causal Logic. Available electronically at http://www.scicontrols.com/Articles/OverviewOfPreviousWork.htm.
  18. Pissanetzky, S. 2012d. Separating points. Available electronically at http://www.scicontrols.com/Articles/PointSeparation.htm.
  19. 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.
  20. Pissanetzky, S. 2012f. Verification of the Theory of Detailed Dynamics. Available electronically at http://www.scicontrols.com/Articles/VerificationForTheoryOfDetailedDynamics.htm.
  21. Schröder, B. S. W. 2002. Ordered sets. Boston, USA: Birkh¨auser.10.1007/978-1-4612-0053-6
  22. Shafer, G. 1998. Causal Logic. Available electronically from http://www.glennshafer.com/assets/downloads/articles/article62.pdf.
  23. 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.10.1126/science.1215280377346422461612
DOI: https://doi.org/10.2478/v10229-011-0020-6 | Journal eISSN: 1946-0163
Journal RSS Feed
Language: English
Page range: 11 - 42
Published on: Jan 4, 2013
Published by: Artificial General Intelligence Society
In partnership with: Paradigm Publishing Services
Publication frequency: 2 issues per year
Keywords:
AGI,
emergent inference,
mathematical logic,
self-programming,
virtual machine
Related subjects:
Computer sciences,
Artificial intelligence

© 2013 Sergio Pissanetzky, published by Artificial General Intelligence Society
This work is licensed under the Creative Commons License.

Volume 3 (2012): Issue 3 (December 2012)