Plans, affordances, and combinatory grammar

Linguistics and Philosophy

Volumn 25, Issue 5-6, 2002, Pages 723-753

  Steedman, Mark ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 32844458041     PISSN: 01650157     EISSN: 15730549     Source Type: Journal    
DOI: 10.1023/a:1020820000972     Document Type: Article

References (90)

1. Ades, A. and M. Steedman: 1982On the Order of Words Linguistics and Philosophy 4, 517-558.
2. Armelfn, P. and D. Pym: 2001Bunched Logic Programming in Proceedings of IJCAR 2001, to appear.
3. Bach, E.: 1983Generalized Categorial Grammars and the English Auxiliary in F. Heny and B. Richards (eds.), Linguistic Categories: Auxiliaries and Related Puzzles, II, Reidel, Dordrecht, pp. 101-120.
4. Barker, C.: 2001Continuations and the Nature of Quantification Linguistics and Philosophy, to appear.
5. Bibel, W., E. F. del Cerro, B. Fronhfer, and A. Herzig: 1989Plan Generation by Linear Proofs: On Semantics in German Workshop on Artificial Intelligence - GWAl'89, Vol. 216 of Informatik-Fachberichte, Springer Verlag, Berlin.
6. Bruner, J.: 1968, Processes of Cognitive Growth: Infancy, Clark University Press, Worcester, MA.
7. Bullowa, M.: 1979, Before Speech: The Beginning of Interpersonal Communication, Cambridge University Press, Cambridge.
8. Caramazza, A. and A. Hillis: 1991Eexical Organization of Nouns and Verbs in the Brain Nature 349, 788-790.
9. Cervesato, I., J. S. Hodas, and F. Pfenning: 1996Efficient Resource Management for Einear Eogic Proof Search in R. Dyckhoff, H. Herre, and P. Schroeder-Heister (eds.), Proceedings of the 1996 Workshop on Extensions to Logic Programming, 1050 in Lecture Notes in Artificial Intelligence, Springer-Verlag, Berlin, pp. 67-82.
10. Curry, H. B. and R. Feys: 1958, Combinatory Logic, Vol. I, North Holland,
11. Amsterdam, de Laguna, G.: 1927, Speech: Its Function and Development, Yale University Press, New Haven, CT.
12. Deacon, T.: 198Human Brain Evolution - I: Evolution of Human Eanguage Circuits in H. Jerison and I. Jerison (eds.), Intelligence and Evolutionary Biology, Springer-Verlag, Berlin.
13. Deacon, T.: 1997, The Symbolic Species, Norton, New York.
14. Diamond, A.: 1990Developmental Time Course in Human Infant and Baby Monkeys and the Neural Bases of Inhibitory Control in Reaching in A. Diamond (ed.), The Development and Neural Bases of Higher Cognitive Functions, New York Academy of Sciences, New York, pp. 637-676.
15. Dowty, D.: 1972, Studies in the Logic of Verb Aspect and Time Reference in English, PhD thesis, University of Texas at Austin.
16. Dowty, D.: 1979Dative Movement and Thomason's Extensions of Montague Grammar in S. Davis and M. Mithun (eds.), Linguistics, Philosophy, and Montague Grammar, University of Texas Press, Austin, TX, pp. 153-222.
17. Dowty, D.: 1988Type-Raising, Functional Composition and Nonconstituent Coordination in R. T. Oehrle, E. Bach, and D. Wheeler (eds.), Categorial Grammars and Natural Language Structures, Reidel, Dordrecht, pp. 153-198.
18. Dowty, D.: 1996Towards a Minimalist Theory of Syntactic Structure in H. Bunt and A. van Horck (eds.), Discontinuous Constituency, Mouton de Gruyter, The Hague, pp. 11-62.
19. Fikes, R. and N. Nilsson: 1971Strips: A New Approach to the Application of Theorem Proving to Problem Solving 2, 189-208.
20. Gardner, R. A. and B. Gardner: 1969Teaching Sign Eanguage to a Chimpanzee Science 165, 664-672.
21. Gelfond, M. and V. Eifschitz: 1993Representing Actions and Change by Logic Programs Journal of Logic Programming 17, 301-321.
22. Gibson, E. and E. Spelke: 1983The Development of Perception in P. Mussen (ed.), Handbook of Child Psychology, Vol. 3: Cognitive Development, Wiley, New York, pp. 1-76.
23. Gibson, J.: 1950, The Perception of the Visual World, Houghton-Mifflin Co., Boston, MA.
24. Gibson, J. 1966, The Senses Considered as Perceptual Systems, Houghton-Mifflin Co., Boston, MA.
25. Gibson, J.: 1979, The Ecological Approach to Visual Perception, Houghton-Mifflin Co., Boston, MA.
26. Girard, J.-Y: 1987Einear Eogic Theoretical Computer Science 50, 1-102.
27. Girard, J.-Y: 1995Einear Eogic: Its Syntax and Semantics in J.-Y. Girard, Y Eafont, and E. Régnier (eds.), Advances in Linear Logic, Vol. 222 of London Mathematical Society Lecture Notes, Cambridge University Press, Cambridge, pp. 1-42.
28. Greenfield, P.: 1991Language, Tools and Brain Behavioral and Brain Sciences 14, 531-595.
29. Greenfield, P., K. Nelson, and E. Saltzman: 1972The Development of Rule-Bound Strategies for Manipulating Seriated Cups: A Parallel between Action and Grammar Cognitive Psychology 3, 291-310.
30. Hanks, S. and D. McDermot: 1986Default Reasoning, Nonmonotonic Eogics, and the Frame Problem in Proceedings of the 8th National Conference on Artificial Intelligence (AAAI-86), pp. 328-333.
31. Harel, D.: 1984Dynamic Logic in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. II, Reidel, Dordrecht, pp. 497-604
32. Hoeksema, J.: 1991Complex Predicates and Liberation in Dutch and Lnglish Linguist-ics and Philosophy 14, 661-710.
33. Hölldobler, S. and J. Sneeberger: 1990A New Deductive Approach to Planning New Generation Computing 8, 225-244.
34. Japaridze, FL: 1998, The Logic of Resources and Tasks, PhD thesis, University of Pennsylvania.
35. Köhler, W.: 1925, The Mentality of Apes, Harcourt Brace and World, New York.
36. Kowalski, R.: 1979, Logic for Problem Solving, North Holland, Amsterdam.
37. Kowalski, R. and M. Sergot: 1986A Logic-Based Calculus of Lvents New Generation Computing 4, 67-95.
38. Lakoff, G.: 1987, Women, Fire, and Dangerous Things, University of Chicago Press, Chicago.
39. Lambek, J.: 1958The Mathematics of Sentence Structure American Mathematical Monthly 65, 154-170.
40. Lashley, K.: 1951The Problem of Serial Order in Behavior inL. Jeffress (ed.), Cerebral Mechanisms in Behavior, Wiley, New York, pp. 112-136. Reprinted in Saporta (1961).
41. Lee, D.: 1980The Optic Flow Field: The Foundation of Vision Philosophical Transac-tions of the Royal Society, Series B 290, 169-179.
42. Martf-Oliet, N. and J. Meseguer: 1999Action and Change in Rewriting Logic in R. Pareschi and B. Fronhöfer (eds.), Dynamic Worlds, Kluwer, Dordrecht, pp. 1-53.
43. McCarthy, J. and P. Hayes: 1969Some Philosophical Problems from the Standpoint of Artificial Intelligence in B. Meltzer and D. Michie (eds.), Machine Intelligence, Vol. 4, Edinburgh University Press, Edinburgh, pp. 473-502.
44. Miceli, G., M. Silveri, U. Nocentini, and A. Caramazza: 1988Patterns of Dissociation in Comprehension and Production of Nouns and Verbs Aphasiology 1, 351-358.
45. Miceli, G., M. Silveri, G. Villa, and A. Caramazza: 1984On the Basis for the Agrammatic's Difficulty in Producing Main Verbs Cortex 20, 207-220.
46. Miller, G., E. Galanter, and K. Pribram: 1960, Plans and the Structure of Behavior, Holt, London.
47. Moens, M.: 1987, Tense Aspect, and Time Reference, Ph.D thesis, University of Edinburgh.
48. Moens, M. and M. Steedman: 1988Temporal Ontology and Temporal Reference Computational Linguistics 14, 15-28.
49. Moortgat, M.: 1997Categorial Type Logics in J. van Benthem and A. ter Meulen (eds.), Handbook of Logic and Language, North Holland, Amsterdam, pp. 93-177.
50. Muskens, R.: 1999Underspecified Semantics in K. von Heusinger and U. Egli (eds.), Reference and Anaphoric Relations, Kluwer Dordrecht, pp. 311-338.
51. Narayanan, S.: 1997Talking the Talk is Like Walking the Walk: A Computational Model of Verbal Aspect in Proceedings of the Nineteenth Conference of the Cognitive Science Society, Stanford, August.
52. Narayanan, S.: 1999Reasoning about Actions in Narrative Understanding in Proceedings of the International Joint Conference on Artificial Intelligence, Stockolm, August, pp. 350-358.
53. Norman, D.: 1988, The Psychology of Everyday Things, Basic Books, New York.
54. Norman, D.: 1999Affordance Conventions, and Design Interactions 6, 38-43.
55. O'Hearn, P. and D. Pym: 1999The Logic of Bunched Implications Bulletin of Symbolic Logic 5, 215-244.
56. Premack, D.: 1971Language in the Chimpanzee? Science 172, 808-822.
57. Premack, D.: 1986, Gavagaü, MIT Press, Bradford Books, Cambridge, MA.
58. Pym, D.: 1999On Bunched Predicate Logic in Proceedings of the 14th Symposium on Logic in Computer Science Science (LICS), IEEE Computer Society.
59. Pym, D.: 2001, The Semantics and Proof Theory of the Logic of Bunched Implications, to appear.
60. Rescorla, R. and A. Wagner: 1972A Theory of Pavlovian Conditioning in A. Black and W. Prokasy (eds.), Classical Conditioning, II, Appleton-Century-Crofts, New York.
61. Rosenbaum, H.: 1977Zapotec Gapping as Counterevidence to Some Universal Proposals Linguistic Inquiry 8, 379-395.
62. Ross, J. R.: 1970Gapping and the Order of Constituents in M. Bierwisch and K. Hedolph (eds.), Progress in Linguistics, Mouton, The Hague, pp. 249-259.
63. Sandewall, E.: 1994, Features and Fluents, Clarendon Press, Oxford.
64. Saporta, S.: 1961, Psycholinguistics: A Book of Readings, Hold Rinehart Winston, New York
65. Schoppers, M. J.: 1987Universal Plans for Reactive Robots in Unpredictable Environments in Proceedings of the 10th International Joint Conference on Artificial Intelligence (IJCAI87), Milan, Italy, pp. 1039-1046.
66. Schubert, E.: 1994Explanation Closure, Action Closure, and the Sandewall Test Suite for Reasoning about Change Journal of Logic and Computation 4, 679-700.
67. Shanahan, M.: 1997, Solving the Frame Problem, MIT Press, Cambridge.
68. Shieber, S.: 1986, An Introduction to Unification-Based Approaches to Grammar, CSEI Publications, Stanford, CA.
69. Smullyan, R.: 1985, To Mock a Mockingbird, Knopf, New York.
70. Smullyan, R.: 1994Dependency and Coordination the Grammar of Dutch and English Language 61, 523-568.
71. Steedman, M.: 1987Combinatory Grammars and Parasitic Gaps Natural Language and Linguistic Theory 5, 403-439.
72. Steedman, M.: 1990Gapping as Constituent Coordination Linguistics and Philosophy 13, 207-263.
73. Steedman, M.: 1991Structure and Intonation Language 67, 262-296.
74. Steedman, M.: 1995Dynamic Semantics for Tense and Aspect in Proceedings of the International Joint Conference on Artificial Intelligence, Quebec, Morgan Kaufmann, San Francisco, CA, pp. 1292-1298.
75. Steedman, M.: 1996, Surface Structure and Interpretation, MIT Press, Cambridge, MA.
76. Steedman, M.: 1997Temporality in J. vanBenthem and A. terMeulen (eds.), Handbook of Logic and Language, North Holland, Amsterdam, pp. 895-938.
77. Steedman, M.: 2000a, The Syntactic Process, MIT Press, Cambridge, MA.
78. Steedman, M.: 2000b, The Productions of Time, manuscript, University of Edinburgh, http://www.cogsci.ed.ac.uk/~steedman/.
79. Steedman, M.: 2002Formalizing affordance Proceedings of the 24th Annual Meeting of the Cognitive Science Society, Eawrence Erlbaum, Mahwah NJ (to appear).
80. Thielscher, M.: 1998Reasoning about Actions: Steady Versus Stabilizing State Constraints Artificial Intelligence 104, 339-355.
81. Thielscher, M.: 1999From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem Artificial Intelligence 111, 277-299.
82. Tomasello, M.: 1999, The Cultural Origins of Human Cognition, Harvard University Press, Cambridge, MA.
83. Turvey, M.: 1990Coordination American Psychologist 45, 938-953.
84. van Benthem, J.: 1991, Language in Action, North Holland, Amsterdam.
85. van Oirsouw, R.: 1987, The Syntax of Coordination, Croom Helm, London.
86. Vendler, Z.: 1967, Linguistics in Philosophy, Cornell University Press, Ithaca, NY.
87. Verkuyl, H.: 1972, On the Compositional Nature of the Aspects, Vol. 15 of Foundations of Language Supplementary Series, Reidel, Dordrecht.
88. Wood, M. M.: 1993, Categorial Grammar, Routledge, London.
89. Young, R. and W. S. Morgan: 1987, The Navaho Language, University of New Mexico Press, Albuquerque, NM.
90. Zwicky, A.: 1986Concatenation and Liberation in CLS 22: Papers from the General Session, Chicago Linguistic Society, University of Chicago, Chicago.