Wissensrepräsentation und logisches Schließen
"Fakten und Regeln als überprüfbare Aussagen modellieren."
Konzepte verständlich erklärt (für Einsteiger jeden Alters)
Lernziele
Fakten und Regeln als überprüfbare Aussagen modellieren. Nach dieser Lektion kannst du das Konzept erklären, ein kleines Beispiel umsetzen und typische Grenzen benennen.
Erklärung
Ein wissensbasiertes System speichert Fakten und Regeln und leitet daraus Konsequenzen ab. Aussagenlogik bildet Bedingungen mit AND, OR und NOT ab. Inferenz hängt von Repräsentation und Annahmen ab; widersprüchliche oder unvollständige Daten bleiben Herausforderungen.
Schrittweises Beispiel
Aus rain und rain -> wet_ground lässt sich wet_ground folgern. Regeln sollten eindeutig sein und Domänenannahmen sichtbar machen.
facts = {"bestellt", "bezahlt"}
ready = {"bestellt", "bezahlt"} <= facts
print(ready)
Zusammenfassung
Explizite Repräsentation macht Schlussfolgerungen nachvollziehbarer, aber nur innerhalb des Modells.
Lerncheck & Übung
Etwa 35 Minuten · intermediate
Das lernst du
- Erkläre die Kernidee von „Wissensrepräsentation und logisches Schließen“ in eigenen Worten.
- Wähle eine passende Technik für einen konkreten Anwendungsfall.
- Erkenne mindestens eine typische Fehlerquelle.
Voraussetzungen
- Keine Zugriffsvoraussetzungen. Vorwissen wird in der Erklärung eingeführt.
Häufige Fehler
- Korrelation ist keine logische Implikation. Eine Regelbasis kann Lücken enthalten; fehlender Fakt bedeutet nicht automatisch falsch.
Wissenscheck
Praktische Aufgabe
Stelle eine Regel für „bestellt“ plus „bezahlt“ ergibt „versandbereit“ dar.
Quellen und Einordnung
Prüfe meine Erklärung zu „Wissensrepräsentation und logisches Schließen“: Nenne eine fehlende Annahme und stelle mir eine Gegenfrage.
Interaktive Übung & lokaler Testlauf
Stelle eine Regel für „bestellt“ plus „bezahlt“ ergibt „versandbereit“ dar.
Hinweise auf Wunsch anzeigen
- Zerlege die Aufgabe in Eingabe, Verarbeitung und erwartete Ausgabe.
- Prüfe auch einen leeren oder ungültigen Fall.