Accessing Knowledge through Natural Language

Publisher Summary The ability to incorporate knowledge is a major source of difficulty confronting the designer of the ideal natural language system. This chapter focuses on the concerns which must be confronted in the design of a sophisticated natural language system. These concerns fall into six main categories: enhancing linguistic coverage, creating flexible parsing strategies, integrating knowledge and language, devising comprehensive knowledge representation schemes, modeling the user, and recognizing the need to handle various discourse phenomena. These concerns are explored showing how, over the years, systems have evolved more and more elaborate parsing strategies which are also flexible and general. The chapter discusses the necessity of incorporating knowledge of the domain, knowledge of the user, knowledge of the discourse structure into the natural language system, and many research efforts currently under way investigating problems deriving from this necessity. Issues that arise when trying to represent these diverse kinds of knowledge are explained. The natural language parts of the system must emulate principles of good communication between humans; the information accessed must often go beyond mere facts into the realm of knowledge. The ideal natural language interface may not be available for some time, but as we move into the future, closer and closer approximations to it should be.

[1]  Bertram Raphael SIR: A COMPUTER PROGRAM FOR SEMANTIC INFORMATION RETRIEVAL , 1964 .

[2]  Robert W. Spencer,et al.  Advisement by Computer (ABC): A Tool for Improving Academic Advising. , 1982 .

[3]  William A. Woods,et al.  Computational Linguistics Transition Network Grammars for Natural Language Analysis , 2022 .

[4]  Tomek Strzalkowski,et al.  Natural language interface to the question-answering system for physicians , 1984 .

[5]  Douglas D. Dankel Browsing in urge data bases , 1979, IJCAI 1979.

[6]  Gordon I. McCalla,et al.  Plan creation, plan execution and knowledge acquisition in a dynamic microworld , 1982 .

[7]  Alain Colmerauer,et al.  Metamorphosis Grammars , 1978, Natural Language Communication with Computers.

[8]  Charles J. Fillmore,et al.  THE CASE FOR CASE. , 1967 .

[9]  Roger C. Schank,et al.  The Conceptual Content of Conversation , 1979, IJCAI.

[10]  W. Chase,et al.  Visual information processing. , 1974 .

[11]  Christopher K. Riesbeck,et al.  Comprehension by computer : expectation-based analysis of sentences in context , 1976 .

[12]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[13]  Patrick Henry Winston,et al.  The psychology of computer vision , 1976, Pattern Recognit..

[14]  Candace L. Sidner,et al.  What the speaker means: the recognition of speakers plans in discourse , 1983 .

[15]  Donald A. Norman,et al.  A process model for long-term memory. , 1972 .

[16]  D. Bobrow DIMENSIONS OF REPRESENTATION , 1975 .

[17]  John K. Tsotsos,et al.  Building Knowledge-Based Systems: The PSN Experience , 1983, Computer.

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

[19]  William J. Clancey,et al.  Tutoring rules for guiding a case method dialogue , 1979 .

[20]  Ralph Grishman,et al.  Isolating Domain Dependencies In Natural Language Interfaces , 1983, ANLP.

[21]  P. N. Johnson-Laird,et al.  On Understanding Logically Complex Sentences , 1969 .

[22]  Larry R. Harris User Oriented Data Base Query with the ROBOT Natural Language Query System , 1977, Int. J. Man Mach. Stud..

[23]  Lenhart K. Schubert Extending the expressive power of semantic network , 1975, IJCAI 1975.

[24]  N. Cocchiarella,et al.  Situations and Attitudes. , 1986 .

[25]  Verónica Dahl,et al.  Translating Spanish Into Logic Through Logic , 1981, CL.

[26]  Roger C. Schank,et al.  Retrieving Information from an Episodic Memory, or Why Computers' Memories Should Be More Like People's , 1979, IJCAI.

[27]  Norman K. Sondheimer,et al.  Meta-Rules as a Basis for Processing III-Formed Input , 1983, Am. J. Comput. Linguistics.

[28]  James L. Alty,et al.  Computing Skills and the User Interface , 1981 .

[29]  Tomek Strzalkowski,et al.  A framework for computing extrasentential references , 1986, Comput. Intell..

[30]  John K. Tsotsos,et al.  TORUS: a step towards bridging the gap between data bases and the casual user , 1976, Inf. Syst..

[31]  David L. Waltz,et al.  An English language question answering system for a large relational database , 1978, CACM.

[32]  Stuart M. Shieber,et al.  Translating English into Logical Form , 1982, ACL.

[33]  Robert F. Simmons,et al.  MAXIMUM-DEPTH INDEXING FOR COMPUTER RETRIEVAL OF ENGLISH LANGUAGE DATA , 1963 .

[34]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

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

[36]  G. Bower,et al.  Human Associative Memory , 1973 .

[37]  Lenhart K. Schubert,et al.  From English to Logic: Context-Free Computation of ‘Conventional’ Logical Translation , 1982, CL.

[38]  Donald D. Chamberlin,et al.  SEQUEL: A structured English query language , 1974, SIGFIDET '74.

[39]  Lenhart K. Schubert,et al.  THE STRUCTURE AND ORGANIZATION OF A SEMANTIC NET FOR COMPREHENSION AND INFERENCE , 1979 .

[40]  B. Chandrasekaran,et al.  Conceptual Representation of Medical Knowledge for Diagnosis by Computer: MDX and Related Systems , 1983, Adv. Comput..

[41]  William S. Havens,et al.  Recognition mechanisms for schema-based knowledge representations , 1983 .

[42]  Gordon I. McCalla,et al.  MUSE: a model to understand simple English , 1972, CACM.

[43]  Candace L. Sidner The Role of Focussing in Interpretation of Pronouns , 1979, ACL.

[44]  J. A. Fodor,et al.  Tom Swift and his procedural grandmother , 1978, Cognition.

[45]  Donald A. Norman,et al.  Explorations in Cognition , 1975 .

[46]  Tomek Strzalkowski,et al.  Designing and automating the quality assessment of a knowledge-based. system: The initial Automated academic advisor experience , 1984 .

[47]  Noam Chomsky,et al.  वाक्यविन्यास का सैद्धान्तिक पक्ष = Aspects of the theory of syntax , 1965 .

[48]  Frederick B. Thompson,et al.  English for the computer , 1899, AFIPS '66 (Fall).

[49]  L. Zadeh A COMPUTATIONAL APPROACH TO FUZZY QUANTIFIERS IN NATURAL LANGUAGES , 1983 .

[50]  M. Ross Quillian,et al.  The teachable language comprehender: a simulation program and theory of language , 1969, CACM.

[51]  Robert A. Kowalski Logic for Data Description , 1977, Logic and Data Bases.

[52]  Peter C. Lockemann,et al.  REL: a Rapidly Extensible Language System I. the REL language processor , 1969, COLING 1969.

[53]  James F. Allen A plan-based approach to speech act recognition , 1979 .

[54]  William A Woods,et al.  Natural Language Communication with Machines: An Ongoing Goal. , 1983 .

[55]  Roger C. Schank,et al.  MARGIE: Memory Analysis Response Generation, and Inference on English , 1973, IJCAI.

[56]  Terry Winograd,et al.  FRAME REPRESENTATIONS AND THE DECLARATIVE/PROCEDURAL CONTROVERSY , 1975 .

[57]  Donald D. Chamberlin,et al.  Relational Data-Base Management Systems , 1976, CSUR.

[58]  E. F. Codd,et al.  Seven Steps to Rendezvous with the Casual User , 1974, IFIP Working Conference Data Base Management.

[59]  R. Reiter,et al.  SOME REPRESENTATIONAL ISSUES IN DEFAULT REASONING , 1980 .

[60]  Edward H. Shortliffe,et al.  Computer-based medical consultations, MYCIN , 1976 .

[61]  Terry Winograd,et al.  Breaking the complexity barrier again , 1973, SIGPLAN '73.

[62]  Gary G. Hendrix,et al.  Expanding the Utility of Semantic Networks Through Partitioning , 1975, IJCAI.

[63]  Erik Sandewall,et al.  Integrated Interactive Computing Systems. , 1982 .

[64]  Richard S. Rosenberg,et al.  A Case-Driven Parser For Natural Language , 1975 .

[65]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[66]  Gary G. Hendrix,et al.  Developing a natural language interface to complex data , 1977, TODS.

[67]  T. Ottmann,et al.  An experimental study of insertion schemes for classes of multiway search trees , 1981 .

[68]  Kathleen R. Mc Keown,et al.  THE TEXT SYSTEM FOR NATURAL LANGUAGE GENERATION: AN OVERVIEW , 1982, ACL 1982.

[69]  Robert C. Moore Natural-Language Access to Databases-Theoretical/Technical Issues , 1982, ACL.

[70]  William S. Havens,et al.  Representing Knowledge of the Visual World , 1983, Computer.

[71]  H. Grice Logic and conversation , 1975 .

[72]  William A. Woods,et al.  Semantics and Quantification in Natural Language Question Answering , 1986, Adv. Comput..

[73]  Victor R. Lesser,et al.  Focusing in Plan Recognition , 1984, AAAI.

[74]  Mitchell P. Marcus,et al.  A theory of syntactic recognition for natural language , 1979 .

[75]  Johan de Kleer,et al.  Foundations of Envisioning , 1982, AAAI.

[76]  Gary G. Hendrix,et al.  Encoding Knowledge in Partitioned Networks , 1979 .

[77]  Drew McDermott,et al.  Tarskian Semantics, or No Notation Without Denotation! , 1986, Cogn. Sci..

[78]  Michael Lebowitz Creating a Story-Telling Universe , 1983, IJCAI.

[79]  John D. Burger,et al.  Problems in Natural-Language Interface to DBMS With Examples From EUFID , 1983, ANLP.

[80]  Frederick B. Thompson,et al.  Practical Natural Language Processing: The REL System as Prototype , 1975, Adv. Comput..

[81]  Ronald J. Brachman,et al.  What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic Networks , 1983, Computer.

[82]  George Lakoff Linguistics and natural logic , 1970 .

[83]  Willard Van Orman Quine,et al.  Word and Object , 1960 .

[84]  Roger C. Schank Adverbs and belief. , 1972 .

[85]  Edgar H. Sibley,et al.  Evolution of Data-Base Management Systems , 1976, CSUR.

[86]  Robert C. Moore D-Script: A Computational Theory of Descriptions , 1973, IEEE Transactions on Computers.

[87]  John Mylopoulos,et al.  Semantic Networks and the Generation of Context , 1975, IJCAI.

[88]  Bonnie Webber,et al.  Preventing False Inferences , 1984, Annual Meeting of the Association for Computational Linguistics.

[89]  B. Webber,et al.  Elements of Discourse Understanding , 1983 .

[90]  E. Tulving,et al.  Organization of memory. , 1973 .

[91]  S. Jerrold Kaplan,et al.  Cooperative Responses from a Portable Natural Language Query System , 1982, Artif. Intell..

[92]  Robert F. Simmons,et al.  Indexing and dependency logic for answering english questions , 1964 .

[93]  Sandra Carberry,et al.  Tracking User Goals in an Information-Seeking Environment , 1983, AAAI.

[94]  Lenhart K. Schubert Extending The Expressive Power Of Semantic Networks , 1976, IJCAI.

[95]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[96]  C. Bullwinkle Levels of Complexity in Discourse for Anaphora Disambiguation and Speech Act Interpretation , 1977, IJCAI.

[97]  L. Zadeh A Fuzzy-Set-Theoretic Interpretation of Linguistic Hedges , 1972 .

[98]  Lance A. Miller,et al.  Parse Fitting and Prose Fixing: Getting a Hold on III-Formedness , 1983, Am. J. Comput. Linguistics.

[99]  J. Austin How to do things with words , 1962 .

[100]  Nicholas V. Findler,et al.  Associative Networks- Representation and Use of Knowledge by Computers , 1980, CL.

[101]  Gordon I. McCalla,et al.  An Approach to the Organization of Knowledge and its use in Natural Language Recall Tasks , 1983 .

[102]  James A. Craig,et al.  DEACON: direct English access and control , 1966, AFIPS '66 (Fall).

[103]  Roger C. Schank,et al.  Parsing Directly into Knowledge Structures , 1979, IJCAI.

[104]  Leonard Bolc,et al.  Natural Language Communication with Computers , 1978, Lecture Notes in Computer Science.

[105]  Richard Granger The NOMAD System: Expectation-Based Detection and Correction of Errors During Understanding of Syntactically and Semantically III-Formed Text , 1983, Am. J. Comput. Linguistics.

[106]  Allen Newell,et al.  Production Systems: Models of Control Structures , 1973 .

[107]  Hans Reichenbach,et al.  Elements of symbolic logic , 1948 .

[108]  William A. Woods,et al.  Cascaded ATN Grammars , 1980, Am. J. Comput. Linguistics.

[109]  Irving L. Traiger,et al.  System R: relational approach to database management , 1976, TODS.

[110]  Carl Hewitt,et al.  Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot , 1972 .

[111]  Randall Davis,et al.  An overview of production systems , 1975 .

[112]  J. L. Weiner,et al.  BLAH, A System Which Explains its Reasoning , 1980, Artif. Intell..

[113]  Gordon I. McCalla An Approach to the Organization of Knowledge for the Modelling of Converstion , 1978 .

[114]  Frank W. Reny Sentence and Predicate Modifiers in English , 1973 .

[115]  Carl Hewitt,et al.  Viewing Control Structures as Patterns of Passing Messages , 1977, Artif. Intell..

[116]  Candace L. Sidner,et al.  Plan parsing for intended response recognition in discourse 1 , 1985, Comput. Intell..

[117]  Yorick Wilks,et al.  Preference Semantics, III-Formedness, and Metaphor , 1983, Am. J. Comput. Linguistics.

[118]  Eric Mays,et al.  Monitors as Responses to Questions: Determining Competence , 1982, AAAI.

[119]  Jaime G. Carbonell,et al.  Recovery Strategies for Parsing Extragrammatical Language , 1983, CL.

[120]  Max J. Cresswell,et al.  Logics and languages , 1973 .

[121]  Daniel G. Bobrow,et al.  GUS, A Frame-Driven Dialog System , 1986, Artif. Intell..

[122]  William A. Woods,et al.  What's in a Link: Foundations for Semantic Networks , 1975 .

[123]  Edward A. Felgenbaum The art of artificial intelligence: themes and case studies of knowledge engineering , 1977, IJCAI 1977.

[124]  Stuart C. Shapiro,et al.  A Net Structure for Semantic Information Storage, Deduction and Retrieval , 1971, IJCAI.

[125]  Michael J. Ginzberg,et al.  Artificial Intelligence Applications for Business , 1984 .

[126]  Jaime G. Carbonell,et al.  Multi-Strategy Construction-Specific Parsing for Flexible Data Base Query and Update , 1981, IJCAI.

[127]  Scott E. Fahlman Design Sketch for a Million-Element NETL Machine , 1980, AAAI.

[128]  Jim Davidson,et al.  Interpreting Natural Language Database Updates , 1981, ACL.

[129]  Bruce G. Buchanan,et al.  On generality and problem solving: a case study using the DENDRAL program , 1970 .

[130]  Bertram C. Bruce A Model for Temporal References and Its Application in a Question Answering Program , 1972, Artif. Intell..

[131]  Michael Stonebraker,et al.  CUPID - The Friendly Query Language , 1975, ACM Pacific.

[132]  R. Montague Formal philosophy; selected papers of Richard Montague , 1974 .

[133]  Emmon W. Bach,et al.  Universals in Linguistic Theory , 1970 .

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

[135]  Edward H. Shortliffe,et al.  Production Rules as a Representation for a Knowledge-Based Consultation Program , 1977, Artif. Intell..

[136]  E. Tulving,et al.  Episodic and semantic memory , 1972 .

[137]  Allan Collins,et al.  How to make a language user. , 1972 .

[138]  Roger C. Schank,et al.  Computer Models of Thought and Language , 1974 .

[139]  Daniel G. Bobrow,et al.  On Overview of KRL, a Knowledge Representation Language , 1976, Cogn. Sci..

[140]  David H. D. Warren,et al.  Definite Clause Grammars for Language Analysis - A Survey of the Formalism and a Comparison with Augmented Transition Networks , 1980, Artif. Intell..

[141]  Warren J. Plath REQUEST: A Natural Language Question-Answering System , 1976, IBM J. Res. Dev..

[142]  H. Levesque,et al.  A PROCEDURAL SEMANTICS FOR SEMANTIC NETWORKS , 1979 .

[143]  Barbara J. Grosz,et al.  TEAM: A Transportable Natural-Language Interface System , 1983, ANLP.

[144]  James Davidson,et al.  Natural Language Access to Data Bases: Interpreting Update Requests , 1981, Am. J. Comput. Linguistics.

[145]  C. Raymond Perrault,et al.  It's for Your Own Good: A Note on Inaccurate Reference. , 1981 .

[146]  Frederick B. Thompson,et al.  How features resolve syntactic ambiguity , 1971, SIGIR '71.

[147]  B. Russell II.—On Denoting , 1905 .

[148]  James F. Allen,et al.  Planning Using a Temporal World Model , 1983, IJCAI.

[149]  Barbara J. Grosz,et al.  The Representation and Use of Focus in a System for Understanding Dialogs , 1977, IJCAI.

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

[151]  Robert F. Hadley Shadow: A natural language query analyzer , 1985 .

[152]  F. B. Thompson,et al.  REL: A Rapidly Extensible Language system , 1969, ACM '69.

[153]  Julia Hirschberg,et al.  User Participation in the Reasoning Processes of Expert Systems , 1982, AAAI.

[154]  Drew McDermott,et al.  Artificial intelligence meets natural stupidity , 1976, SGAR.

[155]  Abe Lockman,et al.  The Use of Dynamically Extracted Context for Anaphoric Reference Resolution , 1977, IJCAI.

[156]  E. Feigenbaum,et al.  Computers and Thought , 1963 .

[157]  Douglas E. Appelt Planning Natural-Language Utterances , 1982, AAAI.

[158]  Raymond Reiter Data bases: A logical perspective , 1981, SIGMOD 1981.

[159]  Raymond Reiter,et al.  Deductive Question-Answering on Relational Data Bases , 1977, Logic and Data Bases.

[160]  Moshé M. Zloof Query by example , 1975, AFIPS '75.

[161]  Douglas B. Lenat,et al.  Automated Theory Formation in Mathematics , 1977, IJCAI.

[162]  Marvin Minsky,et al.  Semantic Information Processing , 1968 .

[163]  Ronald J. Brachman,et al.  ON THE EPISTEMOLOGICAL STATUS OF SEMANTIC NETWORKS , 1979 .

[164]  Hector J. Levesque,et al.  Foundations of a Functional Approach to Knowledge Representation , 1984, Artif. Intell..

[165]  Roger C. Schank,et al.  Conceptual dependency: A theory of natural language understanding , 1972 .

[166]  Kathleen F. McCoy Augmenting a Database Knowledge Representation for Natural Language Generation , 1982, ACL.

[167]  Richard Montague Pragmatics and intensional logic , 1970 .

[168]  Jack Minker,et al.  Logic and Data Bases , 1978, Springer US.

[169]  Madeleine Bates,et al.  The Theory and Practice of Augmented Transition Network Grammars , 1978, Natural Language Communication with Computers.

[170]  Gerald Gazdar,et al.  Pragmatics: Implicature, Presupposition, and Logical Form , 1978 .

[171]  Terry Winograd,et al.  Towards a procedural understanding of semantics , 1976 .