Skip to main content
SpringerLink
Log in

Literaturverzeichnis

  • Chapter
Modulare Regelprogrammierung

Part of the book series: Artificial Intelligence / Künstliche Intelligenz ((KI))

  • 36 Accesses

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 44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 59.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. Allen E.M.: YAPS, Yet Another Production System; Maryland Artificial Intelligence Group, Univ. of Maryland, Dep. of Comp. Science, College Park, Report TR-1146, Dec. 1983

    Google Scholar 

  2. Allen E.M. et al.: FRANZ LISP ENVIRONMENT, (wie [Allen 83]), Report Th-1226, Dec. 1984

    Google Scholar 

  3. Andrews G.R., Schneider F.B.: Concepts and Notations for Concurrent Programming Computing Surveys, Vol. 15, No. 1, March 1983

    Google Scholar 

  4. Barachini F.: How Production Systems Can Survive in Real-time Process Control. Proc. of the 8th Int. Workshop on Expert Systems and their Applications, Avignon, May/June 1988

    Google Scholar 

  5. Barachini F., Theuretzbacher N.: PAMELA: An Expert System Technology for Real-time Control Applications. Proc. of the 8th ECAI, München, August 1988

    Google Scholar 

  6. Barachini F., Theuretzbacher N.: The Challenge of Real-time Process Control for Production Systems. Proc. of the 7th AAAI Nat. Conf. on Artificial Intelligence, Saint Paul (Minnesota ), Aug. 1988

    Google Scholar 

  7. Bauer F. L., Wössner H.: Algorithmische Sprache und Programmentwicklung. Springer 1981

    Google Scholar 

  8. Beetz M.: Specifying Meta-Level Architectures for Rule-Based Systems. In: Proc. of the 11th GWAI, Geseke, Sept./Okt. 1987

    Google Scholar 

  9. Bocionek S.: LISP-PROLOG-YAPS (eine vergleichende Untersuchung). TU München, Institut für Informatik, Report Nr. TUM I8618, Nov. 1986

    Google Scholar 

  10. Bocionek S.: Dynamic Flavors. TU München, Institut für Informatik, Report Nr. TUM 18708, Juni 1987

    Google Scholar 

  11. Bocionek S.: Ein regelbasiertes Expertensystem zur Konfigurierung von Ladeportalen. In: Beiträge zum Workshop Konfigurieren und Planen, Ed. M. Ochs und W. Weule, Karlsruhe, Dez. 1987

    Google Scholar 

  12. Bocionek S.: Modularization of Rule-based Programs. Proc. of the 8th Int. Workshop on Expert Systems and their Applications, Avignon, May/June 1988

    Google Scholar 

  13. Bocionek S.: Computer-Aided Configuration of Gantry Robots. Proc. of the 8th ECAI, München, Aug. 1988

    Google Scholar 

  14. Bocionek S., Meyfarth R.: Aktive Wissensbasen und Dämonenkonzepte. TU München, Institut für Informatik, Report Nr. TUM 18811, Sept. 1988

    Google Scholar 

  15. Bodinet P.: Entwurf Editors zur Erstellung von Regelprogrammen TU München, Institut für Informatik, Diplomarbeit, Nov. 1988

    Google Scholar 

  16. Brownston L. et al.: Programming Expert Systems in OPS5. Addison-Wesley 1985

    Google Scholar 

  17. Buchanan B.G., Shortliffe E.H.: Rule-Based Expert Systems: the MYCIN Experiments of the Stanford Heuristic Programming Project. Addison-Wesley, 1984

    Google Scholar 

  18. Buchka P.: Entwurf und Implementierung eines regelbasierten Expertensystems zur Konfigurierung von Ladeportalen. TU München, Institut für Informatik, Diplomarbeit, Nov. 1987

    Google Scholar 

  19. Clancey W.J.: The Advantages of Abstract Control Knowledge in Expert System Design. Proc. of 3rd AAAI Nat. Conf. on Artificial Intelligence, Washington (DC ), 1983

    Google Scholar 

  20. Clocksin W.F., Mellish C.S.: Programming in PROLOG. Springer 1981

    Google Scholar 

  21. Cunis R.: PLAKON, ein Ansatz zur domänen-unabhängigen Konstruktion. In: Beiträge zum Workshop Konfigurieren und Planen, Ed. M. Ochs und W. Weule, Karlsruhe, Dez. 1987

    Google Scholar 

  22. Davis R., Lenat D.: Knowledge Based Systems in Artificial Intelligence. McGraw-Hill 1982

    Google Scholar 

  23. Davis R., Buchanan B.: Production Rules as a Repräsentation for a Knowledge-Based Consultation Program. Art. Intelligence 8, 1977

    Google Scholar 

  24. Davis R., King J.: An Overview of Production Systems. In: Machine Intelligence 8, Eds. Elcock E.W. and Mitchie D., Ellis Horwood Ltd. 1977

    Google Scholar 

  25. VAX Language-Sensitive Editor, User’s Guide, Version V1. 1, DEC, Maynard (Mass), July 1985

    Google Scholar 

  26. DeRemer F., Kron H.: Programming-in-the-Large versus Programming-in-the-Small. In: Proc. of the Int. Conf. on Reliable Software, Los Angeles, April 1975

    Google Scholar 

  27. Eichholz S.: Parallel Programming with Modules. In: Software-Architektur und modulare Programmierung. Ed.: H.-W. Wippermann. German Chapter of the ACM, Berichte 26, Teubner 1986

    Google Scholar 

  28. Erbesdobler R. et al.: Entscheidungstabellentechnik: Grundlagen und Anwendung von Entscheidungstabellen. Springer 1976

    Google Scholar 

  29. Feigenbaum E.A. et al.: On Generality and Problem Solving: A Case Study Using the DENDRAL Program. In: Machine Intelligence, Vol. 6, Eds. B. Meltzer, D. Michie, Edinburgh University Press 1971

    Google Scholar 

  30. Feigenbaum E.A.: The Art of Artificial Intelligence: 1. Themes and Case Studies of Knowledge Engineering. Proc. of 5th UCAI, MIT, Cambridge (Mass ), Aug. 1977

    Google Scholar 

  31. Fickas S.: Design Issues in a Rule-Based System. ACM SIGPLAN, Vol. 20, 1985

    Google Scholar 

  32. Roboter. In: Autonome mobile Roboter, Beiträge zum 4. Fachgespräch. Ed. P. Levi und U. Rembold, Karlsruhe, Nov. 1988

    Google Scholar 

  33. Foderaro J.K. et al.: The FRANZ LISP MANUAL. Univ. of California, Berkeley, 1983

    Google Scholar 

  34. Forgy C.L, McDermott J.: OPS, a Domain-Independent Production System Language. Proc. of the 5th IJCAI, MIT, Cambridge (Mass ), 1977

    Google Scholar 

  35. Forgy C.L.: OPS 5 User’s Manual. Dep. of Computer Science, Carnegie Mellon University, July 1981

    Google Scholar 

  36. Forgy C.L: Rete: a fast algorithm for the many pattern / many object pattern match problem. Artificial Intelligence, Vol. 19, No. 1, 1982

    Google Scholar 

  37. Forgy C.L. et al.: Initial Assessments of Architectures for Production Systems. In: Proc. of 4th AAAI Nat. Conf. on Artificial Intelligence, Austin (Texas), 1984

    Google Scholar 

  38. Goldberg A., Robson D.: Smalltalk-80: the Language and its Implementation. Addison-Wesley 1983

    Google Scholar 

  39. Güntzer U. et al.: Entscheidungstabellen und Expertensysteme. In: Expertensysteme `87: Konzepte und Werkzeuge, Ed. Balzert H., Heyer G., Lutze R., Teubner 1987

    Google Scholar 

  40. Gupta A.: Implementing OPS5 Production Systems on DADO. MRE, Proc. of the Int. Conf. on Parallel Processing, Ohio State University, Columbus (Ohio ), 1984

    Google Scholar 

  41. Gupta A., Tambe M.: Suitability of Message Passing Computers for Implementing Production Systems. Proc. of the 7th AAAI Nat. Conf. on Artificial Intelligence, Saint Paul (Minnesota ), Aug. 1988

    Google Scholar 

  42. Hayes-Roth F.: Rule-Based Systems. CACM, Vol. 28, No. 9, 1985

    Google Scholar 

  43. Hertzberg J.: Über die Abhängigkeitsstruktur von Plänen. In: Beiträge zum Workshop Konfigurieren und Planen, Ed. M. Ochs und W. Weule, Karlsruhe, Dez. 1987

    Google Scholar 

  44. Hein M., Tank W.: Einordnung des Konfigurationsproblems in die Klasse der Planungsprobleme und konzeptioneller Entwurf für wissensbasierte Lösungen des Konfigurationsproblems. In: Beiträge zum Workshop Planen der GMD, Ed. Joachim Hertzberg, April 1987

    Google Scholar 

  45. Hoare C.A.R.: Communicating Sequential Processes. CACM, Vol. 21, No. 8, Aug. 1978

    Google Scholar 

  46. Ching-Chi Hsu et al.: A Distributed Approach for Inferring Production Systems. In: Proc. of the 10. IJCAI, Milano, Aug. 1987

    Google Scholar 

  47. Ishida/Stolfo 85] Ishida T., Stolfo S.: Towards the Parallel Execution of Rules in Production System Programs. In: Proc. of WEE Int. Conf. on Parallel Processing, Penn State University, University Park (Pennsylvania),1985

    Google Scholar 

  48. Ishikawa/Tokoro 86] Ishikawa Y., Tokoro M.: An Object-Oriented Concurrent Programming Language for Knowledge Representation. In: [Yonezawa/Tokoro 86]

    Google Scholar 

  49. Jensen K., Wirth N.: PASCAL - User Manual and Report. 2nd ed., Springer 1978

    Google Scholar 

  50. Jörg W.: Ein Grapheneditor zur Erstellung von Kontrollgraphen für Regelmoduln und zur Generierung ihrer Übergangsregeln. TU München, Institut für Informatik, Diplomarbeit, erscheint im Juni 1989

    Google Scholar 

  51. KEE Software Development System, User’s Manual, Version 2. 1, IntelliCorp, July 1985

    Google Scholar 

  52. Kernighan B.W., Ritchie D.M.: The C Programming Language. Prentice-Hall 1978

    Google Scholar 

  53. Kibler D.F.: Parallelism in AI Programs. Angeles 1985

    Google Scholar 

  54. Krickhahn R., Radig B.: Die OPS5. Verlag Vieweg und Söhne 1987

    Google Scholar 

  55. Laird J.E., Newell A., Rosenbloom P.S.: Soar: An Architecture for General Intelligence. Artificial Intelligence 33, Sept. 1987

    Google Scholar 

  56. Lewerentz C., Nagl M.: Inkrementelles Programmieren im Großen: syntax-gestützte Erstellung und Wartung von Systemspezifikationen. In: German Chapter of the ACM Berichte, Entwurf großer Software-Systeme, Eds. Morgenbrod/Remmele, Teubner 1984

    Google Scholar 

  57. Lewerentz C., Nagl M.: Incremental Programming in the Large: Syntax-aided Specification Editing, Integration and Maintenance. In: Proc. of the 18th Hawaii Int. Conf. on System Sciences, Hawaii 1985

    Google Scholar 

  58. Liskov B., Zilles S.: Programming with Abstract Data-Types. SIG-PLAN Notices 9, 1974

    Google Scholar 

  59. The LOOPS Manual (preliminary version), Bobrow D.G., Stefik M.,Xerox PARC, 1983

    Google Scholar 

  60. Mayr B.: Konsistenz-und Vollständigkeitsanalysen in OPS 5 Regelprogrammen TU München, Institut für Informatik, Diplomarbeit, erscheint im Mai 1990

    Google Scholar 

  61. McDermott J. et al.: The Efficiency of Certain Production System Implementations. In: Pattern Directed Inference Systems, Eds. Waterman/Hayes/Roth, Academic Press 1978

    Google Scholar 

  62. McDermott J.: R1, a Rule-Based Configurer of Computer Systems. Art. Intelligence 19, 1982

    Google Scholar 

  63. McDermott J., Forgy C.: Production System Conflict Resolution Strategies. In: Pattern Directed Inference Systems, Eds. Waterman/Hayes-Roth, Academic Press 1978

    Google Scholar 

  64. Miranker D.P.: TREAT: A Better Match Algorithm for AI Production Systems. Proc. of the 6th AAAI Nat. Conf. on Artificial Intelligence, Seattle (Wash ), July 1987

    Google Scholar 

  65. Moon D. et al.: Objects, Message Passing and Flavors. In: LISP Machine Manual, MIT, Cambridge (Mass), Jan. 1983

    Google Scholar 

  66. Nagl M.: An Incremental Programming Support Environment. Universität Osnabrück, Technischer Report OSM-I-11, 1983

    Google Scholar 

  67. Nayak P., Gupta A., Rosenbloom P.: Comparison of the Rete and Treat Matchers for Soar (A Summary). Proc. of the 7th AAAI Nat. Conf. on Artificial Intelligence, Saint Paul (Minnesota), Aug. 1988

    Google Scholar 

  68. Neches R. et al.: Enhanced Maintenance and Explanation of Expert Systems through Implicit Models of their Development. Proc. of the Workshop on Principles of Knowledge-Based Systems, Denver (Colorado ), 1984

    Google Scholar 

  69. Newell A., Simon H.A.: GPS, a Program that Simulates Human Thought. In CT, pp. 279–293, 1963

    Google Scholar 

  70. Newell A.: Knowledge Representation Aspects of Production Systems. Proc. of the 5th UCAI, MIT, Cambridge (Mass ), 1977

    Google Scholar 

  71. Nguyen T.A. et al.: Checking an Expert Systems Knowledge Base for Consistence and Completeness. Proc. of 9th IJCAI, Los Angeles, 1985

    Google Scholar 

  72. Ochs E., Weule H.: Beiträge zum Workshop ‘Planen and Konfigurieren’, Karlsruhe, Dez. 1987

    Google Scholar 

  73. Oflazer K.: Partitioning in Parallel Processing of Production Systems. WEE, Proc. of the Int. Conf. on Parallel Processing, Ohio State University, Columbus (Ohio ), 1984

    Google Scholar 

  74. VAX OPSS V2.1 DOC. User’s and Reference Manual, DEC 1985

    Google Scholar 

  75. Oshisanwo A.O., Dasiewicz P.P.: A Parallel Model and Architecture for Production Systems. Proc. of IEEE Int. Conf. on Parallel Processing, Penn State University, University Park (Pennsilvania), Aug. 1985

    Google Scholar 

  76. Pfahl P.: Ein Beispiel für regelbasierte Bauplangenerierung in zwei Dimensionen. TU München, Institut für Informatik, Diplomarbeit, Mai 1988

    Google Scholar 

  77. Rathke C.: ObjTalk - Repräsentation von Wissen in einer objektorientierten Sprache. Dissertation am Institut für Informatik der Universität Stuttgart 1986

    Google Scholar 

  78. Ramnarayan R. et al.: PESA-1: A Parallel Architecture for OPS5 Production Systems. In: Proc. of the 19th Hawaii Int. Conf. on System Sciences, Hawaii 1986

    Google Scholar 

  79. Robinson J.A.: A Machine-Oriented Logic Based on the Resolution Principle. Journal of the ACM, Vol. 12, No. 1, Jan. 1965

    Google Scholar 

  80. Rosenbloom P.S. et al.: R1-Soar: An Experiment in Knowledge-Intensive Programming in a Problem-Solving Architecture. Proc. of the Workshop on Principles of Knowledge-Based Systems, Denver (Colorado ), 1984

    Google Scholar 

  81. Rosenbloom P.S. et al.: Knowledge Level Learning in SOAR. Proc. of the 6th AAAI Nat. Conf. on Artificial Intelligence, Seattle (Wash ), July 1987

    Google Scholar 

  82. Schöll C.: Vergleich von Entscheidungstabellen mit regelbasierten Expertensystemen. TU München, Institut für Informatik, Diplomarbeit, Mai 1987

    Google Scholar 

  83. Schweiger H.: Implementierung eines Typenkonzepts für eine objektorientierte Wissensbasis-Shell. TU München, Institut für Informatik, Fortgeschrittenenpraktikum, Februar 1988

    Google Scholar 

  84. Antrag für SFB 331 “Informationsverarbeitung in autonomen mobilen Handhabungssystemen”, Januar 1986 - Dezember 1988.

    Google Scholar 

  85. Zwischenbericht für SFB 331 “Informationsverarbeitung in autonomen mobilen Handhabungssystemen”, Sommer 1988

    Google Scholar 

  86. Soloway E. et al.: Assessing the Maintainability of XCON-in-RIME: Coping with the Problems of a VERY large Rule-Base. Proc. of 6th AAAI Nat. Conf. on Artificial Intelligence, Seattle (Wash ), July 1987

    Google Scholar 

  87. Stolfo S.J., Miranker D.P.: DADO: A Parallel Processor for Expert Systems. IEEE, Proc. of the Int. Conf. on Parallel Processing, Ohio State University, Columbus (Ohio ), 1984

    Google Scholar 

  88. Strunz H.: Entscheidungstabellentechnik. Hanser 1977

    Google Scholar 

  89. Surko P.: Modularizing OPS5-Based Xpert-Systems under UNIX. In: Proc. of COMPSAC, Illinois, Oct. 1986

    Google Scholar 

  90. Teitelbaum T., Reps T.: The Cornell Program Synthesizer : A Syntax-Directed Programming Environment, CACM Vol. 24, No. 9, Sept. 1981

    Google Scholar 

  91. Tichy W.F.: What can Software Engineers Learn from Artificial Intelligence?, TREE Computer, Vol. 20, No. 11, Nov. 1977

    Google Scholar 

  92. Tokoro M., Ishikawa Y.: An Object-Oriented Approach to Knowledge-Systems. In: Proc. of the Int. Conf. on 5th Generation Computer Systems, ICOT 1984

    Google Scholar 

  93. van de Brug a. et al.: Doing Rl with Style. Proc. of the 2nd IEEE Int. Conf. on AI-Applications, Miami (Fl ), 1985

    Google Scholar 

  94. Van Melle W. et al.: The EMYCIN Manual. Stanford University, Report No. HPP-81–16, Stanford (Ca.), 1980

    Google Scholar 

  95. Van Melle W. et al.: EMYCIN, a Knowledge Engineer’s Tool for Constructing Rule-Based Expert Systems. In [Buchanan/Shortliffe 84]

    Google Scholar 

  96. Weikert P.: Parallelisierung von OPS 5 Programmen durch Nachrichtenübermittlung. TU München, Institut für Informatik, Diplomarbeit, erscheint im Februar 1989

    Google Scholar 

  97. Winston P.H.: Artificial Intelligence (2nd ed.). Addison-Wesley 1984

    Google Scholar 

  98. Winston P.H., Horn B.K.P.: LISP. Addison-Wesley 1981

    Google Scholar 

  99. Wirth N.: Program Development by Stepwise Refinement. CACM 14, No. 4, 1971

    Google Scholar 

  100. YAPS, Yet Another Production System. Vgl. [Allen 83]

    Google Scholar 

  101. Yokote Y., Tokoro M.: Concurrent Programming in Concurrent Smalltalk. In: Object-Oriented Concurrent Programming. MIT Press 1986

    Google Scholar 

  102. Yonezawa A., Tokoro M.: Object-Oriented Concurrent Programming. MIT Press 1986

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. München, Deutschland

    Siegfried Bocionek

Authors
  1. Siegfried Bocionek
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig

About this chapter

Cite this chapter

Bocionek, S. (1990). Literaturverzeichnis. In: Modulare Regelprogrammierung. Artificial Intelligence / Künstliche Intelligenz. Vieweg+Teubner Verlag. https://doi.org/10.1007/978-3-322-85972-3_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-322-85972-3_7

  • Publisher Name: Vieweg+Teubner Verlag

  • Print ISBN: 978-3-528-04770-2

  • Online ISBN: 978-3-322-85972-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation