Skip to main content

Facetten-Logik: eine untypische Logik zum prototypischen Schließen

  • Conference paper
  • 71 Accesses

Part of the book series: Informatik-Fachberichte ((2252,volume 124))

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.

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

    Google Scholar 

  • Ebbinghaus, H.-D./ Flum, J./Thomas, W. 1978: Einführung in die Mathema tische Logik. Darmstadt ( Wiss. Buchgesellschaft )

    Google Scholar 

  • Hertzberg, J. 1986: Planen und die Repräsentation der realen Welt. Dis-sertation, Institut für Informatik, Universität Bonn, Informatik-Bericht Nr. 50

    Google Scholar 

  • McCarthy, J. 1984: Applications of circumscription to formalizing common sense knowledge. Proc. non-monotonic reasoning workshop, New Paltz, NY, 295–324

    Google Scholar 

  • McDermott, D./ Doyle, J. 1980: Non-monotonic logic I. Art.Int., 13, 41–72

    Article  Google Scholar 

  • Reinfrank, M. 1985: An introduction to non-monotonic reasoning. Universität Kaiserslautern, Fachbereich Informatik, MEMO SEKI-85–02

    Google Scholar 

  • Reiter, R. 1980: A logic for default reasoning. Art.Int., 13, 81–132

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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

Publish with us

Policies and ethics