The Last Survey of Representation of Knowledge

This is a survey of recent progress in "representation of knowledge." First the field is defined. Then progress in general techniques is surveyed. Then a catalogue of results in particular domains is given. Finally, a few recommend ations are listed.

[1]  Gordon S. Novak.  Representations of Knowledge in a Program for Solving Physics Problems , 1977, IJCAI.

[2]  Jon Doyle,et al.  Truth Maintenance Systems for Problem Solving , 1977, IJCAI.

[3]  David Robbins Barstow,et al.  Automatic construction of algorithms and data structures using a knowledge base of programming rules , 1977 .

[4]  John Seely Brown,et al.  SYSTEMATIC UNDERSTANDING: Synthesis, Analysis, and Contingent Knowledge in Specialized Understanding Systems , 1975 .

[5]  Tom M. Mitchell,et al.  Version Spaces: A Candidate Elimination Approach to Rule Learning , 1977, IJCAI.

[6]  Drew McDermott,et al.  Flexibility and Efficiency in a Computer Program for Designing Circuits , 1976 .

[7]  Johan de Kleer.  Multiple Representations of Knowledge in a Mechanics Problem-Solver , 1977, IJCAI.

[8]  Carl Hewitt,et al.  How To Use What You Know , 1975, IJCAI.

[9]  R. O. Duda,et al.  PROSPECTOR—A computer-based consultation system for mineral exploration , 1978 .

[10]  Daniel G. Bobrow,et al.  New Programming Languages for Artificial Intelligence Research , 1974, CSUR.

[11]  Stephen M. Kosslyn,et al.  A Simulation of Visual Imagery , 1977, Cogn. Sci..

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

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

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

[15]  John McCarthy,et al.  Epistemological Problems of Artificial Intelligence , 1987, IJCAI.

[16]  Chuck Rieger.  Spontaneous computation in cognitive models , 1977 .

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

[18]  Benjamin Kuipers,et al.  Representing Knowledge of Large-scale Space , 1977 .

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

[20]  Gerald J. Sussman,et al.  Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis , 1976, Artif. Intell..

[21]  L. Hawkinson.  The Representation of Concepts in OWL , 1975, IJCAI.

[22]  Ivan Kramosil,et al.  A Note on Deduction Rules with Negative Premises , 1975, IJCAI.

[23]  Ronald J. Brachman,et al.  What's in a Concept: Structural Foundations for Semantic Networks , 1977, Int. J. Man Mach. Stud..

[24]  David H. D. Warren,et al.  Prolog - the language and its implementation compared with Lisp , 1977, Artificial Intelligence and Programming Languages.

[25]  Douglas B. Lenat,et al.  AM, an artificial intelligence approach to discovery in mathematics as heuristic search , 1976 .

[26]  Tom M. Mitchell,et al.  MODEL-DIRECTED LEARNING OF PRODUCTION RULES1 , 1978 .

[27]  B. Kuipers.  Modelling spatial knowledge , 1977, IJCAI 1977.

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

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

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

[31]  Richard Fikes,et al.  A Network-Based Knowledge Representation and Its Natural Deduction System , 1977, IJCAI.

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

[33]  Philip J. Hayes.  On Semantic Nets, Frames and Associations , 1977, IJCAI.

[34]  Eugene Charniak.  Framed PAINTING: The Representation of a Common Sense Knowledge Fragment , 1977 .

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

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

[37]  Drew McDermott,et al.  Planning and Acting , 1978, Cogn. Sci..

[38]  David R. Barstow.  A Knowledge-Based System for Automatic Program Construction , 1977, IJCAI.

[39]  Robert C. Moore.  Reasoning from Incomplete Knowledge in a Procedural Deduction System , 1980, Outstanding Dissertations in the Computer Sciences.

[40]  J. Hintikka.  Semantics for Propositional Attitudes , 1969 .

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

[42]  Drew V. McDermott,et al.  Very Large Planner-Type Data Bases , 1975 .

[43]  Brian V. Funt,et al.  WHISPER: A Problem-Solving System Utilizing Diagrams and a Parallel Processing Retina , 1977, IJCAI.

[44]  George W. Ernst,et al.  GPS : a case study in generality and problem solving , 1971 .

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

[46]  Harry E. Pople,et al.  Session 6 Theorem Proving and Logic: I I ON THE MECHANIZATION OF ABDUCTIVE LOGIC , 2006 .

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

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

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