Skip to main content

2017 | OriginalPaper | Buchkapitel

2. Repetitorium der Prädikatenlogik

verfasst von : Zbigniew A. Styczynski, Krzysztof Rudion, André Naumann

Erschienen in: Einführung in Expertensysteme

Verlag: Springer Berlin Heidelberg

Aktivieren Sie unsere intelligente Suche um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Zusammenfassung

Damit das menschliche Wissen in Expertensystemen implementiert werden kann, muss es weitgehend formal beschrieben werden. In Kap. 2 wird eine systematische Vorgehensweise vorgestellt, wie dieses Ziel erreicht werden kann. Nach der Einführung der logischen Begriffe wie Aussage oder Beweis werden die Rolle und die Funktionsweise der logischen Verknüpfungen zwischen Aussagen besprochen. Konjunktion, Disjunktion und andere Verknüpfungen werden mittels Wahrheitstafeln und Venn-Diagrammen definiert und erklärt und anhand von zahlreichen Beispielen verdeutlicht. Auch Beweismethoden der Prädikatformeln werden thematisiert und die Grundlagen für die Formelreduktion eingeführt. Mehrere Testaufgaben mit Lösungsansätzen erlauben es dem Leser, die erworbenen Grundkenntnisse selbstständig zu überprüfen. Dieses Kapitel versteht sich somit als ein Repetitorium, da davon ausgegangen wird, dass der Leser Grundkenntnisse im Rahmen einer anderen Vorlesung erworben hat. Ist das nicht der Fall, empfiehlt sich das Studium der Grundlagen auf Basis der im Literaturverzeichnis genannten Bücher zum Grundlagenstudium.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
gemeint ist: zweckmäßig.
 
2
Für weitere Erklärungen und Beispiele wird [3] empfohlen.
 
Literatur
[1]
Zurück zum Zitat Richter MM (1992) Prinzipien der künstlichen Intelligenz. Teubner, StuttgartCrossRef Richter MM (1992) Prinzipien der künstlichen Intelligenz. Teubner, StuttgartCrossRef
[2]
Zurück zum Zitat Roden G (2008) Auf der Fährte von C#. Kapitel 16: Operatoren. Springer, Heidelberg. ISBN 978-3-540-27888-7MATH Roden G (2008) Auf der Fährte von C#. Kapitel 16: Operatoren. Springer, Heidelberg. ISBN 978-3-540-27888-7MATH
[3]
Zurück zum Zitat Hartman D, Lehner K (1990) Technische Expertensysteme. Springer, Heidelberg. ISBN 3-540-52155-0CrossRef Hartman D, Lehner K (1990) Technische Expertensysteme. Springer, Heidelberg. ISBN 3-540-52155-0CrossRef
[4]
Zurück zum Zitat König J (1914) Neue Grundlagen der Logik, Arithmetik und Mengenlehre. Veit und Co. Verlag, LeipzigMATH König J (1914) Neue Grundlagen der Logik, Arithmetik und Mengenlehre. Veit und Co. Verlag, LeipzigMATH
[5]
Zurück zum Zitat Denis-Papin M, Faure R, Kaufmann A, Malpange Y (1974) Theorie und Praxis der Booleschen Algebra. Springer, Heidelberg. ISBN 978-3-528-08273-4CrossRef Denis-Papin M, Faure R, Kaufmann A, Malpange Y (1974) Theorie und Praxis der Booleschen Algebra. Springer, Heidelberg. ISBN 978-3-528-08273-4CrossRef
Metadaten
Titel
Repetitorium der Prädikatenlogik
verfasst von
Zbigniew A. Styczynski
Krzysztof Rudion
André Naumann
Copyright-Jahr
2017
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-662-53172-3_2