Toward a Modern Geography of Minds, Machines, and Math

  • Selmer Bringsjord
  • Naveen Sundar Govindarajulu
Part of the Studies in Applied Philosophy, Epistemology and Rational Ethics book series (SAPERE, volume 5)

Abstract

We herein report on a project devoted to charting some of the most salient points in a modern “geography” of minds, machines, and mathematics; the project is funded by the John Templeton Foundation, and is being carried out in Bringsjord’s AI and Reasoning Laboratory.

Keywords

Inference Rule Propositional Attitude Epistemic Logic Personal Pronoun Event Calculus 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Arkoudas, K.: Denotational proof languages. Ph.D. thesis, MIT (2000)Google Scholar
  2. 2.
    Arkoudas, K., Bringsjord, S.: Metareasoning for Multi-agent Epistemic Logics. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS (LNAI), vol. 3487, pp. 111–125. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  3. 3.
    Arkoudas, K., Bringsjord, S.: Toward Formalizing Common-Sense Psychology: An Analysis of the False-Belief Task. In: Ho, T.-B., Zhou, Z.-H. (eds.) PRICAI 2008. LNCS (LNAI), vol. 5351, pp. 17–29. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  4. 4.
    Arkoudas, K., Bringsjord, S.: Propositional attitudes and causation. International Journal of Software and Informatics 3(1), 47–65 (2009)Google Scholar
  5. 5.
    Asendorpf, J.B., Warkentin, V., Baudonnière, P.M.: Self-awareness and other-awareness II: Mirror self-recognition, social contingency awareness, and synchronic imitation. Developmental Psychology 32(2), 313–321 (1996)CrossRefGoogle Scholar
  6. 6.
    Bradski, G., Kaehler, A.: Learning OpenCV, 1st edn. O’Reilly Media, Sebastopol (2008)Google Scholar
  7. 7.
    Bringsjord, S.: Declarative/Logic-Based Cognitive Modeling. In: Sun, R. (ed.) The Handbook of Computational Psychology, pp. 127–169. Cambridge University Press, Cambridge (2008)CrossRefGoogle Scholar
  8. 8.
    Bringsjord, S.: The logicist manifesto: At long last let logic-based AI become a field unto itself. Journal of Applied Logic 6(4), 502–525 (2008)MathSciNetMATHCrossRefGoogle Scholar
  9. 9.
    Bringsjord, S., Ferrucci, D.: Logic and artificial intelligence: Divorced, still married, separated..? Minds and Machines 8, 273–308 (1998)CrossRefGoogle Scholar
  10. 10.
    Bringsjord, S., Taylor, J., Shilliday, A., Clark, M., Arkoudas, K.: Slate: An Argument-Centered Intelligent Assistant to Human Reasoners. In: Grasso, F., Green, N., Kibble, R., Reed, C. (eds.) Proceedings of the 8th International Workshop on Computational Models of Natural Argument (CMNA 2008), Patras, Greece, pp. 1–10 (2008)Google Scholar
  11. 11.
    Castañeda, H.N.: ‘He’: A study in the logic of self-consciousness. In: Hart, J.G., Kapitan, T. (eds.) The Phenomeno-Logic of the I: Essays on Self-Consciousness. Indiana University Press, Bloomington (1999)Google Scholar
  12. 12.
    Grove, A.: Naming and identity in epistemic logic part II: a first-order logic for naming. Artificial Intelligence 74(2), 311–350 (1995)MathSciNetMATHCrossRefGoogle Scholar
  13. 13.
    Grove, A., Halpern, J.: Naming and identity in epistemic logics part I: the propositional case. Journal of Logic and Computation 3(4), 345–378 (1993)MathSciNetMATHCrossRefGoogle Scholar
  14. 14.
    Hardegree, G.: Introduction to modal logic. This is an on-line textbook available (2011), http://people.umass.edu/gmhwww/511/text.html (February 2012)
  15. 15.
    Keenan, J., Gallup, G., Falk, D.: The face in the mirror: The search for the origins of consciousness, 1st edn. Ecco (Harper Collins), Publishers, New York City (2003)Google Scholar
  16. 16.
    Kolmogorov, A., Uspenskii, V.: On the Definition of an Algorithm. Uspekhi Matematicheskikh Nauk 13(4), 3–28 (1958)MathSciNetMATHGoogle Scholar
  17. 17.
    Mueller, E.: Commonsense reasoning, 1st edn. Morgan Kaufmann, Waltham (2006)Google Scholar
  18. 18.
    Nielsen, M., Dissanayake, C.: Pretend play, mirror self-recognition and imitation: A longitudinal investigation through the second year. Infant Behavior and Development 27(3), 342–365 (2004)CrossRefGoogle Scholar
  19. 19.
    Pappas, G., Swain, M.: Essays on knowledge and justification. Cornell University Press, Ithaca (1978)Google Scholar
  20. 20.
    Prior, H., Schwarz, A., Güntürkün, O.: Mirror-induced behavior in the magpie (pica pica): evidence of self-recognition. PLoS Biology 6(8), e202 (2008)CrossRefGoogle Scholar
  21. 21.
    Rapaport, W., Shapiro, S., Wiebe, J.: Quasi-indexicals and knowledge reports. Cognitive Science: A Multidisciplinary Journal 21(1), 63–107 (1997)CrossRefGoogle Scholar
  22. 22.
    Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach. Prentice-Hall, Upper Saddle River (2002)Google Scholar
  23. 23.
    Smith, P.: An Introduction to Gödel’s Theorems. Cambridge University Press, Cambridge (2007)CrossRefGoogle Scholar
  24. 24.
    Stickel, M., Waldinger, R., Lowry, M., Pressburger, T., Underwood, I.: Deductive composition of astronomical software from subroutine libraries. In: Proceedings of the Twelfth International Conference on Automated Deduction (CADE–12), Nancy, France, pp. 341–355 (1994), SNARK can be obtained at the url provided here, http://www.ai.sri.com/~stickel/snark.html
  25. 25.
    Takeno, J., Inaba, K., Suzuki, T.: Experiments and examination of mirror image cognition using a small robot. In: Proceedings. 2005 IEEE International Symposium on Computational Intelligence in Robotics and Automation, CIRA 2005, pp. 493–498. IEEE (2005)Google Scholar
  26. 26.
    Wooldridge, M.J.: An Introduction to Multiagent Systems. John Wiley & Sons Ltd., The Atrium (2002)Google Scholar

Copyright information

© Springer-Verlag GmbH Berlin Heidelberg 2013

Authors and Affiliations

  • Selmer Bringsjord
    • 1
    • 2
    • 3
  • Naveen Sundar Govindarajulu
    • 1
    • 2
    • 3
  1. 1.Department of Cognitive ScienceRensselaer Polytechnic Institute (RPI)TroyUSA
  2. 2.Department of Computer ScienceRensselaer Polytechnic Institute (RPI)TroyUSA
  3. 3.Lally School of Management & TechnologyRensselaer Polytechnic Institute (RPI)TroyUSA

Personalised recommendations