Abstract
Ein in der Programmiersprache LISP eingebettetes konsistenzerhaltendes System wird beschrieben, das die Interpretation von symbolischen Ausdrücken leistet, mit denen nicht nur Wahrheitswerte, sondern beliebige Werte assoziiert warden können. Dabei wird zwischen atomaren und komplexen Ausdrücken unterschieden. Ein komplexer Ausdruck wird als Liste repräsentiert, deren erstes Element der Name einer benutzerdefinierten „konsistenzerhaltenden“ Prozedur (KEProzedur) ist, und deren übrige Elemente wieder Ausdrücke sind. Werte können sowohl atomaren als auch komplexen Ausdrücken zugewiesen werden. Die Zuweisung eines Wertes an einen Ausdruck bewirkt die Aktivierung der KE-Prozedur des Ausdrucks selbst, falls dieser ein komplexer Ausdruck ist, sowie der KEProzeduren aller komplexen Ausdrücke in denen der betreffende Ausdruck eingebettet ist.
Die Aktivierung einer KE-Prozedur kanns falls sie entsprechend definiert ist, folgendes bewirken:
-
Berechnung und Zuweisung von Werten an bestehende Ausdrücke
-
die Konstruktion neuer Ausdrücke
-
die Meldung einer Inkosistenz an das System, das den CMS-Prozessor benutzt.
Der CMS-Prozessor erklärt das Zustandekommen von Werten und unterstützt beim Auftreten von Inkonsistenzen das benutzende System durch dependency directed backtracking bei der Rücknahme von Zuweisungen.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
Bergmann, E./Noll, KL Mathematische Logik mit Informatik-Anwendungen Springer-Verlag 1977
Chapman, D. Dependency-Directed LISP MIT AI LAB, Paper submitted to the 1986 European Conference on Artificial Intellgence
Charniak, E./Riesbeck, C. K./McDermott, D. V. Artificial Intelligence Programming Lawrence Erlbaum Associates, Hillsdale 1980
de Kleer, J„ An Assumption-Based TMS Draft of April 22, 1985, Palo Alto, California
di Primio, F./Brewka, G. BABYLON: Kernel System of an Integrated Environment for Expert System Development and Operation in: Proc. of 5th International Workshop on Expert Systems and their Applications Avignon 1985, 573–583
Doyle, J. A Glimpse of Truth Maintenance MIT AI Lab Memo No. 461, Cambridge, February 1978
Genesereth, M. R./Ginsberg, M. L. Logig Programming in: Communications of the ACM 9(1985)933–941
Goldstein, I. P./Roberts, B. Using Frames in Scheduling in: Winston, H./Brown, R. H. (Eds.) Artificial Intelligence: An MIT Perspective The MIT Press, Cambridge 1980, 253–284
Hoare, C. A. R. An Axiomatic Basis for Computer Programming in: Communications of ACM 10(1969)576–583
Lindsay, P. H./Norman, D. A. Einführung in die Psychologie Springer-Verlag 1981
McAllester, D. A. An Outlook on Truth Maintenance MIT AI Lab Memo No. 551, Cambridge, August 1980
Stallman, R, M./Sussman, G. J. Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis in: Artificial Intelligence 9(1977)135–196
Steele, G. L. The Definition and Implementation of A Computer Programming Language Based on CONSTRAINTS AI-TR-595, Cambridge, August 1980
Steele, G. L. Common Lisp: The Language Digital Press 1984
Stoyan, H., Görz, G. LISP: Eine Einführung in die Programmierung Springer-Verlag 1984
Tarski, A. Einführung in die mathematische Logik Göttingen, Vandenhoeck & Ruprecht, 1977, 5. Auflage
Weinreb, D./Moon, D. Lisp Machine Manual MIT 1981
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
di Primio, F. (1988). CMS (Consistency Maintenance System): Ein Interpreter für konsistenzerhaltende Prozeduren. In: Stoyan, H. (eds) Begründungsverwaltung. Informatik-Fachberichte, vol 162. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-73385-7_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-73385-7_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18853-7
Online ISBN: 978-3-642-73385-7
eBook Packages: Springer Book Archive