Guru
Date of registration: Dec 11th 2001
Location: Hämelerwald
Occupation: Wissenschaftlicher Mitarbeiter (Forschungszentrum L3S, TU Braunschweig)
Wir hatten da vor einiger Zeit mal einen Thread zu. Solltest Du mal nach suchen.Quoted
Original von Roger81
btw Alte Klausuren und Ähnliches könnte ich auch gebrauchen
Erfahrener Schreiberling
Date of registration: Feb 18th 2003
Location: Göttingen
Occupation: Linux Coder (ex Mathe SR Inf Student)
Quoted
Original von RedCapFabse
Ich denke mal, dass keine Hilfsmittel erlaubt sind. Oder waren bei früheren Klausuren welche erlaubt?
Erfahrener Schreiberling
Date of registration: Feb 18th 2003
Location: Göttingen
Occupation: Linux Coder (ex Mathe SR Inf Student)
Quoted
Original von postpilzkopf
was willste denn mit nem Taschenrechner in einer KI Klausur?
This post has been edited 3 times, last edit by "postpilzkopf" (Feb 12th 2006, 3:27pm)
Guru
Date of registration: Dec 11th 2001
Location: Hämelerwald
Occupation: Wissenschaftlicher Mitarbeiter (Forschungszentrum L3S, TU Braunschweig)
Gesucht sind alle Belegungen zu der obigen Variablenmenge, die alle obigen Formeln erfüllen.Quoted
Original von postpilzkopf
kann jemand sagen was die Antwort auf diese Frage ist und in welcher Form(tabelle?) es darzustellen ist?
Folgende Knowledge Base ist gegeben:
a <= b&c.
a <=e&f.
b <=d.
b <=f&h.
c <=e.
d <=h.
e.
f <=g.
g <=c.
a.) Geben Sie alle Modelle der Knowledge Base an.
This post has been edited 1 times, last edit by "Joachim" (Feb 12th 2006, 6:12pm)
Guru
Date of registration: Dec 11th 2001
Location: Hämelerwald
Occupation: Wissenschaftlicher Mitarbeiter (Forschungszentrum L3S, TU Braunschweig)
Ich vermute, Du hast noch nicht verstanden, um was es hier eigentlich geht. Ein Modell für eine Menge von Formeln erfüllt *jede* einzelne Formel. Die Belegung, die e den Wert 1 und allen anderen Variablen den Wert 0 zuordnet, erfüllt die Formel e -> c nicht. Die Variable c hat demnach in jedem Modell den Wert 1.Quoted
Original von postpilzkopf
also da es hier in diesem beispiel "linear" geht bekommt man 5 Modelle.?
1. e=1, rest=0
Such im Netz mal nach "Hornformel". Dort findest Du ganz sicher den zugehörigen Algorithmus. Vielleicht sind folgende Folien etwas für dich: http://www.fh-karlsruhe.de/servlet/PB/sh…ssagenlogik.pdfQuoted
der Erfüllbarkeitsalgorithmus steht leider nicht im Buch(in der vorlesung kam das natrülich auch nicht).
This post has been edited 1 times, last edit by "postpilzkopf" (Feb 12th 2006, 10:34pm)
Quoted
Original von postpilzkopf
ok. anfänglich hab ich es auch anders verstanden aber dachte eines besseren belehrt zu sein. also sind in allen modellen der KB e,c,e,f,g wahr.?
b,d,h sind sozusagen frei, man kann b = 1, d=h=0 in einem zweiten b=d=1, h=0 wegen b<-d. in einem dritten und alle = 1 in einem vierten modell haben.
This post has been edited 3 times, last edit by "EnteTaylor" (Feb 14th 2006, 3:18pm)
This post has been edited 4 times, last edit by "postpilzkopf" (Feb 14th 2006, 1:08pm)