Volltext
Linear Resolution
✷ can be obtained from K in K by linear resolution iff
there are K1, . . . , Km with K1 = K, Km = ✷, and for all 2 ≤ i ≤ m:
Ki is resolvent of Ki−1 and a clause from {K1, . . . , Ki−1} ∪ K.
Input Resolution
✷ can be obtained from K in K by input resolution iff
there are K1, . . . , Km with K1 = K, Km = ✷, and for all 2 ≤ i ≤ m:
Ki is resolvent of Ki−1 and a clause from K.
{p,q} {¬p,q} {p,¬q} {¬p,¬q} {q}
{p}
{¬q}
✷
19
ÄHNLICHE DOKUMENTE
Ein Merkmal der KI-Methodologie ist, daß man Einsichten erlangen will durch das Bauen von Systemen, die etwas können: Synthese vor
Interne Repräsentationen müssen in mehrfacher Hinsicht eindeutig sein / eindeutig gemacht werden. Arten der
Schwere Frage: Wie sind Prädikate, Funktionen, Konstanten zu wählen, um solches angemessen zu beschreiben.. • als Werkzeug zur Gewinnung von Konsequenzen aus internen
% Definierende Eigenschaften heißen Rollen und müssen genau präzisieren, inwiefern ein Konzept spezieller als seine Vorgänger ist...
• KI ist rational in dem Sinne ist, dass sie die Umgebung wahrnimmt (beispielsweise durch Sensoren, die Daten sammeln) und die Informationen aus den so gewonnen Daten
Viele Ebenen (Bildschirme) werden auf eine abgebildet.... , Gesucht werden
– Ist mindestens ein gewürfelten Punkt schlecht, fällt die Hypothese komplett durch Man darf eine gute Hypothese verpassen, dafür spart man Zeit (die schlechten Hypothesen
Gesuch wird nach den kürzesten Pfaden von einem ausgewählten Knoten v 0 zu allen anderen..
