Asimply because they do not have consciousness he says that machines lack intentionality a term often used in the philosophy of psychology. A large amount of literature has been written to support many sides. Awards and honors edit edit source Major publications edit edit source McCarthy J. . Programs with Common Sense at the Wayback Machine archived October . In Proceedings of the Teddington Conference on the Mechanization of Thought Processes . London Her Majestys Stationery Office. McCarthy J. . Recursive functions of symbolic expressions and their computation by machine at the Wayback Machine archived October . Communications of the ACM . McCarthy J. a A basis for a mathematical theory of computation.
In Computer Programming and formal systems . NorthHolland. McCarthy J. b. Situations actions and causal laws. McCarthy J. and Hayes PJ . Some philosophical issues from the standpoint of artificial intelligence at the Wayback Machine archived August . In Meltzer B. and Michie D. eds. Machine Intelligence . Edinburgh Edinburgh University Press Graphics Design Service McCarthy J. . Epistemological problems of artificial intelligence. In IJCAI . McCarthy J . Circumscription A form of nonmonotonic reasoning. Artificial Intelligence . . doi.. See more Computer science Vietnamese Wikipedia McCarthy J . Applications of circumscription to common sense reasoning. Artificial Intelligence . . doi.. McCarthy JGenerality in artificial intelligence.
In Lifschitz V. ed. Formalizing Common Sense AblexMcCarthy JNotes on formalizing context. In IJCAI . McCarthy J. and Buvac SFormalizing context Expanded notes. In Aliseda A. van Glabbeek R. and Westerstahl D. eds. Computing Natural Language . Stanford University. Also available as Stanford Technical Note STANCSTN. McCarthy J. . Elaboration tolerance. In Working Papers of the Fourth International Symposium on Logical formalizations of Commonsense Reasoning Commonsense. Costello T. and McCarthy J. . Useful counterfactuals. Electronic Transactions on Artificial Intelligence A McCarthy J. . Actions and other events in situation calculus. In Fensel D.