Hi,
ich bin auf der Suche nach Problemen, deren Lösung(en) sich nur
schwer deklarativ (z.B. mit der Logik-Sprache Prolog) beschreiben
lassen.
Die Lösungen des klassischen n-Damen-Problems lassen sich z.B. sehr
einfach deklarativ beschreiben. Ich suche nun Probleme, wo das nicht
so einfach ist.
Danke
Ben
Evtl. Frame Problem
Hallo,
man kann an sich jedes prozedurale Programm in Prolog auch halbwegs akzeptabel darstellen. Wenn die Frage im weitergehenden Sinn auch umfaßt, welche Probleme sich nur schwer in klassischer Prädikatenlogik spezifizieren lassen, könnte das „Frame problem“/„Rahmenproblem“ von Interesse sein. Das addressiert den Punkt persistenter Zustandsgrößen, bei durch Zustandsänderungen beschriebenen Systemen und ist u.a. bei bestimmten Ansätzen des Planens präsent.
Gruss
Enno