Skip to main content
SpringerLink
Log in

Künstliche Intelligenz und Logik

  • Conference paper
Wissensrepräsentation in Expertensystemen

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

Zusammenfassung

Ziel einer Wissensrepräsentation ist es letztlich, nicht nur Wissen einfach darzustellen, sondern Informationen weiterzugeben, auszutauschen und weiterzuverarbeiten. Die Kommunikation spielt sich grundsätzlich zwischen mindestens zwei Partnern ab, einem Sender und einem Empfänger. Diese beiden Partner könnten aber durchaus ein und dieselbe Person etwa zu verschiedenen Zeitpunkten sein. Grundlage der Möglichkeit der Kommunikation ist ein sprachlicher Rahmen, wo zunächst zugelassene sprachliche Konstrukte definiert sind und diesen eine Bedeutung zugeordnet ist. Dies kann sehr viele verschiedene Ausprägungen haben; wir werden einige von ihnen erörtern.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. Ackermann R.: Nondeductive Inference. London 1966

    Google Scholar 

  2. Ackermann, W.: Begründung einer strengen Implikation. J. of Symbolic Logic 21 (1956), S. 113–128

    Article  MATH  MathSciNet  Google Scholar 

  3. Aczel, P.: Non-Well-Founded Sets. Preprint, Stanford 1985

    Google Scholar 

  4. Allen, J. F.: Towards a General Theory of Action and Time. Artif. Intelligence 23 (1984), S. 123–154

    MATH  Google Scholar 

  5. Angluin, D.; Smith, C. H.: A Survey of Inductive Inference: Theory and Methods. Techn. Report 250 (1982), Dept. of Comp. Sc., Yale University

    Google Scholar 

  6. Anderson, A. R.; Belnap, N. D.: Entailment, Vol. 1. Princeton 1972

    Google Scholar 

  7. Aqvist, L.: Deontic Logic. In: F. Guenthner, D. Gabbay (Ed.): Handbook of Philosophical Logic Vol. II, Reidel-Verlag 1984, S. 605–714

    Chapter  Google Scholar 

  8. Barwise, J.; Perry, J.: Situations and Attitudes. MIT Press 1983

    Google Scholar 

  9. Belnap, N. D.; Stell, T. B.: The Logic of Questions and Answers. Yale University 1976

    Google Scholar 

  10. Blutner, R.: Eine Erlauterung zu Freges Begriff der “Erlauterung”: Defaults und ihre Logik. G. Wechsung (Ed.): Frege-Conference 1984, Akademie-Verlag Berlin 1984

    Google Scholar 

  11. Brachman, R.: On the Epistomological Status of Semantic Networks. In: N. V. Findler (Ed.): Associative Networks: Representation and Use of Knowledge by Computer. Academic Press 1979

    Google Scholar 

  12. Church, A.: A Note on the Entscheidungsproblem. J. Symbolic Logic 1 (1936), S. 40–41

    Article  Google Scholar 

  13. Correnz, W.; Ingenerf, J.; Richter, M. M.: Bemerkungen liber ML und seine polymorphe Typstruktur. Informationstechnik (it) 29 (1987), S.235–240.

    Google Scholar 

  14. Doyle, J.: Circumscription and Implicit Definability. J. of Automated Reasoning 1 (1985), S. 391–405

    Article  MATH  MathSciNet  Google Scholar 

  15. Ebbinghaus, H.-D.; Flum, J.; Thomas, W.: Einfiihrung in die mathematische Logik. Darmstadt 1978

    Google Scholar 

  16. Frege, G.: Begriffsschrift, eine dem Arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle 1879

    Google Scholar 

  17. Godel, K.: Die Vollstandigkeit der Axiome des logischen Funktionenkalkiils. Monatshefte flir Math. u. Physik 37 (1930), S. 349–360

    MathSciNet  Google Scholar 

  18. Godel, K.: Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme I. Monatshefte flir Math. u. Physik 38 (1931), S. 175–198

    Google Scholar 

  19. Heinen, P.; Reusch, H.; Richter, M. M.; Wetter, Th.: Formal Description of Objects, Processes, and Levels of Expert Reasoning. In: Proc. GWAI-85 (Ed. H. Stoyan ), Springer-Verlag 1985

    Google Scholar 

  20. Kamp, H.: A Theory of Truth and Semantic Representation. In: Groenendijk et al. (Eds): Formal Methods in the Study of Language. Mathematical Centre Tract, Amsterdam 1981

    Google Scholar 

  21. Lehmann, H.; Zoeppritz, M.: Formale Behandlung des Begriffes “Pflicht”. Preprint des WZH der IBM 1986

    Google Scholar 

  22. Lorenzen, P.: Logik und Argon. In: Atti Congr. Internat, di Filosofia Vol. 4 (1960), S. 187–194

    Google Scholar 

  23. Linsky, L.: Oblique Contexts. University of Chicago Press 1983

    Google Scholar 

  24. Martin-Löf, P.: Intuitionistic Type Theory. Notes by G. Sambin, Bibliopolis-Verlag 1984

    Google Scholar 

  25. McCarthy, J.: Epistemological Problems of Artificial Intelligence. Proc. Fifth International Joint Conference on Artificial Intelligence (1977), S. 1038–1044

    Google Scholar 

  26. McCarthy, J.; Hayes, P. J.: Some Philosophical Problems from the Standpoint of Artificial Intelligence. In: Meitzer, B. und Michie, D.: Machine Intelligence 4 (1969), Edinburgh University Press

    Google Scholar 

  27. Minsky, M.: A Framework for Representing Knowledge. In: P. Winston (Ed.): The Psychology of Computer Vision. McGraw Hill 1975

    Google Scholar 

  28. Montague, R.: Universal Grammar. In: R. Thomason (Ed.): Formal Philosophy: Selected Papers of Richard Montague. Yale University Press 1974, S. 222–246

    Google Scholar 

  29. Mylopoulos, J.; Levesque, H.: An Overview of Knowledge Representation. In: B. Neumann (Ed.): Proc. GWAI-83, Informatik-Fachberichte 76 (1983), S. 143–157

    Google Scholar 

  30. Reinfrank, M.: An Introduction to Non-Monotonic Reasoning. Interner Bericht, FB Informatik, Univ. Kaiserslautern 1985

    Google Scholar 

  31. Rescher, N.: Plurality Quantification. J. of Symbolic Logic 27 (1962)

    Google Scholar 

  32. Rescher, N.: Hypothetical Reasoning. Amsterdam 1964

    Google Scholar 

  33. Rescher, N.: The Logic of Commands. London 1966

    Google Scholar 

  34. Rescher, N.; Urquhart, A.: Temporal Logic. Springer-Verlag 1971

    Google Scholar 

  35. Richter, M. M.: Logikkalküle. Teubner-Verlag 1978

    Book  MATH  Google Scholar 

  36. Richter, M. M.: Expertensysteme und konventionelle Programme - Unterschiede und Kopplungsprobleme. In: Henn, R. (Ed.): Festband Technologie, Wachstum und Beschäftigung zum 50. Geburtstag von Lothar Späth, Springer-Verlag 1987

    Google Scholar 

  37. Routley, R.; Meyer, R. K.: The Semantics of Entailment 1. In: Truth, Syntax, Modality (Ed. H. Leblanc), Amsterdam 1973, S. 199–243

    Google Scholar 

  38. Tarski, A.: Der Wahrheitsbegriff in formalisierten Sprachen. Studia Philos. 1 (1936), S. 261–405

    Google Scholar 

  39. Tulipani, S.: An Algorithm to Determine, for any Prime p, a Polynomial-Sized Horn Sentence Which Expresses “The Cardinality is not p”. J. of Symbolic Logic 50 (1985), S. 1062–1064

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Universität Kaiserslautern, Germany

    Michael M. Richter

Authors
  1. Michael M. Richter
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

    Rights and permissions

    Reprints and permissions

    Copyright information

    © 1988 Springer-Verlag Berlin Heidelberg

    About this paper

    Cite this paper

    Richter, M.M. (1988). Künstliche Intelligenz und Logik. In: Rahmstorf, G. (eds) Wissensrepräsentation in Expertensystemen. Informatik-Fachberichte, vol 172. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-73641-4_2

    Download citation

    • DOI: https://doi.org/10.1007/978-3-642-73641-4_2

    • Publisher Name: Springer, Berlin, Heidelberg

    • Print ISBN: 978-3-540-19216-9

    • Online ISBN: 978-3-642-73641-4

    • eBook Packages: Springer Book Archive

    Publish with us

    Policies and ethics

    Search

    Navigation