Was ist der Unterschied und was die Gemeinsamkeit der Klausellogik zu der Prädikatenlogik 1. Stufe (PL1)?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie bilden sich die Hierarchiestufen der Klausellogik angefangen bei der kleinsten Menge?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
In welchen Teil der Regel befinden sich nur positive Literale und in welchen Teil nur negative Literale?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Durch welche Aussagenverknüpfung sind positive Literale logisch nur verknüpft?
Wie ist die Schreibweise in Prolog am Beispiel?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Durch welche Aussagenverknüpfung sind negative Literale logisch nur verknüpft?
Wie ist die Schreibweise in Prolog am Beispiel?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was sind alternative Formulierungen zu dieser Regel in Prolog?
?− married;bachelor :− man,adult.
In Form der Propositonalen Klausellogik (Aussagenverknüpfungen)?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was versteht man unter einer Grundinstanz?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was versteht man unter der Herbrand Basis?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was versteht man unter dem Herbrand Universum?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was versteht man unter der Herbrand Interpretation?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wann ist eine Klausel in einer Interpretation falsch?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was versteht man unter einem Herbrand Modell?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Gegeben sei die Herbrand Basis: $\{married, bachelor, man, adult\}$
Gebe mögliche Modelle dieser Herbrand Basis an.
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Gegeben sei das Programm:
$married; bachelor :- man, adult.$
$man.$
$:- bachelor.$
Welche der folgenden Anfragen ist logische Konsequenz des Programms?
$married :- adult.$
$married :- bachelor.$
$bachelor :- man.$
$bachelor :- bachelor.$
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist die Semantik eines Programmes P?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was versteht man unter dem intendierten Modell?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was versteht man unter dem minimalen Modell?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Gegeben sind die Klauseln:
$hasWife :- man, married.$
$married; bachelor :- man, adult.$
Bestimme das resolvierte Atom und erzeuge die Resolvente mit Hilfe der Resolutionsregel.
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Gegeben sind die Klauseln:
$square :- rectangle, equalSides.$
$rectangle :- parallelogram, rightAngles$
Bestimme das resolvierte Atom und erzeuge die Resolvente mit Hilfe der Resolutionsregel.
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist unter Refutation zu verstehen?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Direkter Beweis: Zeige das die Klausel
$friendly :- hasFriends$
logische Konsequenz des Programmes
$happy :- hasFriends.$
$friendly :- happy.$
ist!
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Gegeben ist das Programm:
$schätzt(kurt,S) :- studentVon(S,kurt).$
$studentVon(S,T) :- hört(S,C), liest(T,C).$
$liest(kurt,logik). hört(karla,logik).$
Zeige das die Klausel $schätzt(kurt,N)$ logische Konsequenz des Programmes ist!
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.