Advertisement
Published in:
2024 | OriginalPaper | Chapter
4. Schließen aus Wissen
Authors : Ulrich Furbach, 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.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by (Link opens in a new window)
Zusammenfassung
In diesem Kapitel werden verschiedene Methoden der formalen Repräsentation von Wissen erläutert. Dazu gehören Semantische Netze, Beschreibungslogiken, aber auch die Sprache der Logikprogrammierung. Logisches Schließen mittels Syllogismen wird als elementare Form des Schließens behandelt und es werden Beispiele von logikbasierten Beweissystemen angeführt. Nach einer kurzen Erläuterung von Schließen im Alltag wird auch menschliches Schließen am Beispiel der sogenannten Wason-Selection-Task behandelt. Es werden Beispiele von formalen Wissensquellen angeführt und Hinweise auf deren Verwendung im Unterricht gegeben.
