Zusammenfassung
Während einerseits die zentrale Stellung des Gebietes ‘Repräsentation von Wissen’ für die ‘Künstliche Intelligenz’ innerhalb der KI allgemein anerkannt ist, und insofern die KI-Wissensehaftlergemeinschaft Einigkeit zeigt /1/, nehmen Diskussionen über Repräsentationsformalismen häufig den Status von “Glaubenskämpfen” ein; die bekanntesten dieser Kontroversen betreffen die Fragen:
-
prozedurale oder deklarative Repräsentationen? (winograd, 1975)
-
logische oder nicht-logische Repräsentationen? (Hayes, 1977) (Bibel, 1983).
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.
Similar content being viewed by others
Literatur
Barwise, Jon (1981): “Scenes and other situations”. Journal of Philosophy 78.
Barwise, J. / Cooper, E. (1981): “Generalized quantifiers and natural language”. Linguistics and Philosophy 4.
Barwise, J. / Perry, J. (1983): Situations and Attitudes. MIT-Press: Cambridge, Mass.
Belnap, N. (1973): “Restricted quantification and conditional assertion”, in: H. Leblanc (ed.): Truth, Syntax and Modality. North Holland: Amsterdam.
Belnap, I. (1976): “How a computer should think” in: G. Ryle (ed.): Contemporary Aspects of Philosophy. Oriel Press: Stocksfield.
Bibel, W. (1983): “Knowledge representation from a deductive point of view”. TU München, Bericht ATP-19-V-83.
Bobrow, D. (ed.) (1980): “Special Issue on Non-Monotonic Logic”. Artificial Intelligence 13.
Boolos, G. / Jeffrey, R. (1980, 2nd.ed.): Computability and Logic. Cambridge Univ. Press: Cambridge.
Chomsky, N. (1965): Aspects of the Theory of Syntax. MIT Press: Cambridge, Mass..
Church, A. (1936): “A note on the Intscheidungsproblem”. Journ. Symbolic Logic 1.
Doyle, J. (1979): “A truth maintenance system” Artificial Intelligence 12.
Enderton, H. (1977): “Elements of recursion theory”, in: J. Barwise (ed.): Handbook of Mathematical Logic. North-Holland: Amsterdam.
Frege, G. (1879): Begriffsschrift. Louis Nebert: Halle.
Glubrecht, M. / Oberschelp, A. / Todt, G. (1983): Klassenlogik. BI: Mannheim.
Habel, Ch. (1982): “Referential nets with attributes”. in: J. Horecky (ed.): Proceedings of the COLING82. North-Holland: Amsterdam.
Habel, Ch. (1983): “Inferences - the base of semantics?” in: R. Bäuerle / Ch. Schwarze / A. v. Stechow (eds.): Meaning, Use, and Interpretation of Language, de Gruyter: Berlin.
Habel, Ch. (ms): “Probleme mit UFOs und anderen seltsamen Objekten” Vortrag: Arbeitstagung Sprache & Logik, Kiel.
Hayes, P. (1977): “In defence of logic”. 5 IJCAI, Cambridge, Mass.
Hayes, P. (1980): “The logic of frames”, in D. Metzing (ed.): Frame Conceptions and Text Understanding, de Gruyter: Berlin
Hermes, H. (1971, 2nd. ed.): Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Springer: Berlin
Hilbert, D. / Ackermann, W. (1972): Grundzüge der theoretischen Logik. (6. Aufl.). Springer: Berlin.
Hilbert, D. / Bernays, P. (1968): Grundlagen der Mathematik I (2.Aufl.). Springer: Berlin.
Kaplan, D. (1966): “Rescher s plurality quantification” Journal of Symbolic Logic 31.
v. Kutschera, F. (1967): Elementare Logik. Springer Verlag: Wien.
Loveland, D. (1978): Automated Theorem Proving: A Logical Basis. North-Holland: Amsterdam.
McDermott, D. (1982): “Nonmonotonic logic II: nonmonotonic modal theories”. Journal of the ACM 29.
McDermott, D. / Doyle, J. (1980): “Non-Monotonic Logic I”. Artificial Intelligence 13.
Minsky, M. (1974): A Framework for Representing Knowledge. MIT: AI-Lab. Memo 306.
Moore, R. (1983): “Semantic considerations on nonmonotonic logic”. 8th IJCAI (Karslruhe), expanded version: S1I Techn. Note 284.
Newell, A. (1980): “Physical symbol systems”. Cognitive Science 4.
Eeiter, R. (1978): “On closed world data bases”, in: H. Gallaire / J. Minker (eds.): Logic an Data Bases. Plenum Press: New York.
Reiter, R. (1980): “A logic for default reasoning”. Artificial Intelligence 13.
Rescher, N. (1962): “Plurality quantification”. Journal of Symbolic Logic 27.
Rescher, N. (1968): Topics in philosophical logic. D.Reidel: Dordrecht.
Robinson, J.A. (1979): Logic: Form and Function. Edinburgh Univ. Press.
Rosenschein, S. (1983): “Natural-Language Processing: Crucible for Computational Theories of Cognition”. 8th IJCAI (Karlsruhe).
Winograd, T. (1975): “Frame representations and the declarative / procedural controversy”. in: D. Bobrow / A. Collins (eds.): Representation and Understanding. New York.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1983 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Habel, C. (1983). Logische Systeme und Repräsentationsprobleme. In: Neumann, B. (eds) GWAI-83. Informatik-Fachberichte, vol 76. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69391-5_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-69391-5_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12871-7
Online ISBN: 978-3-642-69391-5
eBook Packages: Springer Book Archive