Skip to main content
SpringerLink
Log in
Book cover

Künstliche Intelligenz pp 61–98Cite as

Expertensysteme

  • Conference paper

Part of the book series: Informatik-Fachberichte ((2252,volume 59))

Zusammenfassung

Übersicht. Als Technik der Wissensverarbeitung (engl. knowledge engineering) bezeichnet man ein anwendungsorientiertes Teilgebiet der Künstlichen Intelligenz, das charakterisiert ist durch

  • * den Bereich bearbeiteter Aufgaben, und

  • * die zugrunde liegenden Methoden.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   69.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literaturverzeichnis

  1. Aikins, J.S. Prototypes and production rules: A knowledge representation for computer consultations. Tech.Rept.No. STAN-CS-80-814(HPP-80-77), Stanford Univ. Computer Sci.Dept.

    Google Scholar 

  2. Brown, J.S. Burton, A.G. Bell. SOPHIE: A sophisticated instructional environment for teaching electronic trouble- shooting. Bolt, Beranek & Newman, Tech.Rep.No. 2790, 1974

    Google Scholar 

  3. Beierle, C. Synthesizing minimal programs from traces of observable bebavior. Proc. ECAI-82 (1982) 96–101.

    Google Scholar 

  4. Barr, A., E.A. Feigenbaum (Eds.). The Handbook of Artificial Intelligence. W. Kaufmann, Inc. 1980

    Google Scholar 

  5. Benda, W., G. Hornung, P. Raulefs, F. Vollmann. Der Meta-beweiser für die Zahlentheorie. Proc. GWAI-82 (1982)

    Google Scholar 

  6. Bibel, W. Automated Theorem Proving. Vieweg Verlag, 1982

    MATH  Google Scholar 

  7. Bierman, A.W. Approaches to automatic programming. In M.C. Yovits, D.Rubinoff (Eds.). Advances in Computers 1976. Academic Press.

    Google Scholar 

  8. Bobrow, D., P. Raphael. New programming languages for Artificial Intelligence research. ACM Comuting Surveys: 6(1974) 153–174

    Article  MATH  Google Scholar 

  9. Bartels, U., W. Olthoff, P. Raulefs. APE: An expert system for automatic programming. Proc. 7th IJCAI-81 (1981) 1037–1043.

    Google Scholar 

  10. Buchanan, B.B., T.M. Mitchell. Model-directed learning of production rules. In [PDIS].

    Google Scholar 

  11. Brachman, R.J. A structural paradigm for representing knowledge. Rept. No. 3605, Bolt, Beranek and Newman Inc., Cambridge, Mass., 1978

    Google Scholar 

  12. Buchanan, B.G., G. Sutherland, E.A. Feigenbaum. Heuristic DENDRAL: A program for generating explanatory hypotheses in organic chemistry. In MI4, 1969.

    Google Scholar 

  13. Buchanan, B.G., E.A. Feigenbaum DENDRAL and Meta-DENDRAL: Their applications dimension. AI. 11(1978) 5–24

    Google Scholar 

  14. Bobrow, D., T. Winograd. An overview of KRL. Cognitive Science: 1 (1977) 3–46

    Article  Google Scholar 

  15. Clocksin, W.F., C.S. Mellish. Programming in Prolog. Springer Verlag, 1981.

    MATH  Google Scholar 

  16. Davis, R., J. King. An overview of production systems. In MI8 (1977) 300–332.

    Google Scholar 

  17. Davis, J.M. POPLAR: A POP-2 PLANNER. Tech.Rept. MIP-R-89, School of AI, Univ. of Edinburgh, 1971.

    Google Scholar 

  18. Davis, R. Meta-level knowledge: overview and applications. In 5th IJCAI-77 (1977) 920–927.

    Google Scholar 

  19. Davis, R. Interactive transfer of expertise. Artificial Intelligence: 12 (1979) 120–157.

    Article  Google Scholar 

  20. Davis, R. at al. The Dipmeter Advisor: Interpretation of geological signals. Proc. 7th IJCAI-81 (1981) 846–852.

    Google Scholar 

  21. de Kleer, J. et al. Explicit control of reasoning. In AI.MIT (1979) vol.1 93–116.

    Google Scholar 

  22. de Mori, R. Recent advances in speech recognition. Proc. 4th Int. Joint Conf. on Pattern Recognition, Kyoto (1978) 106–124

    Google Scholar 

  23. Doyle, J. A glimpse at truth maintenance. In AI-MIT (1979) vol. 1 119–136.

    Google Scholar 

  24. Erman, L.D., V. Lesser. The application of artificial intelligence techniques to cooperative distributed processing. 6th IJCAI-79 (1979) 537–540.

    Google Scholar 

  25. Fikes, R.E., P.E. Hart, N.J. Nilsson. Learning and executing generalized robot plans. Artificial Intelligence: 3 (1972) 251–288.

    Article  Google Scholar 

  26. Findler, N.V. (Ed.) Associative Networks. Academic Press, 1971.

    Google Scholar 

  27. Forgy, D., J. McDermott. OPS: A domain-independent production system. Proc. 5th IJCAI-77 (1977) 933–939.

    Google Scholar 

  28. Fikes, R.E. N.J. Nilsson. STRIPS : A new approach to the application of theorem proving to problem solving. Artificial Intelligence: 3 (2971) 189–208.

    Google Scholar 

  29. Forgy, C.A. On the efficient implementation of production systems. Ph.D.-Thesis.Dept, of Computer Science, Carnegie-Mellon Univ., Feb. 1979.

    Google Scholar 

  30. Friedland, P.W. Knowledge-based experiment design in molecular genetics. Tech.Rept.No. STAN-CS-79-771 HPP-79-29), Stanford Univ. Computer Sci.Dept.

    Google Scholar 

  31. Gershman, A. Building a geological expert system for dipmeter interpretation. Proc. ECAI-82 (1982) 139–140.

    Google Scholar 

  32. Gordon, M., R. Milner, C. Wadsworth. Edinburgh LCF. Springer LNCES: 78 1979

    MATH  Google Scholar 

  33. Goldstein, I.P., R.B. Roberts. NUDGE, a knowledge-based scheduling program. Proc. 5th IJCAI-77 (1977) 157–263.

    Google Scholar 

  34. Hewitt, C. PLANNER: A language for... Tech.Rept. TR-258 M.I.T. AI-Lab., 1972.

    Google Scholar 

  35. Hayes-Roth, F., D. Mostow. An automatically compilable recognition network for structured patterns. Proc. 4th IJCAI-75 (1975) 356–362.

    Google Scholar 

  36. Hayes-Roth, F., D. Waterman, D. Lenat (Eds.). Building Expert Systems. McGraw Hill, 1982.

    Google Scholar 

  37. Klatt, D.H. Review of the ARPA Speech understanding project. J. Acoustical Soc. of America: 62 (1977) 1345–1366.

    Article  Google Scholar 

  38. Laubsch, J. ObjTalk. Tech.Rept.Inst.f.Informatik, Univ. Stuttgart (1978).

    Google Scholar 

  39. Loveland, D.W. Automated Theorem Proving. North-Holland, 1978.

    MATH  Google Scholar 

  40. Lowerre, B.T. The HARPY Speech Recognition Syste. Ph.D.-Thesis. Computer Science Dept., Carnegie-Mellon Univ., 1976.

    Google Scholar 

  41. Michalsky, R.S., R. Chilansky. Knowledge-acquisition ba encoding expert rules versus computer induction from examples. Int.J. for Man-Machine Studies (1979).

    Google Scholar 

  42. McDermott, J. R1: A rule-based configurer of computer systems. Tech.Rept. CMU-CS-80-119, Dept. of Computer Science, Carnegie-Mellon Univ., 1980

    Google Scholar 

  43. McCarthy, J., P.J. Hayes. Some philosphical problems from the standpoint of Artificial Intelligence. In MI4 (1969) 463–502.

    Google Scholar 

  44. Mendelssohn, E. Introduction to Logic, 1972.

    Google Scholar 

  45. McDermott, D.V., G.J. Sussmann The CONNIVER Reference Manual. MIT AI-Lab. Memo 259 (1972).

    Google Scholar 

  46. Minsky, M. A framwork for representing knowledge. In The Psychology of Computer Vision, P.H. Winston (Ed.), McGraw Hill, 1975.

    Google Scholar 

  47. Mitchell, T.M. Version spaces: An approach to concept learning.Tech.Rept. STAN-CS-78-711/HPP-79-2, Computer Science Dept, Stanfrod Univ., 1978.

    Google Scholar 

  48. Mitchell, T.M. Generalization as search. Artificial Intelligence 18 (1982) 203–226.

    Article  MathSciNet  Google Scholar 

  49. Niemann, H. The Erlangen system for recognition and understanding of continuous German speech. Proc.12.GI-Jahres-tagung. Springer-Informatik Fachberichte Bd. 57 (1982) 330–348.

    Google Scholar 

  50. Nilsson, N.J. Principles of Artificial Intelligence. Tioga Publ. Co., 1980.

    MATH  Google Scholar 

  51. Newell, A., H.A. Simon Human Problem Solving. Prentice-Hall, 1972.

    Google Scholar 

  52. Pattern-directed inference systems. Eds. D. Waterman, F. Hayes-Roth.Academic Press, 1978.

    MATH  Google Scholar 

  53. Pople, M.E., J.D. Myers, R.A. Miller. DIALOG: A model of diagnostic logic for internal medicine. Proc. 5th IJCAI (1977).

    Google Scholar 

  54. Polak, W. The Stanford Pascal Verifier. In GWAI-81 (1981).

    Google Scholar 

  55. Raulefs, P. Expert systems: State of the art and future trends. In GWAI-81 (1981) und MEMO-SEKI-BN-81-03.

    Google Scholar 

  56. Rulifson, J.F., J.A. Derksen, R.J. Waldinger, Q44: A procedural calculus for intuitive reasoning. SRI AI-Center Tech.Rept. 72 (1972).

    Google Scholar 

  57. Reboh, R. et al. QLISP: A Language for the interactive development of complex systems. SRI AI-Center Tech.Rept. 120 (1976).

    Google Scholar 

  58. Richter, M. M. Logikkalküle Teubner Verlag, 1978.

    MATH  Google Scholar 

  59. Schank, R.C., R.P. Abelson. Scripts, Plans, Goals and Understanding Erlbaum Assoc., 1977.

    MATH  Google Scholar 

  60. Shortliffe, E.H. Computer-Based Medical Consultations: MYCIN, American Elsevier, 1976.

    Google Scholar 

  61. Siekmann, J. et al. Das Karlsruher Beweissystem. In GWAI-81 (1981).

    Google Scholar 

  62. Smith, R.G. A framework for distributed problem solving. 6th IJCAI-79 (1979) 836–841 und Tech.Rept. STAN-CS.78-700 (1978), Computer Science Dept., Stanford Univ.

    Google Scholar 

  63. Stefik, M. Planning with constraints. Tech.Rept. STAN-CS-80-784. Computer Science Dept., Stanford Univ. (1980).

    Google Scholar 

  64. Stefik, M. The organization of expert systems. A tutorial. Artificial Intelligence: 18 (1982) 135–173

    Article  Google Scholar 

  65. van Emden, M.H. Programming with resolution logic. In MI 8 (1977) 266–299.

    Google Scholar 

  66. Vere, S.A. Inductive learning of structural productions. In PDIS.

    Google Scholar 

  67. van Melle, W. A domain-independent system that aids in constructing knowledge-based consultation programs. Tech. Rept. STAN-CS-80-820, Comupter Science Dept., Stanford Univ. (1979).

    Google Scholar 

  68. Wahlster, W. Natürlichsprachliche Argumentation in Dialogsystemen. Springer Informatik Fachberichte, Bd. 48. 1981.

    MATH  Google Scholar 

  69. Weyhrauch, R. Prolegomena to a theory of mechanized formal reasoning. Memo, Computer Science Dept., Stanford Univ., 1980.

    Google Scholar 

  70. Winston, P. H. Learning structural descriptions from examples. In The Psychology of Computer Vision, P. H. Winston (Ed.), McGraw Hill, 1975.

    Google Scholar 

  71. Wipke, W.T. Computer-assisted 3-dimensional synthetic analysis. In Computer-Representation and Manipulation of Chemical Information, Eds. Wipke, Heller, Feldman and Hyde. Wiley-Interscience, 1974.

    Google Scholar 

  72. Weiss, S., S.A. Kulikowski. EXPERT: A system for developing consultation models. 6th IJCAI-79 (1979) 942–947.

    Google Scholar 

  73. Zadeh, L. A theory of approximate reasoning. In MI9 (1979).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachbereich Informatik, Universität Kaiserslautern, Postfach 3049, 6750, Kaiserslautern, Germany

    Peter Raulefs

Authors
  1. Peter Raulefs
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik der Technischen Universität, Postfach 202420, 8000, München 2, Germany

    Wolfgang Bibel

  2. Universität Karlsruhe, Institut für Informatik 1, Postfach 6380, 7500, Karlsruhe 1, Germany

    Jörg H. Siekmann

Rights and permissions

Reprints and permissions

Copyright information

© 1982 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Raulefs, P. (1982). Expertensysteme. In: Bibel, W., Siekmann, J.H. (eds) Künstliche Intelligenz. Informatik-Fachberichte, vol 59. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68828-7_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-68828-7_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-11974-6

  • Online ISBN: 978-3-642-68828-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation