Zusammenfassung
In diesem Aufsatz wird die Facetten-Logik vorgestellt, eine nichtmonotone Logik zum prototypischen Schließen, die den Begriff des Typischen zu formalisieren versucht durch Unterscheidung von Prototyp- und anderen Prädikaten.
Der Aufsatz ist eine verkürzte Fassung eines Teils der Arbeit [Hertzberg 1986].
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
Literatur
Brewka, G./ Wittur, K.H. 1984: Nichtmonotone Logiken; Eine Untersuchung der Formalisierungen nichtmonotoner Schlußweisen und die Implementation eines nichtmonotonen reasoning-Systems. Institut für Informatik, Universität Bonn, Informatik-Bericht Nr. 40
Ebbinghaus, H.-D./ Flum, J./Thomas, W. 1978: Einführung in die Mathema tische Logik. Darmstadt ( Wiss. Buchgesellschaft )
Hertzberg, J. 1986: Planen und die Repräsentation der realen Welt. Dis-sertation, Institut für Informatik, Universität Bonn, Informatik-Bericht Nr. 50
McCarthy, J. 1984: Applications of circumscription to formalizing common sense knowledge. Proc. non-monotonic reasoning workshop, New Paltz, NY, 295–324
McDermott, D./ Doyle, J. 1980: Non-monotonic logic I. Art.Int., 13, 41–72
Reinfrank, M. 1985: An introduction to non-monotonic reasoning. Universität Kaiserslautern, Fachbereich Informatik, MEMO SEKI-85–02
Reiter, R. 1980: A logic for default reasoning. Art.Int., 13, 81–132
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hertzberg, J. (1986). Facetten-Logik: eine untypische Logik zum prototypischen Schließen. In: Rollinger, CR., Horn, W. (eds) GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung. Informatik-Fachberichte, vol 124. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-71385-9_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-71385-9_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16808-9
Online ISBN: 978-3-642-71385-9
eBook Packages: Springer Book Archive