Zusammenfassung
Es wird eine Methode zur Konsistenzüberprüfung einer Wissensbasis vorgestellt, die im Gegensatz zu neueren Methoden in wissensbasierten Al-Systemen zur inkrementellen Veränderung des deklarativen Wissens durch einen Systementwickler verwendet werden kann. Die Methode wird in einer Anwendung auf Wissensbasen des Systems HAM-ANS beschrieben, die als assoziative Netzwerke in FUZZY realisiert sind. Die Konsistenzregeln sind als voneinander unabhängige FUZZY-Prozeduren implementiert, die für jeden Typ von Aussagen, die in die Wissensbasen eingetragen werden können, die Semantik der darin vorkommenden Relationen spezifizieren. Eine zusätzliche Technik verhindert endlose Rekursion selbst dann, wenn das Netzwerk Zyklen enthält. Die vorgestellte Methode wird aufgrund von Erfahrungen bei ihrer Verwendung in HAM-ANS evaluiert und es werden mögliche Erweiterungen diskutiert.
Der vorliegende Aufsatz entstand im Rahmen des Projektes HAM-ANS, das mit Mitteln des BMFT gefördert wird.
This is a preview of subscription content, log in via an institution to check access.
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
Davis, R. (1980): Meta-Rules: Reasoning about control.In: Artificial Intelligence, Vol. 15, 1980, S. 179–222
Doyle, J. (1980): A model for deliberation, action, and introspection. Ph.D. Thesis, AI TR-58I, M.I.T. Artificial Intelligence LaD., Cambridge (MA), 1980
Le Faivre, R. (1974): FUZZY problem-solving. Ph.D. Thesis TR 37, University of Wisconsin, Madison, 1974
Le Faivre, R. (1978): FUZZY reference manual. Computer Science Dept., Rutgers Universi-ty, New Brunswick (NY), 1978
von Hahn, W.; Hoeppner, W.; Jameson, A.; Wahlster, W. (1980): The anatomy of the natu-ral language dialogue system HAM-RPM. In: L. Bolc (Hrsg.) Natural Language based computer systems. Hanser, München, 1980, S. 119–253
Hoeppner, W. (1980): Repräsentationsstrukturen und Inferenzen für zusammengesetzte Ob-jekte. In: C.-R. Rollinger, H.-J. Schneider (Hrsg.) Inferenzen in natürlich-sprachlichen Systemen der Künstlichen Intelligenz, Einhorn, Berlin, 1980, S. 151– 171
Jameson, A.; Hoeppner, W.; Wahlster, W. (1980): The natural language system HAM-RPM as a hotel manager: some representational prequisites. In: R. Wilhelm (Hrsg.) GI-10. Jahrestagung Saarbrücken, Berlin, 1080, S. 41 -72
McDermott, D.; Doyle, J. (1979): Non-monotonic logic I. In: Artificial Intelligence, Vol. 13, 1980, S. 41–72
Roberts, R.B.; Goldstein, I.P. (1977): The FRL manual. AI Memo 409, M.I.T. Artificial Intelligence Lab., Cambridge (MA), 1977
Waterman, D.A.; Hayes-Roth, F. (Hrsg.) (1978): Pattern-directed inference systems. Aca-demic Press, New York, 1978
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1982 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Christaller, T. (1982). Konsistenzüberprüfungen bei sich verändernden Wissensbasen. In: Wahlster, W. (eds) GWAI-82. Informatik-Fachberichte, vol 58. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68826-3_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-68826-3_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11960-9
Online ISBN: 978-3-642-68826-3
eBook Packages: Springer Book Archive