Klausellogik

Klausel- vs. Prädikatenlogik 1. Stufe

Frage:

Was ist der Unterschied und was die Gemeinsamkeit der Klausellogik zu der Prädikatenlogik 1. Stufe (PL1)?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Hierarchiestufen Klausellogik

Frage:

Wie bilden sich die Hierarchiestufen der Klausellogik angefangen bei der kleinsten Menge?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Literal

Frage:

 In welchen Teil der Regel befinden sich nur positive Literale und in welchen Teil nur negative Literale?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Aussagenverknüpfung positive Literale

Frage:

Durch welche Aussagenverknüpfung sind positive Literale logisch nur verknüpft?

Wie ist die Schreibweise in Prolog am Beispiel?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Aussagenverknüpfung negative Literale

Frage:

Durch welche Aussagenverknüpfung sind negative Literale logisch nur verknüpft?

Wie ist die Schreibweise in Prolog am Beispiel?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Alternative Formulierungen Literal

Frage:

Was sind alternative Formulierungen zu dieser Regel in Prolog?

?− married;bachelor :− man,adult.

 

In Form der Propositonalen Klausellogik (Aussagenverknüpfungen)?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Grundinstanz

Frage:

Was versteht man unter einer Grundinstanz?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Herbrand Basis

Frage:

Was versteht man unter der Herbrand Basis?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Herbrand Universum

Frage:

 Was versteht man unter dem Herbrand Universum?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Herbrand Interpretation

Frage:

 Was versteht man unter der Herbrand Interpretation?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

falsche Klausel

Frage:

Wann ist eine Klausel in einer Interpretation falsch?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Herbrand Modell

Frage:

Was versteht man unter einem Herbrand Modell?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Beispiel Herbrand Basis

Frage:

Gegeben sei die Herbrand Basis: $\{married, bachelor, man, adult\}$

Gebe mögliche Modelle dieser Herbrand Basis an.

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Beispiel Logische Konsequenz

Frage:

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.$

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Semantik

Frage:

 Was ist die Semantik eines Programmes P?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

intendierte Modell

Frage:

 Was versteht man unter dem intendierten Modell?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

minimale Modell

Frage:

 Was versteht man unter dem minimalen Modell?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Resolution Beispiel 1

Frage:

Gegeben sind die Klauseln:

 

$hasWife :- man, married.$

 

$married; bachelor :- man, adult.$

Bestimme das resolvierte Atom und erzeuge die Resolvente mit Hilfe der Resolutionsregel.

 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Resolution Beispiel 2

Frage:

Gegeben sind die Klauseln:

$square :- rectangle, equalSides.$

$rectangle :- parallelogram, rightAngles$

Bestimme das resolvierte Atom und erzeuge die Resolvente mit Hilfe der Resolutionsregel.

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Refutation

Frage:

 Was ist unter Refutation zu verstehen?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Direkter Beweis

Frage:

Direkter Beweis: Zeige das die Klausel

$friendly :- hasFriends$

logische Konsequenz des Programmes

$happy :- hasFriends.$
$friendly :- happy.$

ist!

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Refutationsbeweis 2

Frage:

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!

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

FAQNutzungs­bedingungenImpressumDatenschutz© 2015 - 2018 Philipp Schweers