Zusammenfassung
Wie im ersten Kapitel bereits erwähnt, werden die Begriffe Reasoning, Problemlösen und Inferenz oft zur Bezeichnung ähnlicher Aktivitäten benutzt. Was unter Inferenz im Detail verstanden wird, ist von der gewählten Form der Wissensrepräsentation abhängig. Oft kann aber eine solche Form sehr einfach in eine andere übergeführt werden, sodaß die Inferenzmethoden in ihren Grundzügen starke Ähnlichkeiten aufweisen. In diesem Kapitel werden wir uns besonders auf die grundlegenden Inferenzstrategien der häufig verwendeten regelorientierten Wissensrepräsentation konzentrieren und anhand dieser die grundlegenden Konzepte erklären.
“We consider the study of a knowledge representation system as a logic system to be of fundamental importance. In this way we isolate the basic deductive mechanisms from the intricacies of specific programming languages or implementations.”
— Giuseppe Attardi and Maria Simi
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
Bläsius, K. H., Bürckert, H.-J. (ed). (1987): Deduktionssysteme. R. Oldenbourg Verlag, München Wien.
Brownston, L., Farrell, R., Kant, E., Martin, N. (1985): Programming Expert Systems in OPS5. Addison-Wesley, Reading, MA.
Ceri, St., Gottlob, G., Tanca, L. (1990): Logic Programming and Databases. Surveys in Computer Science. Springer, Berlin Heidelberg New York.
Chang, C.-L., Lee, R. C.-T. (1973): Symbolic Logic and Mechanical Theorem Proving. Academic Press, London.
Forgy, C. L. (1982) Rete: A fast algorithm for the many pattern/many object pattern match problem. Artificial Intelligence 19: 17–37.
Gottlob, G., Leitsch, A. (1985): On the efficiency of subsumption algorithms. Journal of the ACM 32: 280–295.
Genesereth, M. R., Nilsson, N. J. (1987): Logical Foundations of Artificial Intelli gence. Morgan Kaufmann, Los Altos, CA.
Kaindl, H. (1989): Problemlösen durch heuristische Suche in der Artificial Intelli gence. Springer, Wien New York.
Lloyd, J. W. (1987): Foundations of Logic Programming. Springer, Berlin Heidel berg New York.
Manthey, R., Bry, F. (1988) Satchmo: A theorem prover implemented in Prolog. In: Proceedings of the International Conference on Automated Deduction, Argonne, Illinois, May 1987. Springer, Berlin Heidelberg New York.
Nilsson, N. J. (1980): Principles of Artificial Intelligence. Tioga Publishing Com pany, Palo Alto, CA.
Smith, D. E., Genesereth, M. R., Ginsberg, M. L. (1986): Controlling recursive inference. Artificial Intelligence 30: 343–389.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Springer-Verlag/Wien
About this chapter
Cite this chapter
Friedrich, G., Gottlob, G. (1990). Inferenzstrategien. In: Gottlob, G., Frühwirth, T., Horn, W. (eds) Expertensysteme. Springers Angewandte Informatik. Springer, Vienna. https://doi.org/10.1007/978-3-7091-9094-4_6
Download citation
DOI: https://doi.org/10.1007/978-3-7091-9094-4_6
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-82221-0
Online ISBN: 978-3-7091-9094-4
eBook Packages: Springer Book Archive