Ist „Partybesuch“ Art von Problemen auflösbar in Prolog? Beispielsweise: Klette Muldoon und Carlotta Pinkstone sagten beide, sie würden kommen, wenn Albus Dumbledore käme. Albus Dumbledore und Daisy Dodderidge sagten beide, sie würden kommen, wenn Carlotta Pinkstone käme. Albus Dumbledore, Burdock...
Wenn ich ein schweres Problem habe, besteht ein Standardansatz darin, es als SAT-Instanz auszudrücken und einen SAT-Solver darauf auszuführen. Ein weiterer Standardansatz besteht darin, es als Problem der Einschränkungszufriedenheit auszudrücken und einen CSP-Löser zu verwenden. Die beiden fühlen...
Stellen Sie sich ein CSP-Modell vor, bei dem das Ändern des Werts einer bestimmten Variablen teuer ist. Gibt es Arbeiten, bei denen die Zielfunktion auch die Anzahl der Änderungen des Werts der Variablen während des Suchvorgangs berücksichtigt? Ein Beispiel: Die Variable, deren Änderung teuer ist,...
Wir erhalten eine Menge von Früchten. Jede Frucht hat Preis und Vitamingehalt ; wir haben Frucht mit dem geordneten Paar assoziiert . Jetzt müssen wir diese Früchte so anordnen, dass die sortierte Liste die Preise in aufsteigender Reihenfolge und den Vitamingehalt in absteigender Reihenfolge...
Es wird nicht angenommen, dass die allgemeine Erfüllbarkeit (mit wenigen Ausnahmen wie Horn-Klauseln) eine algorithmische Lösung hat. Der folgende Algorithmus scheint jedoch eine Lösung für die allgemeine Erfüllbarkeit zu sein. Was genau ist der Fehler mit dem folgenden Algorithmus? Sei WWW eine...