The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself

Journal of Applied Logic

Volumn 6, Issue 4, 2008, Pages 502-525

  Bringsjord, Selmer ^a  

^a Rensselaer Polytechnic Institute   (United States)

Author keywords

AI; Artificial intelligence; Connectionism; Continuous systems; Logic; Logic based AI; Sub symbolic AI

Indexed keywords

AI; CONNECTIONISM; CONTINUOUS SYSTEMS; LOGIC; LOGIC-BASED AI; SUB-SYMBOLIC AI;

ARTIFICIAL INTELLIGENCE;

EID: 54449092759     PISSN: 15708683     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jal.2008.09.001     Document Type: Article

References (94)

1. E. Amir, P. Maynard-Reid, Logic-based subsumption architecture, in: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999
2. E. Amir, P. Maynard-Reid, Logic-based subsumption architecture: Empirical evaluation, in: Proceedings of the AAAI Fall Symposium on Parallel Architectures for Cognition, 2000
3. A. Amir, P. Maynard-Reid, LiSA: A robot driven by logical subsumption, in: Proceedings of the Fifth Symposium on the Logical Formalization of Commonsense Reasoning, 2001
4. Anderson J., and Lebiere C. The Newell test for a theory of cognition. Behavioral and Brain Sciences 26 (2003) 587-640
5. R.C. Arkin, Governing lethal behavior: Embedding ethics in a hybrid deliberative/reactive robot architecture-Part iii: Representational and architectural considerations, in: Proceedings of Technology in Wartime Conference, Palo Alto, CA, 2008. This and many other papers on the topic are available at the url here given; http://www.cc.gatech.edu/ai/robot-lab/publications.html
6. Arkoudas K., and Bringsjord S. Metareasoning for multi-agent epistemic logics. Fifth International Conference on Computational Logic In Multi-Agent Systems (CLIMA 2004). Lecture Notes in Artificial Intelligence (LNAI) vol. 3487 (2005), Springer-Verlag, New York 111-125. http://kryten.mm.rpi.edu/arkoudas.bringsjord.clima.crc.pdf
7. Arkoudas K., and Bringsjord S. Computers, justification, and mathematical knowledge. Minds and Machines 17 2 (2007) 185-202. http://kryten.mm.rpi.edu/ka_sb_proofs_offprint.pdf
8. Ashcraft M. Human Memory and Cognition (1994), HarperCollins, New York
9. In: Baader F., Calvanese D., and McGuinness D. (Eds). The Description Logic Handbook: Theory, Implementation. second ed. (2007), Cambridge University Press, Cambridge, UK
10. Barwise J., and Etchemendy J. Language, Proof, and Logic (1999), Seven Bridges, New York
11. D.E. Bernard, G.A. Dorais, C. Fry, Jr., E.B.G. Kanefsky, B. Kurien, W. Millar, N. Muscettola, P.P. Nayak, B. Pell, K. Rajan, N. Rouquette, B. Smith, B.C. Willams, Design of the remote agent experiment for spacecraft autonomy, in: Proceedings of the IEEE Aerospace Conference, vol. 2, 1998, pp. 259-281
12. D.E. Bernard, G.A. Dorais Jr., E.B.G. B. Kanefsky, J. Kurien, G.K. Man, W. Millar, N. Muscettola, P.P. Nayak, K. Rajan, N. Rouquette, B. Smith, W. Taylor, Y.-W. Tung, Spacecraft autonomy flight experience: The DS1 remote agent experiment, in: AIAA Space Technology Conference and Exposition, Albuquerque, NM, 1999
13. Berners-Lee T., Hendler J., and Lassila O. The semantic web: A new form of web content that is meaningful to computers will unleash a revolution of new possibilities. Scientific American 284 5 (2001) 34-43
14. Bourbaki N. Elements of Mathematics: Theory of Sets (1999), Verlag, New York This is a recent release. The original publication date was 1939
15. Brachman R.J., and Levesque H.J. Knowledge Representation and Reasoning (2004), Morgan Kaufmann/Elsevier, San Francisco, CA
16. Bringsjord S. Is the connectionist-logicist clash one of AI's wonderful red herrings?. Journal of Experimental & Theoretical AI 3 4 (1991) 319-349
17. Bringsjord S. Could, how could we tell if, and why should-androids have inner lives?. In: Ford K., Glymour C., and Hayes P. (Eds). Android Epistemology (1995), MIT Press, Cambridge, MA 93-122
18. Bringsjord S. In defense of impenetrable zombies. Journal of Consciousness Studies 2 4 (1995) 348-351
19. Bringsjord S. Abortion: A Dialogue (1997), Hackett, Indianapolis, IN
20. Bringsjord S. Chess is too easy. Technology Review 101 2 (1998) 23-28
21. Bringsjord S. The zombie attack on the computational conception of mind. Philosophy and Phenomenological Research 59 1 (1999) 41-69
22. S. Bringsjord, A contrarian future for minds and machines, Chronicle of Higher Education (2000), p. B5. Reprinted in: The Education Digest 66 (6), 31-33
23. Bringsjord S. Is it possible to build dramatically compelling interactive digital entertainment (in the form, e.g., of computer games)?. Game Studies 1 1 (2001). http://www.gamestudies.org This is the inaugural issue
24. Bringsjord S. Offer: One billion dollars for a conscious robot. If you're honest, you must decline. Journal of Consciousness Studies 14 7 (2007) 28-43. http://kryten.mm.rpi.edu/jcsonebillion2.pdf
25. Bringsjord S. Declarative/logic-based cognitive modeling. In: Sun R. (Ed). The Handbook of Computational Psychology (2008), Cambridge University Press, Cambridge, UK 127-169. http://kryten.mm.rpi.edu/sb_lccm_ab-toc_031607.pdf
26. S. Bringsjord, K. Arkoudas, The philosophical foundations of artificial intelligence, in: K. Frankish, W. Ramsey, (Eds.), The Cambridge Handbook of Artificial Intelligence, Cambridge University Press, Cambridge, UK, in press; http://kryten.mm.rpi.edu/sb_ka_fai_aihand.pdf
27. Bringsjord S., Arkoudas K., and Bello P. Toward a general logicist methodology for engineering ethically correct robots. IEEE Intelligent Systems 21 4 (2006) 38-44. http://kryten.mm.rpi.edu/bringsjord_inference_robot_ethics_preprint.pdf
28. Bringsjord S., Arkoudas K., Clark M., Shilliday A., Taylor J., Schimanski B., and Yang Y. Reporting on some logic-based machine reading research. Proceedings of the 2007 AAAI Spring Symposium: Machine Reading (SS-07-06) (2007), AAAI Press, Menlo Park, CA 23-28. http://kryten.mm.rpi.edu/sb_ka_machinereading_ss07_012907.pdf
29. Bringsjord S., and Ferrucci D. Logic and artificial intelligence: Divorced, still married, separated ...?. Minds and Machines 8 (1998) 273-308
30. Bringsjord S., and Ferrucci D. Reply to Thayse and Glymour on logic and artificial intelligence. Minds and Machines 8 (1998) 313-315
31. Bringsjord S., and Ferrucci D. Artificial Intelligence and Literary Creativity: Inside the Mind of Brutus, a Storytelling Machine (2000), Lawrence Erlbaum, Mahwah, NJ
32. Bringsjord S., Khemlani S., Arkoudas K., McEvoy C., Destefano M., and Daigle M. Advanced synthetic characters, evil, and E. In: Al-Akaidi M., and Rhalibi A.E. (Eds). Game-On 2005, 6th International Conference on Intelligent Games and Simulation (2005), European Simulation Society, Ghent-Zwijnaarde, Belgium 31-39. http://kryten.mm.rpi.edu/GameOnpaper.pdf
33. Bringsjord S., Noel R., and Caporale C. Animals, zombanimals, and the total Turing test: The essence of artificial intelligence. Journal of Logic, Language, and Information 9 (2000) 397-418
34. Bringsjord S., and Schimanski B. What is artificial intelligence? Psychometric AI as an answer. Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI-03) (2003), Morgan Kaufmann, San Francisco, CA 887-893
35. Bringsjord S., and Zenzen M. In defense of hyper-logicist AI. IJCAI 91 (1991), Morgan Kaufman, Moutain View, CA 1066-1072
36. R.A. Brooks, C. Breazeal, M. Marjanovic, B. Scassellati, M.M. Williamson, The cog project: Building a humanoid robot, in: Lecture Notes in Computer Science, vol. 1562, 1999, pp. 52-87
37. Cassimatis N. Cognitive substrate for human-level intelligence. AI Magazine 27 2 (2006) 71-82
38. Charniak E. Statistical Language Learning (1993), MIT Press, Cambridge, MA
39. Charniak E., and McDermott D. Introduction to Artificial Intelligence (1985), Addison-Wesley, Reading, MA
40. Chisholm R. Is there a mind-body problem?. Philosophic Exchange 2 (1978) 25-32
41. Davis M., Sigal R., and Weyuker E. Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science (1994), Academic Press, New York
42. Dennett D. Conditions of personhood. Brainstorms: Philosophical Essays on Mind and Psychology (1978), Bradford Books, Montgomery, VT 267-285
43. Dietrich E. Computationalism. Social Epistemology 4 2 (1990) 135-154
44. Duncker K. On problem solving. Psychological Monographs 58 5 (1945) 1945 (Whole No. 270))
45. Ebbinghaus H.D., Flum J., and Thomas W. Mathematical Logic. second ed. (1994), Springer-Verlag, New York
46. A. Eden, Three paradigms of computer science, Minds and Machines 17 (2) 135-167
47. Friedland N., Allen P., Matthews G., Witbrock M., Baxter D., Curtis J., Shepard B., Miraglia P., Angele J., Staab S., Moench E., Oppermann H., Wenke D., Israel D., Chaudhri V., Porter B., Barker K., Fan J., Chaw S.Y., Yeh P., Tecuci D., and Clark P. Project halo: Towards a digital Aristotle. AI Magazine 25 4 (2004) 29-47
48. N.E. Fuchs, U. Schwertel, R. Schwitter, Attempto Controlled English (ACE) Language Manual, Version 3.0, Technical Report 99.03, Department of Computer Science, University of Zurich, Zurich, Switzerland, 1999
49. Genesereth M., and Nilsson N. Logical Foundations of Artificial Intelligence (1987), Morgan Kaufmann, Los Altos, CA
50. Glucksberg S. Functional fixedness: Problem solution as a function of observing responses. Psychonomic Science 1 (1964) 117-118
51. Glymour C. Thinking Things Through (1992), MIT Press, Cambridge, MA
52. Goldstein E.B. Cognitive Psychology: Connecting Mind, Research, and Everyday Experience (2005), Wadsworth, Belmont, CA
53. Halpern J., Harper R., Immerman N., Kolaitis P., Vardi M., and Vianu V. On the unusual effectiveness of logic in computer science. The Bulletin of Symbolic Logic 7 2 (2001) 213-236
54. Haugeland J. Artificial Intelligence: The Very Idea (1985), MIT Press, Cambridge, MA
55. Hayes P. The naïve physics manifesto. In: Ritchie D. (Ed). Expert Systems in the Microeletronics Age (1978), Edinburgh University Press, Edinburgh, Scotland 242-270
56. Hayes P.J. The second naïve physics manifesto. In: Hobbs J.R., and Moore B. (Eds). Formal Theories of the Commonsense World (1985), Ablex 1-36
57. Ingham M., Clark M., Williams B., Lockhart T., Oyake A., and Aljabri A. Autonomous sequencing and model-based fault protection for space interferometry. Proceedings of the Sixth International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS 2001) (2001), Canadian Space Agency, Montreal, Canada Proceedings published electronically on CD-ROM
58. Johnson-Laird P. Rules and illusions: A critical study of Rips's The Psychology of Proof. Minds and Machines 7 3 (1997) 387-407
59. Joy W. Why the future doesn't need us. Wired 8 4 (2000)
60. Kautz H., and Selman B. Pushing the envelope: Planning, propositional logic, and stochastic search. In: Shrobe H., and Senator T. (Eds). Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Eighth Innovative Applications of Artificial Intelligence Conference (1996), AAAI Press, Menlo Park, California 1194-1201. citeseer.ist.psu.edu/kautz96pushing.html
61. Kautz H., and Selman B. Unifying SAT-based and graph-based planning. In: Minker J. (Ed). Workshop on Logic-Based Artificial Intelligence. Washington, DC, June 14-16, 1999 (1999), Computer Science Department, University of Maryland, College Park, Maryland. citeseer.ist.psu.edu/kautz99unifying.html
62. In: Kuhse H., and Singer P. (Eds). Bioethics: An Anthology (2001), Blackwell, Oxford, UK
63. Manzano M. Extensions of First Order Logic (1996), Cambridge University Press, Cambridge, UK
64. J. McCarthy, Programs with common sense, in: Proceedings of the Teddington Conference on the Mechanization of Thought Processes, 1959. This is probably the first clear use of logic in the design of an AI system; http://www-formal.stanford.edu/jmc
65. McCarthy J., and Hayes P.J. Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer B., and Michie D. (Eds). Machine Intelligence 4 (1969), Edinburgh University Press 463-502
66. Minsky M. Computation: Finite and Infinite Machines (1967), Prentice-Hall, Englewood Cliffs, NJ
67. Moravec H. Robot: Mere Machine to Transcendant Mind (1999), Oxford University Press, Oxford, UK
68. Mueller E. Commonsense Reasoning (2006), Morgan Kaufmann, San Francisco, CA
69. Newell A. You can't play 20 questions with nature and win: Projective comments on the papers of this symposium. In: Chase W. (Ed). Visual Information Processing (1973), Academic Press, New York 283-308
70. Nilsson N. Logic and Artificial Intelligence. Artificial Intelligence 47 (1991) 31-56
71. Nilsson N. Eye on the prize. AI Magazine 16 2 (1991) 9-16
72. Nilsson N. Human-level artificial intelligence? Be serious!. AI Magazine 26 4 (2005) 68-75
73. Pearl J. Probabilistic Reasoning in Intelligent Systems (1988), Morgan Kaufmann, San Mateo, CA
74. Pollock J. How to Build a Person: A Prolegomenon (1989), MIT Press, Cambridge, MA
75. Pollock J. Cognitive Carpentry: A Blueprint for How to Build a Person (1995), MIT Press, Cambridge, MA
76. Pollock J. Defeasible reasoning with variable degrees of justification. Artificial Intelligence 133 (2001) 233-282
77. Pollock J.L. How to reason defeasibly. Artificial Intelligence 57 1 (1992) 1-42. citeseer.ist.psu.edu/pollock92how.html
78. Rapaport W. How minds can be computational systems. Journal of Experimental and Theoretical Artificial Intelligence 10 (1998) 403-419
79. Reiter R. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems (2001), MIT Press, Cambridge, MA
80. Russell S., and Norvig P. Artificial Intelligence: A Modern Approach (2002), Prentice Hall, Upper Saddle River, NJ
81. Seidler V. Kant, Respect, and Injustice: The Limits of Liberal Moral Theory (1986), Routledge and Kegan Paul, London, England
82. Shapiro S. Computationalism. Minds and Machines 5 4 (1995) 517-524
83. Shapiro S. SNePS: A logic for natural language understanding and commonsense reasoning. In: Iwanska L., and Shapiro S. (Eds). Natural Language Processing and Knowledge Representation: Language for Knowledge and Knowledge for Language (2000), AAAI Press/MIT Press, Menlo Park, CA 175-195
84. Spivey M. The Continuity of Mind (2006), Oxford University Press, Oxford, UK
85. Sun R. Accounting for the computational basis of consciousness: A connectionist approach. Consciousness and Cognition 8 (1999) 529-565
86. Taylor J., Shilliday A., and Bringsjord S. Provability-based semantic interoperability via translation graphs. Advances in Conceptual Modeling. Lecture Notes in Computer Science vol. 4802 (2007), Springer, New York 180-189. http://kryten.mm.rpi.edu/jt_as_sb_PBSITG_crc.pdf
87. Turing A. Computing machinery and intelligence. Mind 59 236 (1950) 433-460
88. Turner R. Logics for Artificial Intelligence (1984), Ellis Horwood, West Sussex, England
89. Voronkov A. The anatomy of vampire: Implementing bottom-up procedures with code trees. Journal of Automated Reasoning 15 2 (1995)
90. Wiles A. Modular elliptic curves and Fermat's last theorem. Annals of Mathematics 141 3 (1995) 443-551
91. Wiles A., and Taylor R. Ring-theoretic properties of certain Hecke algebras. Annals of Mathematics 141 3 (1995) 553-572
92. B.C. Williams, M.E. Ingham, S.H. Chung, P.H. Elliott, Model-based programming of intelligent embedded systems and robotic space explorers, in: Proceeding of the IEEE: Special Issue on Modeling and Design of Embedded Software, vol. 91, 2003, pp. 212-237
93. Wos L., Overbeek R., Lusk E., and Boyle J. Automated Reasoning: Introduction and Applications (1992), McGraw Hill, New York
94. Yang Y., and Bringsjord S. Newell's program, like Hilbert's, is dead; let's move on. Behavioral and Brain Sciences 26 5 (2003) 627