Skip to main content

Knowledge Representation Techniques in Artificial Intelligence: An Overview

  • Conference paper
Human-Computer Interaction
  • 282 Accesses

Abstract

The way in which humans use computers is rapidly moving towards the delegation of increasingly complex problem-solving tasks to computers. At the same time the interaction between a human and a computer is becoming increasingly refined so as to allow a richer exchange of information. Both trends require the computer to be able to use a large amount of knowledge. Researchers in the field of artificial intelligence (AI) have been investigating how knowledge can be expressed in a computer system. The term which is used nowadays for the development of knowledge-intensive computer systems is knowledge engineering.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  • Anderson J.R. (1983). Learning to program. In: Proceedings of the Eighth International Joint Conference on Artificial Intelligence. Karlsruhe, A. Bundy (Ed.), W. Kaufmann, Los Altos, pp. 57–62.

    Google Scholar 

  • Anderson J.R., Farrell R. & Sauers R. (1982). Learning to plan in LISP (interim report). Carnegie-Mellon University, Dept. of Psychology, Pittsburgh.

    Google Scholar 

  • Barr A. & Feigenbaum E.A. (Eds.) (1981). The handbook of artificial intelligence. (Vol. I). Heuristech Press, Stanford.

    MATH  Google Scholar 

  • Bobrow D.G. (Ed.) (1984). Special volume on qualitative reasoning about physical systems. Artificial Intelligence, 24. (1–3).

    Article  Google Scholar 

  • Bobrow D.G. & Winograd T. (1977). An overview of KRL, a knowledge representation language. Cognitive Science, 1, pp. 3–46.

    Article  Google Scholar 

  • Brachman R.J. (1978). A structural paradigm for representing knowledge. Report No. 3605, Bolt, Beranek and Newman Inc., Cambridge, MA.

    Google Scholar 

  • Clocksin W.F. & Mellish C.S. (1981). Programming in PROLOG. Springer, Berlin.

    MATH  Google Scholar 

  • Davis R. & King J. (1977). An overview of production systems. In: Machine Intelligence. E.W. Elcock & D. Michie (Eds.) Wiley, New York. Vol.8, pp. 300–332.

    Google Scholar 

  • De Smedt K. (1984). ORBIT: an object-oriented extension of LISP. (Internal Report 84-FU-13). Psychology Laboratory, University of Nijmegen.

    Google Scholar 

  • Fikes R. & Kehler T. (1985). The role of frame-based representation in reasoning. Communications of the ACM, 28 (9), pp. 904–920.

    Article  Google Scholar 

  • Frijda N.H. (1972). Simulation of Human Long-term Memory. Psychological Bulletin, 77 (1), pp. 1–31.

    Article  Google Scholar 

  • Gallaire H. (1986). Merging objects and logic programming: relational semantics. In: Proceedings of the 5th National Conference on AI. AAAI-86, Morgan Kauffmann, Los Altos, CA. pp. 754–758.

    Google Scholar 

  • Goldberg A. & Robson D. (1983). Smalltalk-80. Addison-Wesley, Reading, MA.

    MATH  Google Scholar 

  • Goldstein I.P. & Roberts R.B. (1977). Nudge, a knowledge-based scheduling program. In: Proceedings of the Fifth International Joint Conference on Artificial Intelligence, R. Reddy (Ed.), Carnegie-Mellon University, Pittsburgh. pp. 257–263.

    Google Scholar 

  • Hewitt C. (1972). Description and theoretical analysis (using schemata) of PLANNER, a language for proving theorems and manipulating models in a robot (Technical Report No. TR-258). AI Laboratory, Massachusetts Institute of Technology, Cambridge, MA.

    Google Scholar 

  • Kempen G. & Hoenkamp E. (1982). An incremental procedural grammar for sentence formulation (Internal Report No. 82-FU-14). Psychology Laboratory, University of Nijmegen.

    Google Scholar 

  • Kowalski R.A. (1979). Logic for problem solving. North-Holland, Amsterdam.

    MATH  Google Scholar 

  • Kuipers B. (1986). Qualitative simulation. Artificial Intelligence, 29, pp. 289–338.

    Article  MathSciNet  MATH  Google Scholar 

  • Lieberman H. (1981). A preview of Act-I (Memo AIM-625). AI Laboratory, Massachusetts Institute of Technology, Cambridge, MA.

    Google Scholar 

  • Lieberman H. (1986). Using Prototypical Objects to Represent Shared Behavior in Object-Oriented Systems. In: Proceedings of the first ACM Conference on Object Oriented Programming Systems, Languages, and Applications. Portland, Oregon. SigPlan Notices, 21 (11), pp. 214–223.

    Google Scholar 

  • McDermott J. (1981 summer). Rl: the formative years. AI Magazine, pp. 21–29.

    Google Scholar 

  • Minsky M. (1975). A framework for representing knowledge. In: The psychology of computer vision. P. Winston (Ed.), McGraw-Hill, New York. pp. 211–277.

    Google Scholar 

  • Moto-Oka T. (1982). Fifth generation computer systems. North-Holland, Amsterdam.

    MATH  Google Scholar 

  • Newell A. (1981 summer). The knowledge level. AI Magazine, pp. 1–20.

    Google Scholar 

  • Newell A. & Simon H.A. (1972). Human problem solving. Prentice-Hall, Englewood Cliffs.

    Google Scholar 

  • Nilsson N. (1981). Principles of artificial intelligence. Fioga, Palo Alto.

    Google Scholar 

  • Quillian M.R. (1968). Semantic memory. In: Semantic information processing. M. Minsky (Ed.), MIT Press, Cambridge, MA.

    Google Scholar 

  • Schank R.C. & Abelson R.P. (1977). Scripts, plans, goals, and understanding. L. Erlbaum, Hillsdale, N.J.

    MATH  Google Scholar 

  • Shapiro E. & Takeuchi A. (1983). Object oriented programming in concurrent prolog. Technical Report TR-004, Institute for New Generation Computer Technology, Tokyo.

    Google Scholar 

  • Sussman G., Winograd T. & Charniak E. (1970). MICRO-PLANNER reference manual (AI Memo 203). AI Laboratory, Massachussets Institute of Technology, Cambridge, MA.

    Google Scholar 

  • Theriault D. (1982). A primer for the ACT-1 language (Memo AIM-672). AI Laboratory, Massachussets Institute of Technology, Cambridge, MA.

    Google Scholar 

  • Van Releghem E. (1984). Separating control knowledge from domain knowledge. In: ECAI-84. Proceedings of the Sixth European Conference on Artificial Intelligence, T. O’Shea (Ed.), Elsevier, Amsterdam, p. 354.

    Google Scholar 

  • Weinreb D. & Moon D. (1980). Flavors: message passing in the Lisp Machine (Memo AIM-602). Massachusetts Institute of Technology, Cambridge, MA.

    Google Scholar 

  • Winston P.H. (1984). Artificial intelligence (2nd ed). Addison-Wesley, Reading, MA.

    MATH  Google Scholar 

Download references

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

De Smedt, K. (1988). Knowledge Representation Techniques in Artificial Intelligence: An Overview. In: van der Veer, G.C., Mulder, G. (eds) Human-Computer Interaction. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-73402-1_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-73402-1_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-73404-5

  • Online ISBN: 978-3-642-73402-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics