Seite 1 von 1

Tutorium 10

Verfasst: 31. Aug 2013 10:29
von barracuda317
Hallo,

kann für das Tutorium 10 noch die Lösung hochgeladen werden?

Vielen Dank.

Re: Tutorium 10

Verfasst: 2. Sep 2013 16:57
von ChristianWirth
Ist erledigt, entschuldigt die Verspätung.

Re: Tutorium 10

Verfasst: 3. Sep 2013 09:58
von barracuda317
ChristianWirth hat geschrieben:Ist erledigt, entschuldigt die Verspätung.
Vielen Dank.

Re: Tutorium 10

Verfasst: 3. Sep 2013 11:33
von barracuda317
Kann es sein, dass in Aufgabe 2 b) noch ein kleiner Fehler ist?
zug(Zugnummer,Zugtyp)
haelt_in(Zugnummer, Ort, Bahnsteig, Ankunftszeit, Abfahrtszeit)
Herr Meier möchte abends nach 18:00 Uhr so schnell wie möglich raus aus Darmstadt. Schreiben Sie eine Relation fahrplan(Abfahrtszeit,Bahnsteig), die einen Fahrplan aller ICE- oder IC-Züge angibt, die nach 18:00 Uhr von
Darmstadt abfahren.
Lösung:

Die Lösung hat meiner Meinung nach Anfahrts und Abfahrtszeit vertauscht, es müsste heißen:

fahrplan(Abfahrtszeit, Bahnsteig) :- zug(Zn, 'ICE'), haelt_in(Zn, 'Darmstadt', B, _ , Abfahrtszeit), Abfahrtszeit > 1800.

und analog für 'IC'


2. Frage:

Hätte man hier auch eine Vergleichsoperation auf Uhrzeiten annehmen können, so dass "Abfahrtszeit > 18:00" ?

Re: Tutorium 10

Verfasst: 3. Sep 2013 19:06
von ChristianWirth
barracuda317 hat geschrieben: Lösung:

Die Lösung hat meiner Meinung nach Anfahrts und Abfahrtszeit vertauscht, es müsste heißen:

fahrplan(Abfahrtszeit, Bahnsteig) :- zug(Zn, 'ICE'), haelt_in(Zn, 'Darmstadt', B, _ , Abfahrtszeit), Abfahrtszeit > 1800.

und analog für 'IC'
Ja, das stimmt.
barracuda317 hat geschrieben: 2. Frage:

Hätte man hier auch eine Vergleichsoperation auf Uhrzeiten annehmen können, so dass "Abfahrtszeit > 18:00" ?
Rein formal wäre es falsch, aber in solch einem Trivial-Fall, würde es nicht zu Punktabzug führen. Im Zweifel einfach nen Satz dazu schreiben.

Re: Tutorium 10

Verfasst: 3. Sep 2013 19:09
von ChristianWirth
barracuda317 hat geschrieben: Die Lösung hat meiner Meinung nach Anfahrts und Abfahrtszeit vertauscht.
Ja, das stimmt. (Auch wenn in deiner Lösung natürlich das B Bahnsteig sein müsste)
barracuda317 hat geschrieben: 2. Frage:

Hätte man hier auch eine Vergleichsoperation auf Uhrzeiten annehmen können, so dass "Abfahrtszeit > 18:00" ?
Rein formal wäre es falsch, aber in solch einem Trivial-Fall, würde es nicht zu Punktabzug führen. Im Zweifel einfach nen Satz dazu schreiben.

Re: Tutorium 10

Verfasst: 4. Sep 2013 09:42
von Anica
Ich hätte da noch eine Frage zu Aufgabe 10.1 d):

Es wird gefragt, ob die Geralisierung des Beweises induktiv oder deduktiv erfolgt und in der Lösung wird dies mit "natürlich deduktiv, da wir von Fakten auf eine neue Regel schließen" beantwortet.

In den Folien steht allerdings, dass deduktives Schließen das Ableiten von neuen Fakten aus alten Fakten und allgemeingültigen Regeln ist und induktives Schließen das Ableiten von allgemeingültigen Regeln aus bekannten Fakten ist.
Müsste die Antwort dann nicht eigentlich induktiv lauten oder versteh ich da etwas falsch?

Re: Tutorium 10

Verfasst: 5. Sep 2013 15:12
von ChristianWirth
Die Formulierung ist etwas schlecht gewählt, aber die Antwort ist schon "deduktiv". Schau mal im ILP Script auf Seite 19, dann wird das eventuell ein bisschen klarer. Die neue Regel ist ja nur eine Generalisierung des Beweises, also ist diese Beweisbar.
Deswegen steht auch das "neue" in Anführungszeichen, da die Regel nicht wirklich neu ist, sondern aus den Fakten besteht. (Siehe Hinweis im Tutorium 10.1c )

Re: Tutorium 10

Verfasst: 6. Sep 2013 09:48
von Anica
Alles klar, dankeschön :)