On Creative Self-Driving Cars: Hire the Computational Logicians, Fast

References

• Almeida, J., M. Frade, J. Pinto, and S. De Sousa. 2011. Rigorous software development: An introduction to program verification. New York, NY: Spinger.
   Google Scholar
• Alpaydin, E. 2014. Introduction to machine learning. Cambridge, MA: MIT Press.
   Google Scholar
• Arkin, R. 2009. Governing lethal behavior in autonomous robots. New York, NY: Chapman and Hall/CRC.
   Google Scholar
• Arkoudas, K., and S. Bringsjord. 2007. Computers, justification, and mathematical knowledge. Minds and Machines 17 (2):185–202. doi:10.1007/s11023-007-9063-5.
   Web of Science ®Google Scholar
• Arkoudas, K., S. Bringsjord, and P. Bello. 2005. Toward ethical robots via mechanized deontic logic. In Machine ethics: Papers from the AAAI Fall Symposium; FS–05–06, 17–23. Menlo Park, CA: American Association for Artificial Intelligence. http://www.aaai.org/Library/Symposia/Fall/fs05-06.php.
   Google Scholar
• Arkoudas, K., K. Zee, V. Kuncak, and M. Rinard. 2004. Verifying a File System Implementation. In ‘Sixth international conference on formal engineering methods (ICFEM’04)’, Vol. 3308 of lecture notes in computer science (LNCS), 373–90. Seattle, USA: Springer-Verlag.
   Google Scholar
• Bekey, P. L. G., and K. Abney, eds. 2011. Robot ethics: The ethical and social implications of robotics. Cambridge, MA: MIT Press.
   Google Scholar
• Bringsjord, E., and S. Bringsjord. 2014. Education and big data versus big-but-buried data. In Building a smarter university, ed. J. Lane, 57–89. Albany, NY: SUNY Press. This url goes to a preprint only. http://kryten.mm.rpi.edu/SB_EB_BBBD_0201141900NY.pdf.
   Google Scholar
• Bringsjord, S. 1998. Chess is Too Easy. Technology Review 101 (2):23–28. http://kryten.mm.rpi.edu/SELPAP/CHESSEASY/chessistooeasy.pdf.
   Web of Science ®Google Scholar
• Bringsjord, S. 2008a. Declarative/logic-based cognitive modeling. In The handbook of computational psychology, ed. R. Sun, 127–69. Cambridge, UK: Cambridge University Press. http://kryten.mm.rpi.edu/sb_lccm_ab-toc_031607.pdf.
   Google Scholar
• Bringsjord, S. 2008b. The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself. Journal of Applied Logic 6 (4):502–25. doi:10.1016/j.jal.2008.09.001.
   Google Scholar
• Bringsjord, S. 2015a. A 21st-century ethical hierarchy for humans and robots. In A world with robots: Proceedings of the first international conference on robot ethics (ICRE 2015), eds. I. Ferreira, and J. Sequeira. Berlin, Germany: Springer. This paper was published in the compilation of ICRE 2015 papers, distributed at the location of ICRE 2015, where the paper was presented: Lisbon, Portugal. The URL given here goes to the preprint of the paper, which is shorter than the full Springer version. http://kryten.mm.rpi.edu/SBringsjord_ethical_hierarchy_0909152200NY.pdf.
   Google Scholar
• Bringsjord, S. 2015b. A vindication of program verification. History and Philosophy of Logic 36 (3):262–77. doi:10.1080/01445340.2015.1065461.
   Web of Science ®Google Scholar
• Bringsjord, S. 2015c. Theorem: General intelligence entails creativity, assuming. In Computational creativity research: Towards creative machines, eds. T. Besold, M. Schorlemmer, and A. Smaill, 51–64. Paris, France: Atlantis/Springer. This is Volume 7 in Atlantis Thinking Machines, edited by Kü̈hnbergwer, Kai-Uwe of the University of Osnabrü̈ck, Germany. http://kryten.mm.rpi.edu/SB_gi_implies_creativity_061014.pdf.
   Google Scholar
• Bringsjord, S., K. Arkoudas, and P. Bello. 2006. Toward a general logicist methodology for engineering ethically correct robots. IEEE Intelligent Systems 21 (4):38–44. doi:10.1109/MIS.2006.82.
   Web of Science ®Google Scholar
• Bringsjord, S., and D. Ferrucci. 2000. Artificial intelligence and literary creativity: Inside the mind of brutus, a storytelling machine. Mahwah, NJ: Lawrence Erlbaum.
   Google Scholar
• Bringsjord, S., D. Ferrucci, and P. Bello. 2001. Creativity, the turing test, and the (Better) lovelace test. Minds and Machines 11:3–27. doi:10.1023/A:1011206622741.
   Web of Science ®Google Scholar
• Bringsjord, S., and N. S. Govindarajulu. 2013. Toward a modern geography of minds, machines, and math. In ‘Philosophy and theory of artificial intelligence’, vol. 5 of studies in applied philosophy, epistemology and rational ethics, ed. V. C. Mller, 151–65. New York, NY: Springer. http://www.springerlink.com/content/hg712w4l23523xw5.
   Google Scholar
• Bringsjord, S., and J. Licato. 2012. Psychometric artificial general intelligence: The piaget-macguyver room. In Foundations of artificial general intelligence, eds. P. Wang, and B. Goertzel, 25–47. Amsterdam, The Netherlands: Atlantis Press. This url is to a preprint only. http://kryten.mm.rpi.edu/Bringsjord_Licato_PAGI_071512.pdf.
   Google Scholar
• Charniak, E., and D. McDermott. 1985. Introduction to artificial intelligence. Reading, MA: Addison-Wesley.
   Google Scholar
• Chisholm, R. 1982. Supererogation and offence: A conceptual scheme for ethics. In Brentano and meinong studies, ed. R. Chisholm, 98–113. Atlantic Highlands, NJ: Humanities Press.
   Google Scholar
• Clark, M. 2008. Cognitive Illusions and the Lying Machine. PhD thesis, Rensselaer Polytechnic Institute (RPI).
   Google Scholar
• Cope, D. 2005. Computer models of musical creativity. Cambridge, MA: MIT Press.
   Google Scholar
• Ebbinghaus, H. D., J. Flum, and W. Thomas. 1994. Mathematical logic, 2nd ed. New York, NY: Springer-Verlag.
   Google Scholar
• Ellis, S., A. Haig, N. Govindarajulu, S. Bringsjord, J. Valerio, J. Braasch, and P. Oliveros. 2015. Handle: Engineering artificial musical creativity at the ‘trickery’ level. In Computational creativity research: Towards creative machines, eds. T. Besold, M. Schorlemmer, and A. Smaill, 285–308. Paris, France: Atlantis/Springer. This is Volume 7 in Atlantis Thinking Machines, edited by Kü̈hnbergwer, Kai-Uwe of the University of Osnabrü̈ck, Germany. http://kryten.mm.rpi.edu/SB_gi_implies_creativity_061014.pdf.
   Google Scholar
• Feldman, F. 1978. Introductory ethics. Englewood Cliffs, NJ: Prentice-Hall.
   Google Scholar
• Ferrucci, D., E. Brown, J. Chu-Carroll, J. Fan, D. Gondek, A. Kalyanpur, A. Lally, W. Murdock, E. Nyberg, J. Prager, N. Schlaefer, and C. Welty. 2010. Building watson: An overview of the deepQA project. AI Magazine, pp. 59–79. http://www.stanford.edu/class/cs124/AIMagzine-DeepQA.pdf
   Google Scholar
• Futrelle, J. 2003. The thinking machine: The enigmatic problems of professor augustus S. F. X. Van Dusen, Ph.D., LL.D., F.R.S., M.D., M.D.S. New York, NY: The Modern Library. The book is edited by Harlan Ellison, who also provides an introduction. The year given here is the year of compilation and release from the publisher. E.g., Futrelle published “The Problem of Cell 13” in 1905.
   Google Scholar
• Glucksberg, S. 1968. “Turning on’ new ideas’. Princeton Alumni Weekly 69:12–13. Specifically, November 19.
   Google Scholar
• Goodall, N. 2014. Ethical decision making during automated vehicle crashes. Transportation Research Record: Journal of the Transportation Research Board 2424:58–65. doi:10.3141/2424-07.
   Web of Science ®Google Scholar
• Govindarajulu, N., J. Licato, and S. Bringsjord. 2014. Toward a formalization of QA problem classes. In Artificial general intelligence; LNAI 8598, eds. B. Goertzel, L. Orseau, and J. Snaider, 228–33. Cham, Switzerland: Springer. http://kryten.mm.rpi.edu/NSG_SB_JL_QA_formalization_060214.pdf.
   Google Scholar
• Govindarajulu, N. S., and S. Bringsjord. 2015. Ethical regulation of robots must be embedded in their operating systems. In A construction manual for robots’ ethical systems: Requirements, methods, implementations, ed. R. Trappl, 85–100. Basel, Switzerland: Springer. http://kryten.mm.rpi.edu/NSG_SB_Ethical_Robots_Op_Sys_0120141500.pdf.
   Google Scholar
• Inhelder, B., and J. Piaget. 1958. The growth of logical thinking from childhood to adolescence. New York, NY: Basic Books.
   Google Scholar
• Johnson-Laird, P. N. 1983. Mental models. Cambridge, MA: Harvard University Press.
   Google Scholar
• Kierkegaard, S. 1992. Either/or: A fragment of life. New York, NY: Penguin. Either/Or was originally published in 1843.
   Google Scholar
• Klein, G. 2009. Operating system verification—An overview. Sadhana 34 (1):27–69. doi:10.1007/s12046-009-0002-4.
   Web of Science ®Google Scholar
• Knobe, J., W. Buckwalter, S. Nichols, P. Robbins, H. Sarkissian, and T. Sommers. 2012. Experimental philosophy. Annual Review of Psychology 63:81–99. doi:10.1146/annurev-psych-120710-100350.
   PubMed Web of Science ®Google Scholar
• Li, M., and P. Vitányi. 2008. An introduction to kolmogorov complexity and its applications, 3rd ed. New York, NY: Springer.
   Google Scholar
• Lin, P. 2015. Why ethics matters for autonomous cars. In Autonomes fahren: Technische, rechtiche und gesellschaftiche aspekte, eds. M. Maurer, C. Gerdes, B. Lenz, and H. Winner, 69–85. Berlin, Germany: Springer.
   Google Scholar
• Malle, B., M. Scheutz, M. Arnold, and J. C. Voiklis. 2015. Sacrifice one for the good of many? People apply different moral norms to human and robot agents. In Proceedings of the tenth annual ACM/IEEE international conference on human-robot interaction (HRI 2015), 117–24. New York, NY: ACM. doi:10.1145/2696454.2696458.
   Google Scholar
• Mikhail, J. 2011. Elements of moral cognition: Rawls’ linguistic analogy and the cognitive science of moral and legal judgment, Kindle ed. Cambridge, UK: Cambridge University Press.
   Google Scholar
• Mueller, E. 2014. Commonsense reasoning: An event calculus based approach. San Francisco, CA: Morgan Kaufmann.
   Google Scholar
• Pereira, L., and A. Saptawijaya. 2016. Programming machine ethics. Basel, Switzerland: Springer. This book is in Springer’s SAPERE series, Vol. 26.
   Google Scholar
• Ranta, A. 2011. Grammatical framework: Programming with multilingual grammars. Stanford, CA: CSLI. ISBN-10: 1-57586-626-9 (Paper), 1-57586-627-7 (Cloth).
   Google Scholar
• Reiter, E., and R. Dale. 2000. Building natural language generation systems. Cambridge, UK: Cambridge University Press. This book in in CUP’s Studies in Natural Language Processing series.
   Google Scholar
• Russell, S., and P. Norvig. 2009. Artificial intelligence: A modern approach, 3rd ed. Upper Saddle River, NJ: Prentice Hall.
   Google Scholar
• Scheffler, S. 1982. The rejection of consequentialism. Oxford, UK: Clarendon Press. This is a revised edition of the 1982 version, also from Clarendon.
   Google Scholar
• Scheutz, M., and T. Arnold. forthcoming. Feats without heroes: Norms, means, and ideal robotic action. Frontiers in Robotics and AI.
   Web of Science ®Google Scholar
• Scheutz, M. forthcoming. The MacGyver test: A Turing test for machine resourcefulness and creative and creative problem solving.
   Google Scholar
• Schlosser, E. 2013. Command and control: Nuclear weapons, the damascus accident, and the illusion of safety. New York, NY: Penguin.
   Google Scholar
• Si, M., S. Marsella, and D. Pynadath. 2010. Modeling appraisal in theory of mind reasoning. Autonomous Agents and Multi-Agent Systems 20:14–31. doi:10.1007/s10458-009-9093-x.
   Web of Science ®Google Scholar
• Trappl, R. 2015. A construction manual for robots’ ethical systems: Requirements, methods, implementations. Basel, Switzerland: Springer.
   Google Scholar
• Turing, A. 1950. I.—Computing machinery and intelligence. Mind LIX (236):433–60. doi:10.1093/mind/LIX.236.433.
   Google Scholar
• Vinyals, O., A. Toshev, S. Bengio, and D. Erhan 2015. Show and tell: A neural image caption generator. http://arxiv.org/pdf/1411.4555.pdf
   Google Scholar