An overview of Knowledge Representation

This is a brief overview of terminology and issues related to Knowledge Representation (here-after KR) research, intended primarily for researchers working on Semantic Data Models within Database Management and Program Specifications within Programming Languages/Software Engineering. Knowledge Representation is a central problem in Artificial Intelligence (AI) today. Its importance stems from the fact that the current design paradigm for “intelligent” systems stresses the need for expert knowledge in the system along with associated knowledge-handling facilities. This paradigm is in sharp contrast to earlier ones which might be termed “power-oriented” [Goldstein and Papert 77] in that they placed an emphasis on general purpose heuristic search techniques [Nilsson 71].

[1]  Randall Davis,et al.  Interactive Transfer of Expertise: Acquisition of New Inference Rules , 1993, IJCAI.

[2]  Allen Newell,et al.  The Knowledge Level , 1989, Artif. Intell..

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

[4]  R. Reiter.  On Closed World Data Bases , 1987, Logic and Data Bases.

[5]  David J. Israel.  On Interpreting Semantic Network Formalisms. , 1982 .

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

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

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

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

[10]  Raymond Reiter,et al.  On Interacting Defaults , 1981, IJCAI.

[11]  Alexander Borgida,et al.  On the Definition of Specialization Hierarchies for Procedures , 1981, IJCAI.

[12]  Donald A. Waterman,et al.  Pattern-Directed Inference Systems , 1981, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[13]  Jon Doyle,et al.  A model for deliberation, action, and introspection , 1981, SGAR.

[14]  David J. Israel.  What's Wrong with Non-Monotonic Logic? , 1980, AAAI.

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

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

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

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

[19]  Elliott Mendelson,et al.  Introduction to Mathematical Logic , 1979 .

[20]  Richard W. Weyhrauch,et al.  Prolegomena to a theory of formal reasoning , 1978 .

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

[22]  Douglas B. Lenat,et al.  Computers and Thought Lecture: The Ubiquity of Discovery , 1977, IJCAI.

[23]  John Mylopoulos,et al.  Two views of data semantics: a survey of data models in artificial intelligence and data management , 1977 .

[24]  Ira P. Goldstein,et al.  NUDGE, A Knowledge-Based Scheduling Program , 1977, IJCAI.

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

[26]  Douglas B. Lenat,et al.  The ubiquity of discovery: computers and thought lecture , 1977, IJCAI 1977.

[27]  E. Feigenbaum.  The Art of Artificial Intelligence: Themes and Case Studies of Knowledge Engineering , 1977, IJCAI.

[28]  Patrick J. Hayes,et al.  In Defense of Logic , 1977, IJCAI.

[29]  Peter Szolovits,et al.  An Overview of OWL, a language for knowledge representation , 1977 .

[30]  Daniel G. Bobrow,et al.  An overview of KRL, a Knowledge Representation Language , 1976 .

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

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

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

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

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

[36]  Richard O. Duda,et al.  Pattern classification and scene analysis , 1974, A Wiley-Interscience publication.

[37]  Carl Hewitt,et al.  A Universal Modular ACTOR Formalism for Artificial Intelligence , 1973, IJCAI.

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

[39]  Gerald Jay Sussman,et al.  Why Conniving is Better than Planning , 1972 .

[40]  W. W. Bledsoe,et al.  Review of "Problem-Solving Methods in Artificial Intelligence by Nils J. Nilsson", McGraw-Hill Pub. , 1971, SGAR.

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

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

[43]  B. Raphael.  SIR: A COMPUTER PROGRAM FOR SEMANTIC INFORMATION RETRIEVAL , 1964 .

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

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

[46]  Raymond Reiter,et al.  Towards a Logical Reconstruction of Relational Database Theory , 1982, On Conceptual Modelling.

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

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

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

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

[51]  Harlan D. Mills,et al.  Structured programming - theory and practice , 1979, The systems programming series.

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

[53]  Philip R. Cohen.  On knowing what to say: planning speech acts. , 1978 .

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

[55]  IRA GOLDSTEIN,et al.  Artificial Intelligence, Language, and the Study of Knowledge , 1977, Cogn. Sci..

[56]  Jean-Marie Nicolas,et al.  Integrity Checking in Deductive Data Bases , 1977, Logic and Data Bases.

[57]  Daniel G. Bobrow,et al.  Knowledge Representation , 1977, IJCAI.

[58]  Stephen Todd,et al.  Relations and Entities , 1976, IFIP Working Conference on Modelling in Data Base Management Systems.

[59]  Carl Hewitt,et al.  Actor semantics of PLANNER-73 , 1975, POPL '75.

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

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

[62]  Larry R. Harris,et al.  Understanding natural language using a variable grammar , 1975 .

[63]  D. Bobrow,et al.  Representation and Understanding: Studies in Cognitive Science , 1975 .

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

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

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

[67]  Allen Newell,et al.  How can Merlin understand , 1973 .

[68]  Niklaus Wirth,et al.  Program development by stepwise refinement , 1971, CACM.

[69]  E. F. CODD,et al.  A relational model of data for large shared data banks , 1970, CACM.

[70]  C. Cordell Green,et al.  The Application of Theorem Proving to Question-Answering Systems , 1969, Outstanding Dissertations in the Computer Sciences.