Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Methoden der Künstlichen Intelligenz: Übersicht und Anwendungen in Expertensystemen

  • Conference paper
GI-12. Jahrestagung

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 57))

Zusammenfassung

Es wird eine einführende Übersicht über wichtige Methoden der Künstlichen Intelligenz gegeben. Die Übersicht beschränkt sich auf grundlegende Methoden, die in existierenden Expertensystemen realisiert,sind und erstreckt sich nichtauf spezielle Methoden aus Einzelbereichen wie Sprach- und Bildverarbeitung, oder Mechanisches Beweisen. Daraus ergibt sich als Schwerpunkt eine Darstellung der Methoden zur Wissensreprasentation, -manipulation und -akquisition.

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

Access this chapter

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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literaturverzeichnis

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  8. Bartels, U., W. Olthoff, P. Raulefs. APE: An expert ’ for automatic programming. Proc. 7thIJCAI-81(1981) 1037–1043.

    Google Scholar 

  9. Buchanan, B .G., T. M. Mitchell. Model-directed learning of production rules. In /PDIS/.

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Article  Google Scholar 

  19. Davis, R.The Dipmeter Advisor: Interpretation of geological signals. Proc. 7thIJCAI-81 (1981) 846–852.

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  22. Erman, L. D., V. Lesser. The application of artificial intelligence techniques to cooperative distributed processing. 6thIJCAI-/9 (1979) 537–540

    Google Scholar 

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

    Article  Google Scholar 

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

    Google Scholar 

  25. Forgy, D., J. McDermott. OPS: A domain-independent production ystem. Proc. 5thIJCAI-77(1977)933–939.

    Google Scholar 

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

    Article  Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  29. Gbrdon, M., R. Milner, C. Wadsworth. Edinburgh LCF. Springer LNCS: 78, 1979

    Google Scholar 

  30. Goldstein,I. P., R. B. Roberts. NUDGE, a knowledge-based scheduling program. Proc. 5thIJCAI-77 (1977) 257–263.

    Google Scholar 

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

    Google Scholar 

  32. Hayes-Roth, F., D. Mostow. An automatically compliable recognition network for structured patterns. Proc. 4thIJCAI-75 (1975) 356–362.

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  35. Loveland, D.W. Automated Theorem Proving. North-R)1 land, 1978.

    Google Scholar 

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

    Google Scholar 

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

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

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  42. Minsky, M. A framework for representing knowledge. In The Psychology of Computer Vision, P. H. Winston (Ed.), McChaw Hill, 1975

    Google Scholar 

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

    Google Scholar 

  44. Mitchell, T. M. Generalization as search. Artificial Intelligence: J8(1982)203–226.

    Google Scholar 

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

    MATH  Google Scholar 

  46. Newell, A., H. A. Simon Human Problem Solving. Prentice-fell, 1972.

    Google Scholar 

  47. Pattern-directed inference systems. Eds. D. Waterman, F. feyes-Roth. Academic Press, 1978.

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  51. Rulifson, J. F., J. A. Derksen, R. J. Waldinger. QA4: A procedural calculus for intuitive reasoning. SRI Al-Center Tech. Rept. 73 (1972).

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    MATH  Google Scholar 

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

    Google Scholar 

  56. Siekmann, J.Das Karlsruher Beweissystem. In GWAI-81 (1981).

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  60. van Emden, M.H. Programming with resolution logic. In MI8(1977)266–199.

    Google Scholar 

  61. vere, S.A. Inductive learning of structural productions. In /PDIS/.

    Google Scholar 

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

    Google Scholar 

  63. Wahlster, W. Naturlichsprachliche Argumentation in Dialog- systemen. Springer Informatik Fachberichte, Bd. 48. 1981.

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  67. Weiss, S., S. A. Kulikowski. EXPERT: A ’ for developing consultation models. 6thIJCAI-79(1979)942–947.

    Google Scholar 

  68. 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. Universität Kaiserslautern, Kaiserslautern, Postfach 3049, 6750, Germany

    Jürgen Nehmer

Rights and permissions

Reprints and permissions

Copyright information

© 1982 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Raulefs, P. (1982). Methoden der Künstlichen Intelligenz: Übersicht und Anwendungen in Expertensystemen. In: Nehmer, J. (eds) GI-12. Jahrestagung. Informatik-Fachberichte, vol 57. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68603-0_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-68603-0_12

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-11609-7

  • Online ISBN: 978-3-642-68603-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation