Blatt02 - userpages

Institut für Informatik
Ulrich Furbach
· www.uni-koblenz.de/~uli
Max Braun
· www.uni-koblenz.de/~maxbraun
Claudia Obermaier · www.uni-koblenz.de/~obermaie
SS ’07
Übung zur Vorlesung
Logik für Informatiker
Aufgabenblatt 2
Aufgabe 3
Wir betrachten die bekannten russischen Puppen Matroschka 1 . Es handelt sich dabei
um ineinander schachtelbare Holzpuppen, bei denen die kleineren Puppen immer in den
größeren enthalten sind. Hier ein schematisches Bild dieser Puppen 2 :
a.) Schreiben Sie ein zweistelliges Prologprädikat directlyIn, dass aussagt, welche Puppe direkt in welcher anderen Puppe enthalten ist. Z.B. soll die Anfrage directlyIn(katarina,X) die Antwort X = olga liefern.
b.) Schreiben Sie ein zweistelliges Prologprädikat in, dass aussagt, welche Puppe direkt oder indirekt in welcher anderen Puppe enthalten ist. Z.B. soll die Anfrage
in(katarina,X) nacheinander alle Puppen aufzählen, die in katarina enthalten
sind.
Aufgabe 4
Schreiben Sie ein zweistelliges Prologprädikat mitglied das bestimmt, ob ein Term in
einer Liste enthalten ist.
z.B. soll die Anfrage mitglied(1,[2,3,4]) die Antwort No und die Anfrage
mitglied(haus,[baum,auto,haus,tee]) die Antwort Yes liefern.
Hinweis: Verwenden Sie nicht das Prädikat member.
1
2
http://de.wikipedia.org/wiki/Matroschka
Aufgabe aus: http://www.coli.uni-saarland.de/˜kris/learn-prolog-now/
Aufgabe 5
Wir befinden uns wieder auf der Insel der Ritter und Schurken, auf der die Ritter grundsätzlich die Wahrheit sagen und die Schurken immer lügen. Beantworten Sie die folgenden
Fragen und geben Sie eine kurze Begründung für Ihre Antwort. 3
a.) Kann es auf dieser Insel einen Einwohner geben, der behaupten kann, ein Schurke
zu sein?
b.) Kann es einen Inselbewohner geben, der behaupten kann, er und sein Bruder seien
beide Schurken?
c.) Angenommen ein Einwohner A sagt über sich und seinen Bruder B: ’Mindestens
einer von uns ist ein Schurke.’ Zu welchem Typ gehört A, und zu welchem Typ
gehört B?
d.) Angenommen, A würde statt dessen sagen: ’Genau einer von uns ist Schurke.’ Welche
Schlüsse kann man über A ziehen, und welche Schlüsse kann man über B ziehen?
e.) Angenommen, A würde statt dessen sagen: ’Mein Bruder und ich gehören zum gleichen Typ; wir sind entweder beide Ritter oder beide Schurken.’ Was könnte man
dann über A und B schließen?
f.) Angenommen, A hätte statt dessen gesagt: ’Mein Bruder und ich gehören verschiedenen Typen an.’ Was kann man in dem Fall schließen?
Abgabe bis 30.04.07 (10 Uhr)
Schriftliche Lösungen können Sie jederzeit bis zum o.g. Datum
in der Vorlesung oder in B219 abgeben.
Claudia Obermaier : Zi. B219, Tel. 287-2773, [email protected]
Max Braun: [email protected]
3
Raymond Smullyan. Spottdrosseln und Metavögel. Wolfgang Krüger Verlag, 1986
2