Goals and Actions in Natural Language Instructions

Human agents are extremely flexible in dealing with Natural Language instructions: they are able both to adapt the plan they are developing to the input instructions, and vice versa, to adapt the input instructions to the plan they are developing. Borrowing the term from [Lewis 1979], I call this two-way adaptation process accommodation. In this proposal, I first define accommodation in the context of processing instructions. I then provide evidence for the particular inferences I advocate, and for the further claim that such inferences are directed by the goal to achieve which certain action is performed. The evidence I provide comes from my analysis of naturally occurring instructions, and in particular of purpose clauses and of negative imperatives. Finally, I propose a computational model of instructions able to support accommodation inferences. Such model is composed of: a speaker / hearer model of imperatives, based on the one presented in [Cohen and Levesque 90]; an action representation formalism based on a hybrid system, a la KRYPTON [Brachman et al. 1983a], whose primitives are those proposed in [ Jackendoff 1990]; and inference mechanisms that contribute to building the structure of the intentions that the agent develops while interpreting instructions. Comments University of Pennsylvania Department of Computer and Information Science Technical Report No.MSCIS-92-07. This technical report is available at ScholarlyCommons: http://repository.upenn.edu/cis_reports/379 Goals and Actions In Natural Language Instructions MS-CIS-92-07 LINC LAB 213

[1]  Lynn Lambert,et al.  A Tripartite Plan-Based Model of Dialogue , 1991, ACL.

[2]  Terry Winograd,et al.  Understanding natural language , 1974 .

[3]  Richard Alterman,et al.  Interaction, Comprehension, and Instruction Usage , 1991 .

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

[5]  Barbara Di Eugenio,et al.  Free Adjuncts in Natural Language Instructions , 1990, COLING.

[6]  James F. Allen Towards a General Theory of Action and Time , 1984, Artif. Intell..

[7]  Peter F. Patel-Schneider,et al.  Living wiht Classic: When and How to Use a KL-ONE-Like Language , 1991, Principles of Semantic Networks.

[8]  Hector J. Levesque,et al.  Krypton: A Functional Approach to Knowledge Representation , 1983, Computer.

[9]  Karen E. Lochbaum,et al.  An Algorithm for Plan Recognition in Collaborative Discourse , 1991, ACL.

[10]  Marc B. Vilain,et al.  The Restricted Language Architecture of a Hybrid Representation System , 1985, IJCAI.

[11]  Robert C. Moore Reasoning About Knowledge and Action , 1977, IJCAI.

[12]  Ray Jackendoff Semantics and Cognition , 1983 .

[13]  Joost Zwarts,et al.  An algebra of conceptual structure; An investigation into Jackendoff's conceptual semantics , 1994 .

[15]  Timothy W. Bickmore,et al.  A basic agent , 1990, Comput. Intell..

[16]  Michael White,et al.  Conceptual Structures and CCG: Linking Theory and Incorporated Argument Adjuncts , 1992, COLING.

[17]  Barbara Di Eugenio,et al.  On the Interpretation of Natural Language Instructions , 1992, COLING.

[18]  A. Goldman Theory of Human Action , 1970 .

[19]  Joseph Y. Halpern,et al.  A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft , 1985, IJCAI.

[20]  Emmon Bach,et al.  Informal Lectures on Formal Semantics , 1989 .

[21]  Hector J. Levesque,et al.  KRYPTON: Integrating Terminology and Assertion , 1983, AAAI.

[22]  Libby Levison Action Composition for the Animation of Natural Language Instructions , 1991 .

[23]  Martha E. Pollack,et al.  Inferring domain plans in question-answering , 1986 .

[24]  Irene Heim,et al.  The semantics of definite and indefinite noun phrases : a dissertation , 1982 .

[25]  Ruben J. Kleiman,et al.  R. Jackendoff, Semantics and Cognition , 1986, Artif. Intell..

[26]  David Chapman,et al.  Vision, instruction, and action , 1990 .

[27]  Ronald J. Brachman,et al.  An Overview of the KL-ONE Knowledge Representation System , 1985, Cogn. Sci..

[28]  Bonnie Webber,et al.  Animation from instructions , 1991 .

[29]  L. Suchman Plans and situated actions , 1987 .