Plans, Affordances, And Combinatory Grammar

The idea that natural language grammar and planned action are relatedsystems has been implicit in psychological theory for more than acentury. However, formal theories in the two domains have tendedto look very different. This article argues that both faculties sharethe formal character of applicative systems based on operationscorresponding to the same two combinatory operations, namely functional composition and type-raising. Viewing them in thisway suggests simpler and more cognitively plausible accounts of bothsystems, and suggests that the language faculty evolved in the speciesand develops in children by a rather direct adaptation of a moreprimitive apparatus for planning purposive action in the world bycomposing affordances of objects or tools. Theknowledge representation that underlies such planning is alsoreflected in the natural language semantics of tense, mood, andaspect, which the paper begins by arguing provides the key tounderstanding both systems.

[1]  Eric Bach,et al.  Generalized Categorial Grammars and the English Auxiliary , 1983 .

[2]  A. Caramazza,et al.  Lexical organization of nouns and verbs in the brain , 1991, Nature.

[3]  Johan van Benthem,et al.  Language in action , 1991, J. Philos. Log..

[4]  S. Narayanan.  Talking the Talk is Like Walking the Walk : A Computational Model of Verbal Aspect , 1997 .

[5]  Marc Moens,et al.  Tense, aspect and temporal reference , 1987 .

[6]  A. Caramazza,et al.  On the Basis for the Agrammatic's Difficulty in Producing Main Verbs , 1984, Cortex.

[7]  Mark Steedman,et al.  The syntactic process , 2004, Language, speech, and communication.

[8]  J. Gibson.  The Senses Considered As Perceptual Systems , 1967 .

[9]  William C. Frederick,et al.  A Combinatory Logic , 1995 .

[10]  Reinhard Muskens.  Underspecified Semantics ∗ , 1999 .

[11]  S. Saporta,et al.  Psycholinguistics: A book of readings , 1964 .

[12]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[13]  David J. Pym,et al.  Bunched Logic Programming , 2001, IJCAR.

[14]  Bertram Fronhöfer,et al.  Plan Generation by Linear Proofs: On Semantics , 1989, GWAI.

[15]  Linda Schwartz,et al.  The syntax of coordination , 1990 .

[16]  Mark Steedman,et al.  Dependency and Coordination in the Grammar of Dutch and English , 1985 .

[17]  R. Gardner,et al.  Teaching sign language to a chimpanzee. , 1969, Science.

[18]  Michael Moortgat,et al.  Categorial Type Logics , 1997, Handbook of Logic and Language.

[19]  Haskell B. Curry,et al.  Combinatory Logic, Volume I , 1959 .

[20]  Giorgi Japaridze,et al.  The logic of resources and tasks , 1998 .

[21]  E. Saltzman,et al.  The development of rulebound strategies for manipulating seriated cups: A parallel between action and grammar , 1972 .

[22]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[23]  M. Nivat.  Fiftieth volume of theoretical computer science , 1988 .

[24]  Alfonso Caramazza,et al.  Patterns of dissociation in comprehension and production of nouns and verbs , 1988 .

[25]  Z. Vendler.  Linguistics in Philosophy , 1967 .

[26]  Mark Steedman,et al.  Gapping as constituent coordination , 1990 .

[27]  D. Norman.  The psychology of everyday things", Basic Books Inc , 1988 .

[28]  A. Diamond.  Developmental Time Course in Human Infants and Infant Monkeys, and the Neural Bases of, Inhibitory Control in Reaching a , 1990, Annals of the New York Academy of Sciences.

[29]  D. Premack,et al.  Language in chimpanzee? , 1971, Science.

[30]  Michael Thielscher,et al.  Reasoning About Actions: Steady Versus Stabilizing State Constraints , 1998, Artif. Intell..

[31]  E. Reed.  The Ecological Approach to Visual Perception , 1989 .

[32]  G. D. Laguna,et al.  Speech, its function and development , 1927 .

[33]  Patrick Lincoln,et al.  Linear logic , 1992, SIGA.

[34]  Mark Steedman,et al.  Combinatory grammars and parasitic gaps , 1987 .

[35]  Mark Steedman,et al.  Temporal Ontology and Temporal Reference , 1988, CL.

[36]  Lenhart K. Schubert.  Explanation Closure, Action Closure and the Sandewall Test Suite for Reasoning about Change , 1994 .

[37]  Donald A. Norman,et al.  Affordance, conventions, and design , 1999, INTR.

[38]  F. Huddle.  Coordination , 1966, Open Knowledge Institutions.

[39]  Mark Steedman.  Tutorial overviewCategorial grammar , 1993 .

[40]  J. Lambek.  The Mathematics of Sentence Structure , 1958 .

[41]  Peter W. O'Hearn,et al.  The Logic of Bunched Implications , 1999, Bulletin of Symbolic Logic.

[42]  Jacob Hoeksema,et al.  Complex predicates and liberation in Dutch and English , 1991 .

[43]  Srinivas Narayanan,et al.  Reasoning About Actions in Narrative Understanding , 1999, IJCAI.

[44]  G. Miller,et al.  Plans and the structure of behavior , 1960 .

[45]  David R. Dowty.  To ward a Minimalist Theory of Syntactic Structure , 1992 .

[46]  Michael Thielscher,et al.  From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem , 1999, Artif. Intell..

[47]  Harold W. Stevenson,et al.  Processes of Cognitive Growth. , 1969 .

[48]  Marcel Schoppers,et al.  Universal Plans for Reactive Robots in Unpredictable Environments , 1987, IJCAI.

[49]  M. Shanahan.  Solving the frame problem , 1997 .

[50]  Mark Steedman,et al.  On the order of words , 1982 .

[51]  T. Deacon.  Human Brain Evolution: I. Evolution of Language Circuits , 1988 .

[52]  M. Bullowa.  Before Speech: The Beginning of Interpersonal Communication , 1979 .

[53]  Robert A. Kowalski,et al.  Logic for problem solving , 1982, The computer science library : Artificial intelligence series.

[54]  C. Barker.  Continuations and the Nature of Quantification , 2002 .

[55]  George Lakoff,et al.  Women, Fire, and Dangerous Things , 1987 .

[56]  J. Stevenson.  The cultural origins of human cognition , 2001 .

[57]  Mark Steedman.  Structure and Intonation , 1991 .

[58]  David R. Dowty.  Studies in the logic of verb aspect and time reference in English , 1972 .

[59]  David J. Pym,et al.  The semantics and proof theory of the logic of bunched implications , 2002, Applied logic series.

[60]  Steve Berry.  Talking the talk. , 2004, JEMS : a journal of emergency medical services.

[61]  David Premack,et al.  Chapter 4 - On the Assessment of Language Competence in the Chimpanzee1 , 1971 .

[62]  Frank Pfenning,et al.  Efficient resource management for linear logic proof search , 1996, Theor. Comput. Sci..

[63]  David R. Dowty.  Type Raising, Functional Composition, and Non-Constituent Conjunction , 1988 .

[64]  Henk J. Verkuyl,et al.  On the Compositional Nature of the Aspects , 1972 .

[65]  P. Greenfield,et al.  Language, tools and brain: The ontogeny and phylogeny of hierarchically organized sequential behavior , 1991, Behavioral and Brain Sciences.

[66]  Lee Dn,et al.  The optic flow field: the foundation of vision. , 1980 .

[67]  Michael Gelfond,et al.  Representing Action and Change by Logic Programs , 1993, J. Log. Program..

[68]  Erik Sandewall.  Features and fluents : representation of knowledge about dynamical systems , 1994 .

[69]  Drew McDermott,et al.  Default Reasoning, Nonmonotonic Logics, and the Frame Problem , 1986, AAAI.

[70]  Mark Steedman,et al.  The Productions of Time , 2000 .

[71]  K. Lashley.  The problem of serial order in behavior , 1951 .

[72]  R. Rescorla.  A theory of pavlovian conditioning: The effectiveness of reinforcement and non-reinforcement , 1972 .

[73]  John Robert Ross,et al.  GAPPING AND THE ORDER OF CONSTITUENTS , 1970 .

[74]  N. Curteanu.  Book Reviews: Lecture on Contemporary Syntactic Theories: An Introduction to Unification-Based Approaches to Grammar , 1987, CL.

[75]  G. Miller,et al.  Plans and the structure of behavior , 1960 .

[76]  Jean-Yves Girard,et al.  Linear logic: its syntax and semantics , 1995 .

[77]  Raymond M. Smullyan,et al.  To Mock a Mockingbird , 1985 .

[78]  Mark Steedman,et al.  Surface structure and interpretation , 1996, Linguistic inquiry.

[79]  R. Hetherington.  The Perception of the Visual World , 1952 .

[80]  Mark Steedman.  Formalizing Affordance , 2019, Proceedings of the Twenty-Fourth Annual Conference of the Cognitive Science Society.

[81]  W. Köhler.  The mentality of apes, 1917. , 1948 .

[82]  John Brunner,et al.  The Productions of Time , 1967 .

[83]  J. Bruner.  Processes of cognitive growth: infancy , 1968 .

[84]  R. Smullyan.  Diagonalization and Self-Reference , 1994 .

[85]  E. Gibson,et al.  The development of perception , 1983 .

[86]  Narciso Martí-Oliet,et al.  Action and Change in Rewriting Logic , 1999 .

[87]  David J. Pym,et al.  On bunched predicate logic , 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).

[88]  Mark Steedman,et al.  Dynamic Semantics for Tense and Aspect , 1995, IJCAI.