KNOWLEDGE REPRESENTATION AND REASONING1

Publisher Summary This chapter discusses the knowledge representation and reasoning hypothesis. According to the knowledge representation hypothesis, intelligent behavior ultimately depends on explicitly represented knowledge. No other design strategy as yet seems plausible to explain behavior, or have it depend in a flexible way on what one is told, or to isolate the assumptions that govern it, or to achieve any number of other desirable traits. However, KR by itself does not solve anything unless a system is able to reason effectively with what it has explicitly represented. Specifically, if reasoning needs to be performed automatically as a part of a larger task, it must be dependable both in terms of what it calculates and how long it takes. Thus, KR is the study of what information can be extracted, in a computationally dependable way, from what forms of represented knowledge. In other words, it investigates the area within the confines of the KR hypothesis.

[1]  Lenhart K. Schubert.  Problems with Parts , 1979, IJCAI.

[2]  H. Levesque.  A formal treatment of incomplete knowledge bases , 1981 .

[3]  Hector J. Levesque,et al.  Making Believers out of Computers , 1986, Artif. Intell..

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

[5]  Keith L. Clark,et al.  Negation as Failure , 1987, Logic and Data Bases.

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

[7]  Kurt Konolige,et al.  Circumscriptive Ignorance , 1982, AAAI.

[8]  Aaron Sloman,et al.  Afterthoughts on Analogical Representations , 1975, TINLAP.

[9]  Kurt Konolige,et al.  A Computational Theory of Belief Introspection , 1985, IJCAI.

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

[11]  Allan Collins,et al.  A spreading-activation theory of semantic processing , 1975 .

[12]  Jon Doyle,et al.  A selected descriptor-indexed bibliography to the literature on belief revision , 1980, SGAR.

[13]  K. Konolige.  A deduction model of belief , 1986 .

[14]  John McCarthy,et al.  Programs with common sense , 1960 .

[15]  Hector J. Levesque,et al.  The Logic of Incomplete Knowledge Bases , 1982, On Conceptual Modelling.

[16]  Hector J. Levesque,et al.  An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON , 1985, IJCAI.

[17]  Eugene Charniak,et al.  A Common Representation for Problem-Solving and Language-Comprehension Information , 1981, Artif. Intell..

[18]  Gary G. Hendrix,et al.  Computational Models of Belief and the Semantics of Belief Sentences , 1982 .

[19]  Jon Doyle,et al.  A Glimpse of Truth Maintenance , 1979, IJCAI.

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

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

[22]  Jon Doyle,et al.  AMORD explicit control of reasoning , 1977, SIGART Newsl..

[23]  Christopher Cherniak,et al.  Computational Complexity and the Universal Acceptance of Logic , 1984 .

[24]  Ronald J. Brachman,et al.  "I Lied About the Trees", Or, Defaults and Definitions in Knowledge Representation , 1985, AI Mag..

[25]  Chuck Rieger,et al.  An Organization of Knowledge for Problem Solving and Language Comprehension , 1976, Artif. Intell..

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

[27]  Alan M. Frisch.  Using Model Theory to Specify AI Programs , 1985, IJCAI.

[28]  Joseph Y. Halpern,et al.  Towards a Theory of Knowledge and Ignorance: Preliminary Report , 1989, NMR.

[29]  D. McDermott.  A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..

[30]  Nuel D. Belnap,et al.  A Useful Four-Valued Logic , 1977 .

[31]  Michael R. Genesereth,et al.  An Overview of Meta-Level Architecture , 1983, AAAI.

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

[33]  Janice S. Aikins,et al.  Prototypical Knowledge for Expert Systems , 1983, Artif. Intell..

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

[35]  McDermottDrew.  Nonmonotonic Logic II , 1982 .

[36]  David S. Touretzky,et al.  Cancellation in a Parallel Semantic Network , 1981, IJCAI.

[37]  Harry R. Lewis,et al.  Complexity of solvable cases of the decision problem for the predicate calculus , 1978, 19th Annual Symposium on Foundations of Computer Science (sfcs 1978).

[38]  Lawrence J. Henschen,et al.  A New Use of an Automated Reasoning Assistant: Open Questions in Equivalential Calculus and the Study of Infinite Domains , 1984, Artif. Intell..

[39]  John D. Lowrance,et al.  An Inference Technique for Integrating Knowledge from Disparate Sources , 1981, IJCAI.

[40]  Benjamin Kuipers,et al.  ON REPRESENTING COMMONSENSE KNOWLEDGE , 1979 .

[41]  Matthew L. Ginsberg,et al.  Non-Monotonic Reasoning Using Dempster's Rule , 1984, AAAI.

[42]  Raymond Reiter,et al.  On Reasoning by Default , 1978, TINLAP.

[43]  David S. Touretzky,et al.  Implicit Ordering of Defaults in Inheritance Systems , 1984, AAAI.

[44]  Patrick J. Hayes,et al.  Some problems and non-problems in representation theory , 1974 .

[45]  Hector J. Levesque,et al.  A Logic of Implicit and Explicit Belief , 1984, AAAI.

[46]  J. Dekleer.  An assumption-based TMS , 1986 .

[47]  Terry Winograd,et al.  Extended Inference Modes in Reasoning by Computer Systems , 1990, Artif. Intell..

[48]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[49]  Marc B. Vilain,et al.  A System for Reasoning About Time , 1982, AAAI.

[50]  Charles Rich.  Knowledge Representation Languages and Predicate Calculus: How to Have Your Cake and Eat It Too , 1982, AAAI.

[51]  Maria Simi,et al.  Consistency and Completeness of OMEGA, a Logic for Knowledge Representation , 1981, IJCAI.

[52]  Patrick J. Hayes,et al.  Naive physics I: ontology for liquids , 1989 .

[53]  Drew McDermott,et al.  Non-Monotonic Logic I , 1987, Artif. Intell..

[54]  Ronald Fagin,et al.  Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..

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

[56]  Greg Nelson,et al.  Simplification by Cooperating Decision Procedures , 1979, TOPL.

[57]  Lotfi A. Zadeh,et al.  Commonsense Knowledge Representation Based on Fuzzy Logic , 1983, Computer.

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

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

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

[61]  John McCarthy.  First Order Theories of Individual Concepts and Propositions. , 1979 .

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

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

[64]  Vladimir Lifschitz,et al.  Closed-World Databases and Circumscription , 1987, Artif. Intell..

[65]  K. Konolige.  A deduction model of belief and its logics , 1984 .

[66]  Hector J. Levesque,et al.  An overview of Knowledge Representation , 1983, On Conceptual Modelling.

[67]  M R Quillian,et al.  Word concepts: a theory and simulation of some basic semantic capabilities. , 1967, Behavioral science.

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

[69]  Avron Barr,et al.  Representation of Knowledge , 1980 .

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

[71]  Brian V. Funt,et al.  Problem-Solving with Diagrammatic Representations , 1980, Artif. Intell..

[72]  Robert C. Moore.  Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.

[73]  Raymond Reiter,et al.  On Inheritance Hierarchies With Exceptions , 1983, AAAI.

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

[75]  Raymond Reiter,et al.  Circumscription Implies Predicate Completion (Sometimes) , 1982, AAAI.

[76]  David S. Touretzky,et al.  The Mathematics of Inheritance Systems , 1984 .

[77]  Ronald J. Brachman,et al.  An overview of the KL-ONE Knowledge Representation System , 1985 .

[78]  Aaron Sloman,et al.  Interactions Between Philosophy and Artificial Intelligence: The Role of Intuition and Non-Logical Reasoning in Intelligence , 1971, IJCAI.

[79]  Jon Doyle,et al.  The Ins and Outs of Reason Maintenance , 1983, IJCAI.

[80]  Lenhart K. Schubert,et al.  Determining Type, Part, Color, and Time Relationships , 1983, Computer.

[81]  E. Rosch,et al.  Family resemblances: Studies in the internal structure of categories , 1975, Cognitive Psychology.

[82]  Hector J. Levesque,et al.  The Tractability of Subsumption in Frame-Based Description Languages , 1984, AAAI.

[83]  David J. Israel.  The Role of Logic in Knowledge Representation , 1983, Computer.

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

[85]  Steven K. Winker.  Generation and Verification of Finite Models and Counterexamples Using an Automated Theorem Prover Answering Two Open Questions , 1982, JACM.

[86]  Hector J. Levesque,et al.  Competence in Knowledge Representation , 1982, AAAI.

[87]  Daniel G. Bobrow,et al.  KRL: Another Perspective , 1979, Cogn. Sci..

[88]  Gerhard Lakemeyer.  Steps Towards a First-Order Logic of Explicit and Implicit Belief , 1986, TARK.

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

[90]  Daniel G Bobrow,et al.  On data-limited and resource-limited processes , 1975, Cognitive Psychology.

[91]  Jaakko Hintikka,et al.  Impossible possible worlds vindicated , 1975, J. Philos. Log..

[92]  Carl Hewitt,et al.  PLANNER: A Language for Proving Theorems in Robots , 1969, IJCAI.

[93]  C. E. Alchourrón,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985 .

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

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