Computermodelle des Problemlösens
Diese Seite gibt eine Sammlung von Links zum Thema:
[Fachzeitschriften]
[Fachgruppen]
[Quellen für Literatur und Software]
[Kognitive Modellierung im Deutschsprachigen Raum]
[Spezielle Software]
Dazu werden für die im Lehrbuch-Kapitel 5b dargestellten Probleme
Beispielmodellierungen angeboten.
Links zu Fachzeitschriften
Inhaltsverzeichnisse, Abstracts und zum Teil Beiträge online
Links zu Fachgruppen
Links zu Tagungen, Projekten, Personen
Links zu Literatur und Software
Kognitive Modellierung von
Problemlöseprozessen im Deutschsprachigen Raum
Spezielle Software
Die meisten Interpreter und Systeme sind Plattform
abhängig. Entsprechend werden hier nur die Links zu den entsprechenden
Quellen angegeben.
Die Beispiel-Modellierungen setzten grundlegende Kenntnisse in Lisp
bzw. Prolog voraus. Ohne Vorkenntnisse können die Programme immerhin
als Anschauungsbeispiele dienen, auf welche Art Probleme in diesen Sprachen
repräsentiert werden können!
Die PDDL-Modellierungen geben jeweils eine Repräsentation der
Operatoren sowie eines konkreten Problems mit Anfangszustand und Ziel. Sie
können als Eingabe für aktuelle KI-Planer verwendet werden. Die
meisten Systeme erwarten getrennte Dateien für die Domain (die
Operatoren) und das konkrete Problem.
Programme in Lisp können nach Starten eines Interpreters geladen
werden und danach kann eine Funktion des Programms gestartet werden.
Programme zum Problemlösen in Prolog bestehen aus
Regeln (Operatoren) und Fakten (Zustandsbeschreibungen). Der Prolog
Interpreter arbeitet standardmässig mit Tiefensuche: Es wird immer die
erste anwendbare Regel (von oben nach unten) ausgeführt.
- Affe-Banane Problem: [PDDL], [Prolog]
- Turm von Hanoi Problem: [PDDL], [Lisp], [ACT-R]
- Hobbits and Orcs (Missionare und Kannibalen) Problem: [Prolog]
Ein weiteres Überquerungs-Problem ist Das "Bauer, Fuchs, Gans und
Korn" Problem, bei dem darauf geachtet werden muss, dass der Fuchs nicht
allein mit der Gans und die Gans nicht allein mit dem Korn ist. Für
dieses Problem existiert ein gereimtes Modell.
- Achterpuzzle: Prolog
- Produktionssystem in Lisp
Zusammengestellt von Ute
Schmid (Januar 2001)