Top

Published in:

2024 | OriginalPaper | Chapter

11. Logikbasierte Wissensverarbeitung

Author : Christoph Benzmüller

Published in: Künstliche Intelligenz für Lehrkräfte

Publisher: Springer Fachmedien Wiesbaden

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Zusammenfassung

KI ist weit mehr als Lernen aus Daten. Kap. 11 bietet deshalb einen Überblick über logikbasierte Wissensverarbeitung und logisches Schließen, mit Schwerpunkt auf klassischer Logik. Es verweist auf umfangreiche Literatur in diesem Bereich und betont die Vielfalt an Logikformalismen, die sich in wichtigen Eigenschaften unterscheiden. Dabei wird hervorgehoben, dass Wissen in symbolischen Formelsprachen repräsentiert und durch symbolische Regeln in neues Wissen transformiert wird. Es werden grundlegende Konzepte der Logik und des logischen Schließens anhand der Aussagenlogik und der Logik erster Stufe erklärt, die als Basis für komplexere Logiksprachen in späteren Abschnitten dienen.

Dont have a licence yet? Then find out more about our products and how to get one now:

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!

inform now

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!

inform now

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!

inform now

previous chapter Generative KI

next chapter Schließen im Alltag und unter Unsicherheit

Peter Andrews. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Bd. 27. Applied Logic Series. Kluwer Academic Publishers, 2002.CrossRef

Christoph Benzmüller. “Symbolic AI and Gödel's Ontological Argument”. In: Zygon: Journal of Religion and Science 57 (4 2022), S. 953–962. https://doi.org/10.1111/zygo.12830.

Christoph Benzmüller. “Universal (Meta-)Logical Reasoning: Recent Successes”. In: Science of Computer Programming 172 (2019), S. 48–62. https://doi.org/10.1016/j.scico.2018.10.008.

Christoph Benzmüller und Peter Andrews. “Church's Type Theory”. In: The Stanford Encyclopedia of Philosophy. Hrsg. von Edward N. Zalta und Uri Nodelman. Winter 2022. Metaphysics Research Lab, Stanford University, 2022. https://plato.stanford.edu/archives/win2022/entries/type-theory-church.

Christoph Benzmüller, Xavier Parent und Leendert van der Torre. “Designing Normative Theories for Ethical and Legal Reasoning: LogiKEy Framework, Methodology, and Tool Support”. In: Artificial Intelligence 287 (2020), S. 103348. issn: 0004-3702. https://doi.org/10.1016/j.artint.2020.103348.MathSciNet

Christoph Benzmüller u. a. “Who Finds the Short Proof?” In: Logic Journal of the IGPL (2023). https://doi.org/10.1093/jigpal/jzac082.

Wolfgang Bibel. “Komputer kreiert Wissenschaft”. In: Informatik Spektrum (2022). https://doi.org/10.1007/s00287-022-01456-1.

Patrick Blackburn, Johan Bos und Kristina Striegnitz. Learn Prolog Now! Bd. 7. Texts in Computing. College Publications, 2006. Freie Online Version verfügbar unter http://www.let.rug.nl/bos/lpn.

George Boolos. “A curious inference”. In: J. Philos. Log. 16.1 (1987), S. 1–12. https://doi.org/10.1007/BF00250612.MathSciNet

10.

Walter Dean. “Computational Complexity Theory”. In: The Stanford Encyclopedia of Philosophy. Hrsg. von Edward N. Zalta. Fall 2021. Metaphysics Research Lab, Stanford University, 2021.

11.

Heinz-Dieter Ebbinghaus, Jörg Flum undWolfgang Thomas. Einführung in die mathematische Logik. Springer Spektrum Berlin, Heidelberg, 2018. https://doi.org/10.1007/978-3-662-58029-5.

12.

Melvin Fitting. First-Order Logic and Automated Theorem Proving. Texts in Computer Science. Springer New York, NY, 1996. https://doi.org/10.1007/978-1-4612-2360-3.

13.

Dov M. Gabbay, Francis Pelletier und John Woods, Hrsg. Logic: A History of its Central Concepts. Handbook of the History of Logic. Elsevier, 2012.

14.

Marijn J. H. Heule und Oliver Kullmann. “The science of brute force”. In: Commun. ACM 60.8 (2017), S. 70–79. https://doi.org/10.1145/3107239.

15.

Neil Immerman. “Computability and Complexity”. In: The Stanford Encyclopedia of Philosophy. Hrsg. von Edward N. Zalta. Winter 2021. Metaphysics Research Lab, Stanford University, 2021.

16.

Daniel Kirchner, Christoph Benzmüller und Edward N. Zalta. “Computer Science and Metaphysics: A Cross-Fertilization”. In: Open Philosophy 2.1 (2019). Hrsg. von Patrick Grim, S. 230–251. https://doi.org/10.1515/opphil-2019-0015. url: https://arxiv.org/abs/1905.00787.

17.

Graham Priest.AnIntroduction toNon-Classical Logic: FromIf to Is. 2.Aufl. Cambridge Introductions to Philosophy. Cambridge University Press, 2008. https://doi.org/10.1017/CBO9780511801174.

18.

John Alan Robinson und Andrei Voronkov, Hrsg. Handbook of Automated Reasoning (in 2 volumes). Elsevier und MIT Press, 2001. url: https://www.sciencedirect.com/book/9780444508133/handbook-of-automated-reasoning.

19.

Stewart Shapiro und Teresa Kouri Kissel. “Classical Logic”. In: The Stanford Encyclopedia of Philosophy. Hrsg. von Edward N. Zalta und Uri Nodelman.Winter 2022. Metaphysics Research Lab, Stanford University, 2022. url: https://plato.stanford.edu/archives/win2022/entries/logic-classical.

20.

G. Sutcliffe. “The Logic Languages of the TPTP World”. In: Logic Journal of the IGPL (2022). https://doi.org/10.1093/jigpal/jzac068.

21.

Geoff Sutcliffe. “The 10th IJCAR automated theorem proving system competition – CASC-J10”. In: AI Commun. 34.2 (2021), S. 163–177. https://doi.org/10.3233/AIC-201566.MathSciNet

22.

Richmond Thomason. “Logic and Artificial Intelligence”. In: The Stanford Encyclopedia of Philosophy. Hrsg. von Edward N. Zalta. Summer 2020. Metaphysics Research Lab, Stanford University, 2020. url: https://plato.stanford.edu/archives/sum2020/entries/logic-ai.

23.

Jouko Väänänen. “Second-order and Higher-order Logic”. In: The Stanford Encyclopedia of Philosophy. Hrsg. von Edward N. Zalta. Fall 2021. Metaphysics Research Lab, Stanford University, 2021. url: https://plato.stanford.edu/archives/fall2021/entries/logic-higher-order.

Title: Logikbasierte Wissensverarbeitung
Author: Christoph Benzmüller
Publisher: Springer Fachmedien Wiesbaden
Book: Künstliche Intelligenz für Lehrkräfte
Print ISBN: 978-3-658-44247-7

Electronic ISBN: 978-3-658-44248-4

Copyright Year: 2024
DOI: https://doi.org/10.1007/978-3-658-44248-4_11

Springer Professional

Zusammenfassung

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"