An overview of Knowledge Representation

ABSTRACT

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].

REFERENCES

• 1: Barr, A. and Davidson, J., "Representation of Knowledge" in Handbook of Artificial Intelligence, Barr, A. and Feigenbaum, E. (eds.) Computer Science Dept. Report No. STAN-CS-80-793, Stanford University, 1980.
• 2: Bobrow, D., "Dimensions of Representation" in Bobrow and Collins 752.
• 3: Daniel G. Bobrow , Allan Collins, Representation and Understanding: Studies in Cognitive Science, Academic Press, Inc., Orlando, FL, 1975
• 4: Bobrow, D., "A Panel on Knowledge Representation", Proceedings IJCAI-77, Cambridge, Mass., August 1977.
• 5: Bobrow, D. and Winograd, T., "An Overview of KRL, A knowledge Representation Language", Cognitive Science, vol.1, no.1, January 1977.
• 6: Brachman, R., "On the Epistemological Status of Semantic Networks" in {Findler 79}.
• 7: Ronald J. Brachman , Brian C. Smith, Special issue on knowledge representation, ACM SIGART Bulletin [doi>10.1145/1056751.1056752]
• 8: Brown, J.S., "Steps Towards Automatic Theory Formation", Proceedings IJCAI-73, Palo Alto, CA, August 1973.
• 9: CODASYL DBTG Report, Conf. Data Sys. Languages, ACM, New York, 1971.
• 10: E. F. Codd, A relational model of data for large shared data banks, Communications of the ACM, v.13 n.6, p.377-387, June 1970 [doi>10.1145/362384.362685]
• 11: Philip Raymond Cohen, On knowing what to say: planning speech acts., 1978
• 12: Davis, R., "Interactive Transfer of Expertise: Acquisition of New Inference Rules", Proceedings IJCAI-77, Cambridge, Mass., August 1977.
• 13: Davis, R. and King, J., "An Overview of Production Systems", Memo AIM-271, Stanford Artificial Intelligence Laboratory, 1975.
• 14: Duda, R.O. and Hart, P.E., Pattern Classification and Scene Analysis, Wiley-Interscience, 1973.
• 15: Fahlman, S.E., NETL: A System for Representing and Using Real-World Knowledge, MIT Press, 1979.
• 16: Feigenbaum, E.A., "The Art of Artificial Intelligence: Themes and Case Studies of Knowledge Engineering", Proceedings IJCAI-77, Cambridge, Mass., August 1977.
• 17: Nicholas V. Findler, Associative Networks: The Representation and Use of Knowledge by Computers, Academic Press, Inc., Orlando, FL, 1979
• 18: Herve Gallaire , Jack Minker, Logic and Data Bases, Perseus Publishing, 1978
• 19: Goldstein, I. and Papert, S., "Artificial Intelligence, Language and the Study of Knowledge", Cognitive Science, vol.1, no.1, 1977.
• 20: Goldstein, I. and Roberts, R.B., "NUDGE: A Knowledge-Based Scheduling Program", Proceedings IJCAI-77, Cambridge, Mass., August 1977.
• 21: Claude Cordell Green, The application of theorem proving to question-answering systems, 1969
• 22: Hall, P., Owlett, J., Todd, S., "Relations and Entities" in Modelling in Database Management Systems, Nijssen, G. (ed.), North-Holland Pub. Co., 1976.
• 23: Hayes, P.J., "Some Problems and Non-Problems in Representation Theory", Proceedings AISB Summer Conference, Essex University, 1974.
• 24: Hayes, P.J., "In Defence of Logic", Proceedings IJCAI-5, Cambridge, Mass., 559-565, 1977.
• 25: Hendrix, G., "Expanding the Utility of Semantic Networks Through Partitioning", Proceedings IJAI-75, Tbilisi USSR, Sept. 1975.
• 26: Hewitt, C., "PLANNER: A Language for Proving Theorems in Robots", Proceedings IJCAI-71, London, England, August 1971.
• 27: Hewitt, C., Description and Theoretical Analysis (Using Schemata) of PLANNER: A Language for Proving Theorems and Manipulating Models in a Robot, Ph.D. thesis, Dept. of Mathematics, MIT, 1972.
• 28: Hewitt, C., Bishop, P., Steiger, R., "A Universal Modular Actor Formalism for Artificial Intelligence", Proceedings IJCAI-73, Palo Alto, CA, August 1973.
• 29: Hewitt, C., Greif, I., "Actor Semantics of PLANNER-73", Working Paper No.81, MIT AI Laboratory, 1974.
• 30: Kowalski, R., "Predicate Logic as a Programming Language", Proceedings IFIP Congress, 1974, 569-574.
• 31: Lenat, D.B., "The Ubiquity of Discovery", Proceedings IJCAI-77, Cambridge, Mass., August 1977.
• 32: Levesque, H., "The Representation of Incomplete Knowledge as Applied to a Logic of Sentences", AI Memo 79-1, Dept. of Computer Science, Univ. of Toronto, 1979.
• 33: Levesque, H. and Mylopoulos, J., "A Procedural Semantics for Semantic Networks" in {Findler 79}.
• 34: McCarthy, J., "Programs with Common Sense" in Semantic Information Processing, Minsky, M. (ed.), MIT Press, 1968.
• 35: McDermott, D., Doyle, J., "Non-monotonic Logic I", AI Memo 486, MIT AI Laboratory, 1978.
• 36: Elliott Mendelson, Introduction to mathematical logic (3rd ed.), Wadsworth Publ. Co., Belmont, CA, 1987
• 37: Minsky, M., "A Framework for Representing Knowledge", in P. Winston (ed.) The Psychology of Computer Vision, McGraw-Hill, 1975.
• 38: Moore, R., "Reasoning About Knowledge and Action", Proceedings IJCAI-77, Cambridge, Mass., August 1977.
• 39: Moore, J. and Newell, A., "How can MERLIN Understand?" in L. Gregg (ed.) Knowledge and Cognition, Lawrence Erlbaum Assoc., 1974.
• 40: Nicolas, J.M. and Yazdanian, K., "Integrity Checking in Deductive Databases", in {Gallaire and Minker 78}.
• 41: Nils J. Nilsson, Problem-Solving Methods in Artificial Intelligence, McGraw-Hill Pub. Co., 1971
• 42: Norman, D., Rumelhart, D., and the LNR Research Group Explorations in Cognition, Freeman, 1975.
• 43: Pople, H.E., "On the Mechanization of Abductive Logic", Proceedings IJCAI-73, Palo Alto, CA, August 1973.
• 44: Quillian, R., "Semantic Memory" in M. Minsky (ed.) Semantic Information Processing, MIT Press, 1968.
• 45: Raphael, B., "A Computer Program for Semantic Information Retrieval" in Semantic Information Processing, Minsky, M. (ed.), MIT Press, 1968.
• 46: Reiter, R., "Deductive Question-Answering on Relational Databases" in {Gallaire and Minker 78}.
• 48: Roger C. Schank, Conceptual Information Processing, Elsevier Science Inc., New York, NY, 1975
• 49: Schubert, L., "Extending the Expressive Power of Semantic Networks", Artificial Intelligence, vol.7, no.2, 1976.
• 50: Shapiro, S., "The SNePs Semantic Network Processing System", in {Findler 79}.
• 51: Gerald Jay Sussman, A Computer Model of Skill Acquisition, Elsevier Science Inc., New York, NY, 1975
• 52: Sussman, G.J. and McDermott, D., "Why Conniving is Better Than Planning", MIT AI Memo 255A, MIT AI Laboratory, 1972.
• 53: Szolovits, P., Hawkinson, L. and Martin W.A., "An Overview of OWL, A Language for Knowledge Representation", MIT/LCS/TM-86, MIT Laboratory for Computer Science, 1977.
• 54: Walker, D.E. (ed.) Speech Understanding Research, North Holland, 1976.
• 55: D. A. Waterman , Frederick Hayes-Roth, Pattern-Directed Inference Systems, Academic Press, Inc., Orlando, FL, 1978
• 56: Richard W. Weyhrauch, Prolegomena to a theory of formal reasoning, Stanford University, Stanford, CA, 1978
• 57: Terry Winograd, Understanding Natural Language, Academic Press, Inc., Orlando, FL, 1972
• 58: Winograd, T., "Frame Representation and the Declarative-Procedural Controversy", in {Bobrow and Collins 75}.
• 59: Niklaus Wirth, Program development by stepwise refinement, Communications of the ACM, v.14 n.4, p.221-227, April 1971 [doi>10.1145/362575.362577]
• 60: Wong, H.K.T. and Mylopoulos, J., "Two Views of Data Semantics: Data Models in Artificial Intelligence and Database Management", INFOR, vol.15, no.3, 1977.
• 61: Woods, W.A., "What's in a Link: Foundations for Semantic Networks", in {Bobrow and Collins 75}.

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.4 Knowledge Representation Formalisms and Methods

General Terms:
Theory