Implementation is semantic interpretation: Further thoughts

Journal of Experimental and Theoretical Artificial Intelligence

Volumn 17, Issue 4, 2005, Pages 385-417

  Rapaport, William J ^a,b  

^a the State University of New York   (United States)

^b UNIVERSITY AT BUFFALO   (United States)

Author keywords

Implementation; Panpsychism; Qualia; Semantic interpretation; Simulation; Syntactic semantics

Indexed keywords

COGNITIVE SYSTEMS; COMPUTER SCIENCE; COMPUTER SIMULATION;

IMPLEMENTATION; PANPSYCHISM; QUALIA; SEMANTIC INTERPRETATION; SYNTATIC SEMANTICS;

SEMANTICS;

EID: 29144461533     PISSN: 0952813X     EISSN: 13623079     Source Type: Journal    
DOI: 10.1080/09528130500283998     Document Type: Review

References (99)

1. D. Ackerman, "Penguins", The New Yorker, pp. 38-67, 10 July 1989.
2. S.A. Altmann, "The monkey and the fig: a Socratic dialogue on evolutionary themes", American Scientist, 77, pp. 256-263, 1989.
3. J. Anstey, D. Pape, S.C. Shapiro and V. Rao, "Virtual drama with intelligent agents", in Hybrid reality: Art, technology and the human factor, proceedings of the 9th International Conference on Virtual Systems and MultiMedia (VSMM), (International Society on Virtual Systems and MultiMedia), H. Thwaites, Ed., 2003, pp. 521-528.
4. L. Apostel, "Towards the formal study of models in the non-formal sciences", in The concept and the role of the model in mathematics and natural and social sciences, H. Freudenthal, Ed., Dordrecht: D. Reidel, 1961, pp. 1-37.
5. A.J. Ayer, The problem of knowledge, Baltimore: Penguin, 1956.
6. D. Bickerton, "Mothering plus vocalization doesn't equal language", Behavioral and Brain Sciences, 27, pp. 504-505, 2004.
7. A. Biermann, Great ideas in computer science: a gentle introduction, Cambridge, MA: MIT Press, 1990.
8. A. Byrne, "Inverted qualia", in The Stanford Encyclopedia of Philosophy (Summer 2005 Edition), E.N. Zalta, Ed., 2005. Available online: http://plato.stanford.edu/archives/sum2005/entries/qualia-inverted/.
9. J.A. Coffa, The Semantic tradition from Kant to Carnap: To the Vienna station, Cambridge, UK: Cambridge University Press, 1991.
10. D. Cole, "Functionalism and inverted spectra", Synthese, 82, pp. 207-222, 1990.
11. E.K. Coughlin, "A professor champions distinct culture of deaf people", Chronicle of Higher Education, 2 October 1991: A5.
12. D.C. Dennett, "Why you can't make a computer that feels pain", reprinted in D.C. Dennett, Brainstorms, Montgomery, VT: Bradford Books, 1978, pp. 190-229.
13. E.W. Dijkstra, "The threats to computer science". ACM 1984 South Central Regional Conference (Austin, TX. 16-18 November 1984), EWD898. Available online: http://www.cs.utexas.edu/users/EWD/ewd08xx/EWD898.PDF
14. R.R. Dipert, "Complexity and models of minds: a simple, Hilbertian argument that strong AI is doomed", paper presented at the 5th Annual Computers and Philosophy Conference, Stanford University, 9 August 1990); page references are to an unpublished preprint.
15. G. Duhamel, Les jumeaux de Vallangoujard, [The twins of Vallangoujard], M.E. Storer, Ed., Boston: DC Heath, 1940, 1931.
16. U. Eco, "On truth. A fiction", in Meaning and mental representations, U. Eco, M. Santambrogio and P. Violi, Eds., Bloomington: Indiana University Press, 1988, pp. 41-59.
17. A. Eisenberg, "The virtual stomach (no, it's not a diet aid)", The New York Times, 31 October 2002, G4.
18. J.H. Fetzer, "Program verification: the very idea", Communications of the ACM, 31, pp. 1048-1063, 1988.
19. J.H. Fetzer, "Philosophical aspects of program verification", Minds and Machines, 1, pp. 197-216, 1991.
20. M. Galbraith, "Deictic shift theory and the poetics of involvement in narrative", in Deixis in narrative: a cognitive science perspective, J.F. Duchan, G.A. Bruder and L.E. Hewitt Eds., Hillsdale, NJ: Lawrence Erlbaum Associates, 1995, pp. 19-59.
21. D. Gentner, "The development of relational category knowledge", in Building object categories in developmental time, L. Gershkoff-Stowe and D.H. Rakison Eds., Mahwah, NJ: Lawrence Erlbaum Associates, 2005.
22. R.N. Giere, "How models are used to represent reality", Philosophy of Science, 71, pp. 742-752, 2004.
23. J.A. Goguen, J.W. Thatcher and E.G. Wagner, "An initial algebra approach to the specification, correctness, and implementation of abstract data types", in Current trends in programming methodology, Vol. IV: Data structuring, R.T. Yeh, Ed., Englewood Cliffs, NJ: Prentice-Hall, 1978, pp. 80-149.
24. J.J.E. Gracia, "Texts and their interpretation", Review of Metaphysics, 43, pp. 495-542, 1990.
25. J.V. Guttag, E. Horowitz and D.R. Musser, "The design of data type specifications", in Current trends in programming methodology. Vol. IV: Data structuring, R.T. Yeh, Ed., Englewood Cliffs, NJ: Prentice-Hall, 1978, pp. 60-79.
26. R. Harris, Reading Saussure: A Critical Commentary on the Cours de Linguistique Générale, La Salle, IL: Open Court, 1987.
27. J.P. Hayes, Computer architecture and organization, 2nd edn, New York: McGraw-Hill, 1988.
28. D. Hilbert, "On the infinite", 1925, trans. E. Putnam and G.J. Massey, reprinted in Philosophy of mathematics: selected readings, P. Benacerraf and H. Putnam Eds., Englewood Cliffs, NJ: Prentice-Hall, 1964, pp. 134-151.
29. D.R. Hofstadter, "A coffeehouse conversation on the Turing test", Scientific American, 15-36, May 1981;
30. reprinted with Reflections (by D.C. Dennett) in The mind's I: Fantasies and reflections on self and soul, D.R. Hofstadter and D.C. Dennett, Eds., New York: Basic Books, 1981, pp. 68-95.
31. F. Hoyle, The black cloud, New York: Harper and Row, 1957.
32. H.O. Ismail and S.C. Shapiro, "Two problems with reasoning and acting in time", in Principles of Knowledge Representation and Reasoning: Proceedings of the 7th International Conference (KR 2000), A.G. Cohn, F. Giunchiglia and B. Selman, Eds., San Francisco: Morgan Kaufmann, 2000, pp. 355-365.
33. N. Jahren, "Can semantics be syntactic?", Synthese, 82, pp. 309-328, 1990.
34. N. Jardine, "Model-theoretic semantics and natural language", in Formal semantics of natural language, E.L. Keenan, Ed., Cambridge: Cambridge University Press, 1975, pp. 219-240.
35. R.C. Jennings, "Translation, interpretation and understanding", paper read at the American Philosophical Association Eastern Division, Washington, DC; abstract, in Proceedings and Addresses of the American Philosophical Association, 59, pp. 345-346, 1985.
36. G. Johnson, "New mind, no clothes", The Sciences, pp. 45-49, July/August 1990.
37. D. Kirsh, "Foundations of AI: The big issues", Artificial Intelligence, 47, pp. 3-30, 1991.
38. S.M. Kosslyn, "The medium and the message in mental imagery: A theory", in Imagery, N. Block, Ed., Cambridge, MA: MIT Press, 1981, pp. 207-244.
39. S.M. Kosslyn, S. Pinker, G.E. Smith and S.P. Schwartz, "On the demystification of mental imagery", in Imagery, N. Block, Ed., Cambridge, MA: MIT Press, 1981, pp. 121-150.
40. G. Lakoff and M. Johnson, Metaphors we live by, Chicago: University of Chicago Press, 1980.
41. J. Leiber, Beyond rejection. New York: Ballantine Books, 1980.
42. S. Mac Lane, "Mathematical models: A sketch for the philosophy of mathematics", American Mathematical Monthly, 88, pp. 462-472, 1981.
43. D. McDermott, Mind and mechanism, Cambridge, MA: MIT Press, 2001.
44. M. Minsky, Posting to comp.ai.philosophy bulletin board, 21 December 1991. Available online http://groups-beta.google.com/group/comp.ai.philosophy/ msg/bf1b1554b22ela48
45. D.A. Nelson, "Deductive program verification (a practitioner's commentary)", Minds and Machines, 2, pp. 283-307, 1992.
46. D.A. Nelson, Review of R.S. Boyer and J S. Moore, A computational logic handbook,
47. and J S. Moore, "Special issue on system verification", Minds and Machines, 4, pp. 93-101, 1994.
48. D. Parnas, "A technique for software module specification with examples", Communications of the ACM, 15, pp. 330-336, 1972.
49. A.L. Pincus, "The art of transcription sheds new light on old work", The New York Times, Arts and Leisure (Sect. 2), 23 September 1990.
50. R. Posner, "Origins and development of contemporary syntactics", Languages of Design, 1, pp. 37-50, 1992.
51. Z. Pylyshyn, "The imagery debate: Analog media versus tacit knowledge", in Imagery, N. Block, Ed., Cambridge, MA: MIT Press, 1981, pp. 151-206.
52. W.J. Rapaport, "Meinongian theories and a Russellian paradox", Noas, 12, pp. 153-180, 1979; errata, Noas, 13, 1979, 125, 1979.
53. W.J. Rapaport, "How to make the world fit our language: An essay in Meinongian semantics", Grazer Philosophische Studien, 14, pp. 1-21, 1981.
54. W.J. Rapaport, "Unsolvable problems and philosophical progress", American Philosophical Quarterly, 19, pp. 289-298, 1982.
55. W.J. Rapaport, "Machine understanding and data abstraction in Searle's Chinese room", in Proceedings of the 7th Annual Conference of the Cognitive Science Society (University of California at Irvine), Hillsdale, NJ: Lawrence Erlbaum Associates, 1985, pp. 341-345.
56. W.J. Rapaport, "Secarle's experiments with thought", Philosophy of Science, 53, pp. 271-279, 1986.
57. W.J. Rapaport, "Syntactic semantics: Foundations of computational natural-language understanding", in Aspects of artificial intelligence, J.H. Fetzer, Ed., Dordrecht: Kluwer Academic Publishers, 1988a, pp. 81-131.
58. W.J. Rapaport, "To think or not to think", Noas, 22, pp. 585-609, 1988b.
59. W.J. Rapaport, "Predication, fiction, and artificial intelligence", Topoi, 10, pp. 79-111, 1991.
60. W.J. Rapaport, "Because mere calculating isn't thinking: Comments on Hauser's 'Why isn't my pocket calculator a thinking thing?' ", Minds and Machines, 3, pp. 11-20, 1993.
61. W.J. Rapaport, "Understanding understanding: Syntactic semantics and computational cognition", in Philosophical perspectives, Vol. 9: AI, connectionism, and philosophical psychology, J.E. Tomberlin Ed., Atascadero, CA: Ridgeview, pp. 49-88, 1995.
62. W.J. Rapaport, Understanding Understanding: Semantics, Computation and Cognition, Technical Report 96-26, Buffalo: SUNY Buffalo Department of Computer Science.
63. W.J. Rapaport, "How minds can be computational systems", Journal of Experimental and Theoretical Artificial Intelligence, 10, pp. 403-419, 1998.
64. W.J. Rapaport, "Implementation is semantic interpretation", The Monist, 82, pp. 109-130, 1999.
65. W.J. Rapaport, "How to pass a Turing test: Syntactic semantics, natural-language understanding, and first-person cognition", Journal of Logic, Language, and Information, 9(4), pp. 467-490, 2000;
66. reprinted in The Turing test: The elusive standard of artificial intelligence, J.H. Moor, Ed., Dordrecht: Kluwer, 2003, pp. 161-184.
67. W.J. Rapaport, "Holism, conceptual-role semantics, and syntactic semantics", Minds and Machines, 12(1), 3-59, 2002.
68. W.J. Rapaport, "What did you mean by that? Misunderstanding, negotiation, and syntactic semantics", Minds and Machines, 13(3), pp. 397-427, 2003.
69. W.J. Rapaport, "In defense of contextual vocabulary acquisition: How to do things with words in context", in Proceedings of the 5th International and Interdisciplinary Conference on Modeling and Using Context (Context-05), A. Dey, B. Kokinov, D. Leake and R. Turner, Eds., Berlin: Springer-Verlag Lecture Notes in Artificial Intelligence 3554, 2005, pp. 396-409.
70. W.J. Rapaport and S.C. Shapiro, "Cognition and fiction", in Deixis in narrative: A cognitive science perspective, J.F. Duchan, G.A. Bruder and L.E. Hewitt, Eds., Hillsdale, NJ: Lawrence Erlbaum Associates, 1995, pp. 107-128.
71. W.J. Rapaport, S.C. Shapiro and J.M. Wiebe, "Quasi-indexicals and knowledge reports", Cognitive Science, 21, pp. 63-107, 1997.
72. E. Rosch, "Principles of categorization", in Cognition and categorization, E. Rosch and B.B. Lloyd, Eds., Hillsdale, NJ: Lawrence Erlbaum, 1978, pp. 27-48.
73. C. Rosen, Reply to letter, New York Review of Books, 14 February 1991, p. 50.
74. A. Rosenblueth and N. Wiener, "The role of models in science", Philosophy of Science, 12, pp. 316-321, 1945.
75. J.F. Santore and S.C. Shapiro, "Identifying perceptually indistinguishable objects", in Anchoring symbols to sensor data, Papers from the AAAI Workshop, Technical Report WS-04-03, S. Coradeschi and A. Saffiotti, Eds., Menlo Park, CA: AAAI Press, 2004, 1-9.
76. H.C. Schonberg, "Some chessmen don't make a move", New York Times, 15 April 1990, Sect. 2, pp. 38-39.
77. J.R. Searle, "The logical status of fictional discourse", in J.R. Searle, Expression and meaning, Cambridge: Cambridge University Press, 1979, pp. 58-75.
78. J.R. Searle, "Is the brain a digital computer?", Proceedings and Addresses of the American Philosophical Association, 64(3), pp. 21-37, 1990.
79. E.M. Segal, "Narrative comprehension and the role of deictic shift theory", in Deixis in narrative: A cognitive science perspective, J.F. Duchan, G.A. Bruder and L.E. Hewitt, Eds., Hillsdale, NJ: Lawrence Erlbaum Associates, 1995, pp. 3-17.
80. W. Sellars, "Some reflections on language games", in Science, perception and reality, London: Routledge and Kegan Paul, 1963, pp. 321-358.
81. S.C. Shapiro, "The CASSIE projects: An approach to natural language competence", in EPIA 89: 4th Portuguese Conference on Artificial Intelligence, Proceedings (Lisbon), J.P. Martins and E.M. Morgado, Eds., Berlin: Springer-Verlag Lecture Notes in Artificial Intelligence 390, 1989, pp. 362-380.
82. S.C. Shapiro, "Embodied Cassie", Cognitive robotics: Papers from the 1998 AAAI Fall Symposium, Technical Report FS-98-02, Menlo Park, CA: AAAI Press, 1998, pp. 136-143.
83. S.C. Shapiro, J. Anstey, D.E. Pape, Devdas T. Nayak, M. Kandefer and O. Telhan, "The trial the trail, Act 3: A virtual reality drama using intelligent agents", in Proceedings of the 1st Annual Artificial Intelligence for Interactive Digital Entertainment Conference (AIIDE-05), Menlo Park, CA: AAAI Press, 2005.
84. S.C. Shapiro and H.O. Ismail, "Anchoring in a grounded layered architecture with integrated reasoning", Robotics and Autonomous Systems, 43, pp. 97-108, 2003.
85. S.C. Shapiro and W.J. Rapaport, "SNePS considered as a fully intensional propositional semantic network", in The knowledge frontier: Essays in the representation of knowledge, N. Gereone and G. McCalla, Eds., New York: Springer-Verlag, 1987, 262-315.
86. S.C. Shapiro and W.J. Rapaport, "Models and minds: Knowledge representation for natural-language competence", in Philosophy and AI: Essays at the interface, R. Cummins and J. Pollock, Eds., Cambridge, MA: MIT Press, 1991, pp. 215-259.
87. S.C. Shapiro and W.J. Rapaport, "The SNePS family", Computers and Mathematics with Applications, 23, pp. 243-275, 1992.
88. S.C. Shapiro and W.J. Rapaport, "An introduction to a computational reader of narratives", in Deixis in narrative: A cognitive science perspective, J.F. Duchan, G.A. Bruder and L.E. Hewitt, Eds., Hillsdale, NJ: Lawrence Erlbaum Associates, 1995, pp. 79-105.
89. S.C. Shapiro, H.O. Ismail and J.F. Santore, "Our dinner with Cassie", Working Notes for the AAAI 2000 Spring Symposium on Natural Dialogues with Practical Robotic Devices, Menlo Park, CA: AAAI Press, 2000, pp. 57-61.
90. B.C. Smith, "Semantic attribution and the formality condition", paper presented at the 8th Annual Meeting of the Society for Philosophy and Psychology, University of Western Ontario, 15 May 1982, page references are to the "Second Draft" preprint.
91. B.C. Smith, "Limits of correctness in computers", Technical Report CSLI-85-36, Stanford, CA: Center for the Study of Language and Information, 1985,
92. published in C. Dunlop and R. Kling, Eds., Computerization and Controversy, San Diego: Academic Press, 1991, pp. 632-646.
93. B.C. Smith, "The correspondence continuum", Report CSLI-87-71, Stanford, CA: Centre for the Study of Language and Information.
94. P. Smolensky, "The proper treatment of connectionism", Behavioral and Brain Sciences, 11, pp. 1-74, 1988.
95. G.M. Stratton, "Vision without the inversion of the retinal image", Psychological Review, 4, pp. 341-360, 463-481, 1897.
96. A.M. Tenenbaum and M.J. Augenstein, Data structures using Pascal, Englewood Cliffs, NJ: Prentice-Hall, 1981.
97. M.W. Wartofsky, "The model muddle: Proposals for an immodest realism", in Models: Representation and the scientific understanding, Dordrecht, Holland: D. Reidel, pp. 1-11, 1966.
98. M.W. Wartofsky, "Introduction", in Models: Representation and the scientific understanding, Dordrecht, Holland: D. Reidel, pp. xiii-xxvi, 1979.
99. B.H. Webb, "Do computer simulations really cognize?", Journal of Experimental and Theoretical Artificial Intelligence, 3, pp. 247-254, 1991.