The Knowledge Frontier

In this chapter, we overview eight major approaches to knowledge representation: logical representations , semantic networks , procedural representations, logic programming formalisms. frame -based representations, production system architectures, and knowledge representation languages. The fundamentals of each approach are described, and then elaborated upon through illustrative examples chosen from actual systems which employ the approach. Where appropriate, comparisons among the various schemes are drawn. The chapter concludes with a set of general principles which have grown out of the dlfferen t approaches. Based on the paper, Approaches to Knowledge Representation, G. McCalla and N. Cercone, appearing in COMPUTER, Volume 16, Number 10, October, 1983. 2 The Knowledge Frontier:

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

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

[3]  H. Barrow,et al.  RECOVERING INTRINSIC SCENE CHARACTERISTICS FROM IMAGES , 1978 .

[4]  Jan J. Gerbrands,et al.  Computer analysis of moving radiopaque markers from X-ray cinefilms , 1979 .

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

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

[7]  Tiko Kameda,et al.  On the Vector Representation of the Reachability in Planar Directed Graphs , 1975, Inf. Process. Lett..

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

[9]  Mark E. Stickel.  Theory Resolution: Building in Nonequational Theories , 1983, AAAI.

[10]  Roger C. Schank,et al.  SCRIPTS, PLANS, GOALS, AND UNDERSTANDING , 1988 .

[11]  Robert C. Moore.  The Role of Logic in Knowledge Representation and Commonsense Reasoning , 1982, AAAI.

[12]  Gordon I. McCalla,et al.  Artificial intelligence: Underlying assumptions and basic objectives , 1984, J. Am. Soc. Inf. Sci..

[13]  John P. McDermott,et al.  OPS, A Domain-Independent Production System Language , 1977, IJCAI.

[14]  Lenhart K. Schubert,et al.  Inference in a Topically Organized Semantic Net , 1986, AAAI.

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

[16]  Brian C. Williams,et al.  Qualitative Analysis of MOS Circuits , 1984, Artif. Intell..

[17]  Lotfi A. Zadeh,et al.  Syllogistic reasoning in fuzzy logic and its application to usuality and reasoning with dispositions , 1985, IEEE Transactions on Systems, Man, and Cybernetics.

[18]  Marvin Minsky,et al.  Why People Think Computers Can't , 1982, AI Mag..

[19]  W. Quine,et al.  The web of belief , 1970 .

[20]  James A. Craig,et al.  Deacon, Direct English Access and Control , 1899 .

[21]  M. Brady,et al.  Recognizing Intentions From Natural Language Utterances , 1983 .

[22]  Alan Bundy,et al.  Using Meta-Level Inference for Selective Application of Multiple Rewrite Rules in Algebraic Manipulation , 1980, CADE.

[23]  John Seely Brown,et al.  Diagnostic Models for Procedural Bugs in Basic Mathematical Skills , 1978, Cogn. Sci..

[24]  John C. Kunz.  Analysis of Physiological Behavior Using a Causal Model Based on First Principles , 1983, AAAI.

[25]  Bruce G. Buchanan,et al.  Heuristic DENDRAL - A program for generating explanatory hypotheses in organic chemistry. , 1968 .

[26]  J. Doyle.  Some theories of reasoned assumptions : an essay in rational psychology , 1983 .

[27]  Scott E. Fahlman,et al.  NETL: A System for Representing and Using Real-World Knowledge , 1979, CL.

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

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

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

[31]  R. Shepard.  The mental image. , 1978 .

[32]  Charles Rich.  A Formal Representation For Plans In The Programmer's Apprentice , 1982, On Conceptual Modelling.

[33]  Henry Kautz,et al.  A model of naive temporal reasoning , 1985 .

[34]  Bonnie L. Webber,et al.  Knowledge Representation for Syntactic/Semantic Processing , 1980, AAAI.

[35]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

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

[37]  Christoph Walther,et al.  A Many-Sorted Calculus Based on Resolution and Paramodulation , 1982, IJCAI.

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

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

[40]  William S. Havens.  A Procedural Model of Recognition , 1977, IJCAI.

[41]  W. Rapaport.  Meinong, Defective Objects, and (Psycho-)Logical Paradox , 1982 .

[42]  Stuart C. Shapiro,et al.  Title Index , 1986, CL.

[43]  Lenhart K. Schubert,et al.  PARTS INFERENCE: Closed and Semi-Closed Partitioning Graphs , 1981, IJCAI.

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

[45]  E. Shortliffe,et al.  Explanatory Power for Medical Expert Systems: Studies in the Representation of Causal Relationships for Clinical Consultations , 1982, Methods of Information in Medicine.

[46]  Robert E. Mercer,et al.  On the adequacy of predicate circumscription for closed‐world reasoning , 1985, Comput. Intell..

[47]  Lenhart K. Schubert,et al.  Toward a State Based Conceptual Representation , 1975, IJCAI.

[48]  David Poole,et al.  An expert system for educational diagnosis based on default logic , 1987 .

[49]  Philip R. Cohen.  Planning speech acts and referring expressions , 1978, SGAR.

[50]  Hassan K. Reghbati,et al.  A Frame Based System for Representing Knowledge About VLSI Design: A Proposal , 1986, DAC 1986.

[51]  Erik Sandewall,et al.  A Functional Approach to Non-Monotonic Logic , 1985, IJCAI.

[52]  Stuart C. Shapiro,et al.  THE SNePS SEMANTIC NETWORK PROCESSING SYSTEM , 1979 .

[53]  Jack Minker,et al.  A PREDICATE CALCULUS BASED SEMANTIC NETWORK FOR DEDUCTIVE SEARCHING , 1979 .

[54]  Alan K. Mackworth.  How To See A Simple World , 1975 .

[55]  D G Gibson,et al.  Analysis of left ventricular wall movement during isovolumic relaxation and its relation to coronary artery disease. , 1976, British heart journal.

[56]  William J. Rapaport.  Meinongian Semantics for Propositional Semantic Networks , 1985, ACL.

[57]  Robert Wilensky,et al.  Understanding Goal-Based Stories , 1978, Outstanding Dissertations in the Computer Sciences.

[58]  Fernando Pereira,et al.  Prolog - the language and its implementation compared with Lisp , 1977, Artificial Intelligence and Programming Languages.

[59]  B. Funt.  A Parallel‐Process Model of Mental Rotation* , 1983 .

[60]  H. Castañeda.  Thinking and the structure of the world , 1974 .

[61]  Patrick Henry Winston,et al.  Learning structural descriptions from examples , 1970 .

[62]  Zenon W. Pylyshyn,et al.  What the Mind’s Eye Tells the Mind’s Brain: A Critique of Mental Imagery , 1973 .

[63]  Stuart C. Shapiro.  Representing and locating deduction rules in a semantic network , 1977, SGAR.

[64]  Gary James Jason,et al.  The Logic of Scientific Discovery , 1988 .

[65]  Stuart C. Shapiro,et al.  Inference with Recursive Rules , 1980, AAAI.

[66]  Gerald Jay Sussman,et al.  CONSTRAINTS - A Language for Expressing Almost-Hierarchical Descriptions , 1980, Artif. Intell..

[67]  Lotfi A. Zadeh,et al.  A Theory of Approximate Reasoning , 1979 .

[68]  William A. Woods.  What's Important About Knowledge Representation? , 1983, Computer.

[69]  R. Schank,et al.  Response to Dresher and Hornstein , 1977, Cognition.

[70]  L. Zadeh.  A fuzzy-set-theoretic approach to the compositionality of meaning: , 1983 .

[71]  Sargur N. Srihari,et al.  Analogical and propositional representations of structure in neurological diagnosis , 1984 .

[72]  John R. Anderson,et al.  MACHINE LEARNING An Artificial Intelligence Approach , 2009 .

[73]  H. Simon,et al.  Rational choice and the structure of the environment. , 1956, Psychological review.

[74]  David L. Waltz,et al.  Understanding Line drawings of Scenes with Shadows , 1975 .

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

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

[77]  William J. Rapaport.  How to make the World Fit Our Language: An Essay in Meinongian Semantics , 1981 .

[78]  David H. D. Warren,et al.  An Efficient Easily Adaptable System for Interpreting Natural Language Queries , 1982, CL.

[79]  David Poole,et al.  On the Comparison of Theories: Preferring the Most Specific Explanation , 1985, IJCAI.

[80]  Lotfi A. Zadeh,et al.  Similarity relations and fuzzy orderings , 1971, Inf. Sci..

[81]  Randy H. Katz,et al.  Managing the chip design database , 1983, Computer.

[82]  John K. Tsotsos,et al.  Knowledge organization and its role in representation and interpretation for time-varying data: the ALVEN system , 1987 .

[83]  Douglas B. Lenat,et al.  The Role of Heuristics in Learning by Discovery: Three Case Studies , 1983 .

[84]  D G Gibson,et al.  Detection of abnormal left ventricular wall movement during isovolumic contraction and early relaxation. Comparison of echo- and angiocardiography. , 1978, British heart journal.

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

[86]  P. Halmos.  Lectures on Boolean Algebras , 1963 .

[87]  Robert A. Kowalski,et al.  The Semantics of Predicate Logic as a Programming Language , 1976, JACM.

[88]  QuillianM. Ross.  The teachable language comprehender , 1969 .

[89]  Donald W. Loveland,et al.  Automated theorem proving: a logical basis , 1978, Fundamental studies in computer science.

[90]  Fernando Pereira,et al.  Definite clause grammars for language analysis , 1986 .

[91]  Benjamin Kuipers,et al.  Commonsense Reasoning about Causality: Deriving Behavior from Structure , 1984, Artif. Intell..

[92]  C. Driver.  The relevance of relevance , 1976 .

[93]  Randy Goebel,et al.  On eliminating loops in Prolog , 1985, SIGP.

[94]  Samuel T. Waters,et al.  American Association for Artificial Intelligence (AAAI) , 1988 .

[95]  Tetsutaro Shibahara.  On Using Causal Knowledge to Recognize Vital Signals: Knowledge-based Interpretation of Arrhythmias , 1985, IJCAI.

[96]  John Niemeyer Findlay,et al.  Meinong's theory of objects and values , 1967 .

[97]  William James Van Melle,et al.  A domain-independent system that aids in constructing knowledge-based consultation programs , 1980 .

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

[99]  J. J. McGregor,et al.  Data directed control and operating systems , 1972, Comput. J..

[100]  K Kato,et al.  Echocardiographic study on diastolic posterior wall movement and left ventricular filling by disease category. , 1979, American heart journal.

[101]  J. Dilley.  Association structure. , 1968, Journal of the American College Health Association.

[102]  William S. Havens,et al.  A theory of schema labelling , 1984 .

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

[104]  Sakti P. Ghosh.  File organization , 1972, Commun. ACM.

[105]  Eugene C. Freuder,et al.  The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems , 1985, Artif. Intell..

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

[107]  William J. Rapaport,et al.  Logical Foundations for Belief Representation , 1986, Cogn. Sci..

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

[109]  Earl David Sacerdoti,et al.  A Structure for Plans and Behavior , 1977 .

[110]  J. Anderson,et al.  Discovery and representation of causal relationships from a large time-oriented clinical database: The RX Project , 1984 .

[111]  Hector-Neri Castañeda,et al.  Thinking and Doing: The Philosophical Foundations of Institutions , 1975 .

[112]  William S. Havens,et al.  Structuring Domain Knowledge For Visual Perception , 1981, IJCAI.

[113]  Steven L. Horowitz,et al.  A syntactic algorithm for peak detection in waveforms with applications to cardiography , 1975, Commun. ACM.

[114]  Allen Newell,et al.  Human Problem Solving. , 1973 .

[115]  Sargur N. Srihari,et al.  Spatial structure and function representation in diagnostic expert systems , 1986 .

[116]  Nils J. Nilsson,et al.  Problem-solving methods in artificial intelligence , 1971, McGraw-Hill computer science series.

[117]  Brian R. Gaines,et al.  Fuzzy reasoning and its applications , 1981 .

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

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

[120]  Stuart C. Shapiro,et al.  A Semantic Associational Memory Net That Learns and Answers Questions , 1968 .

[121]  David Maier,et al.  The Theory of Relational Databases , 1983 .

[122]  Mimi A Kao.  Turning null responses into quality responses , 1986 .

[123]  Kellogg S. Booth,et al.  Linear algorithms to recognize interval graphs and test for the consecutive ones property , 1975, STOC.

[124]  Ira P. Goldstein,et al.  The FRL Primer , 1977 .

[125]  P. Hayes.  The Logic of Frames , 1981 .

[126]  F. Bartlett,et al.  Remembering: A Study in Experimental and Social Psychology , 1932 .

[127]  C. Lekkeikerker,et al.  Representation of a finite graph by a set of intervals on the real line , 1962 .

[128]  Ira P. Goldstein,et al.  The genetic graph: a representation for the evolution of procedural knowledge , 1979 .

[129]  John K. Tsotsos,et al.  A framework for visual motion understanding , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

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

[131]  R. Shepard,et al.  Mental Images and Their Transformations , 1982 .

[132]  Vijay Pitchumani,et al.  An Experiment in Programming with Full First-Order Logic , 1985, SLP.

[133]  Stuart C. Shapiro.  Path-based and node-based inference in semantic networks , 1978, TINLAP '78.

[134]  Jack Minker,et al.  The Use of a Semantic Network in a Deductive Question-Answering System , 1977, IJCAI.

[135]  T. Winograd.  On some contested suppositions of generative linguistics about the scientific study of language A response to Dresher and Hornstein's on some supposed contributions of artificial intelligence to the scientific study of language , 1977, Cognition.

[136]  John Seely Brown,et al.  SOPHIE: A Sophisticated Instructional Environment. , 1974 .

[137]  Gordon I. McCalla,et al.  Accessing Knowledge through Natural Language , 1986, Adv. Comput..

[138]  Tariq Samad,et al.  Natural-Language Interface for CAD: A First Step , 1985, IEEE Design & Test of Computers.

[139]  Kenneth M. Kahn,et al.  Mechanizing Temporal Knowledge , 1977, Artif. Intell..

[140]  E. F. Codd,et al.  A Relational Model for Large Shared Data Banks , 1970 .

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

[142]  Michael Joseph Almeida.  Reasoning about the temporal structure of narratives , 1987 .

[143]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[144]  Ehud Shapiro,et al.  A subset of Concurrent Prolog and its interpreter , 1988 .

[145]  Alan Bundy,et al.  Special Purpose, but Domain Independent, Inference Mechanisms , 1982, ECAI.

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

[147]  Eleanor H. Warnock,et al.  Reasoning from Incomplete Knowledge. , 1975 .

[148]  D. R. Fulkerson,et al.  Incidence matrices and interval graphs , 1965 .

[149]  Casimir A. Kulikowski,et al.  A Practical Guide to Designing Expert Systems , 1984 .

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

[151]  Henry A. Kautz,et al.  Constraint Propagation Algorithms for Temporal Reasoning , 1986, AAAI.

[152]  David Chapman,et al.  Planning for Conjunctive Goals , 1987, Artif. Intell..

[153]  Gerald Jay Sussman,et al.  A Computer Model of Skill Acquisition , 1975 .

[154]  Peter Szolovits,et al.  Categorical and Probabilistic Reasoning in Medical Diagnosis , 1990, Artif. Intell..

[155]  D. Dubois,et al.  Fuzzy cardinality and the modeling of imprecise quantification , 1985 .

[156]  Tom Mitchell,et al.  The Redesign System: A Knowledge-Based Approach to VLSI CAD , 1985, IEEE Design & Test of Computers.

[157]  Richard Edward Cullingford,et al.  Script application: computer understanding of newspaper stories. , 1977 .

[158]  Robert A. Kowalski,et al.  Predicate Logic as Programming Language , 1974, IFIP Congress.

[159]  James E. Tomberlin,et al.  Agent, Language and the Structure of the World: Essays Presented to Hector-Neri Castaneda With His Replies , 1983 .

[160]  Nils J. Nilsson,et al.  ARTIFICIAL INTELLIGENCE: ENGINEERING, SCIENCE, , 1981 .

[161]  B. Dresher,et al.  On some supposed contributions of artificial intelligence to the scientific study of language , 1976, Cognition.

[162]  Richard W. Weyhrauch,et al.  Prolegomena to a Theory of Mechanized Formal Reasoning , 1980, Artif. Intell..

[163]  Randall Davis,et al.  Diagnostic Reasoning Based on Structure and Behavior , 1984, Artif. Intell..

[164]  Steven A. Vere,et al.  Planning in Time: Windows and Durations for Activities and Goals , 1983, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[165]  John K. Tsotsos,et al.  CAA: A Knowledge Based System Using Causal Knowledge to Diagnose Cardiac Rhythm Disorders , 1983, IJCAI.

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

[167]  Jack Mostow,et al.  A production system for speech understanding , 1977, SGAR.

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

[169]  K. H. Hoehne,et al.  The Processing of X-Ray Image Sequences , 1979 .

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

[171]  Gerald Jay Sussman,et al.  Heuristic techniques in computer-aided circuit analysis , 1975 .

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

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

[174]  W. Fichtner,et al.  The VLSI Design Automation Assistant: From Algorithms to Silicon , 1985, IEEE Design & Test of Computers.

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

[176]  Stuart C. Shapiro,et al.  Numerical Quantifiers and Their Use in Reasoning with Negative Information , 1979, IJCAI.

[177]  Stuart C. Shapiro,et al.  Quasi-Indexical Reference in Propositional Semantic Networks , 1984, ACL.

[178]  J. A. Robinson,et al.  Logic, form and function , 1979 .

[179]  David J. Israel,et al.  Interpreting network formalisms , 1983 .

[180]  David P. Miller,et al.  Planning by search through simulations , 1985 .

[181]  David Poole.  A Logical System for Default Reasoning , 1984, NMR.

[182]  L. Thorne McCarty,et al.  The Representation of an Evolving System of Legal Concepts: II. Prototypes and Deformations , 1981, IJCAI.

[183]  Magdy Abadir,et al.  A Knowledge-Based System for Designing Testable VLSI Chips , 1985, IEEE Design & Test of Computers.

[184]  Steven W. Zucker.  PRODUCTION SYSTEMS WITH FEEDBACK , 1978 .

[185]  Fernando Gomez,et al.  An Approach to Medical Diagnosis Based on Conceptual Structures , 1979, IJCAI.

[186]  Karel Lambert,et al.  Meinong and the principle of independence , 1983 .

[187]  Stuart C. Shapiro,et al.  Intensional Concepts in Propositional Semantic Networks , 1982, Cogn. Sci..

[188]  Robert P. Abelson,et al.  CONCEPTS FOR REPRESENTING MUNDANE REALITY IN PLANS , 1975 .

[189]  Stuart C. Shapiro,et al.  Reasoning in Multiple Belief Spaces , 1983, IJCAI.

[190]  Ronald J. Brachman,et al.  Special issue on knowledge representation , 1980, SGAR.

[191]  Lotfi A. Zadeh.  Management of uncertainty in expert systems , 1986 .

[192]  Lotfi A. Zadeh,et al.  The Concepts of a Linguistic Variable and its Application to Approximate Reasoning , 1975 .

[193]  Stuart C. Shapiro.  The MIND System: A Data Structure for Semantic Information Processing, , 1971 .

[194]  Nelleke Aiello.  A Comparative Study of Control Strategies for Expert Systems: Age Implementation of Three Variations of PUFF , 1983, AAAI.