Tutorium 10

barracuda317
Endlosschleifenbastler
Endlosschleifenbastler
Beiträge: 187
Registriert: 12. Okt 2011 18:15

Tutorium 10

Beitrag von barracuda317 »

Hallo,

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

Vielen Dank.

ChristianWirth
BASIC-Programmierer
BASIC-Programmierer
Beiträge: 103
Registriert: 23. Okt 2012 11:12

Re: Tutorium 10

Beitrag von ChristianWirth »

Ist erledigt, entschuldigt die Verspätung.

barracuda317
Endlosschleifenbastler
Endlosschleifenbastler
Beiträge: 187
Registriert: 12. Okt 2011 18:15

Re: Tutorium 10

Beitrag von barracuda317 »

ChristianWirth hat geschrieben:Ist erledigt, entschuldigt die Verspätung.
Vielen Dank.

barracuda317
Endlosschleifenbastler
Endlosschleifenbastler
Beiträge: 187
Registriert: 12. Okt 2011 18:15

Re: Tutorium 10

Beitrag 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" ?

ChristianWirth
BASIC-Programmierer
BASIC-Programmierer
Beiträge: 103
Registriert: 23. Okt 2012 11:12

Re: Tutorium 10

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

ChristianWirth
BASIC-Programmierer
BASIC-Programmierer
Beiträge: 103
Registriert: 23. Okt 2012 11:12

Re: Tutorium 10

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

Anica
Neuling
Neuling
Beiträge: 3
Registriert: 16. Apr 2012 16:38

Re: Tutorium 10

Beitrag 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?

ChristianWirth
BASIC-Programmierer
BASIC-Programmierer
Beiträge: 103
Registriert: 23. Okt 2012 11:12

Re: Tutorium 10

Beitrag 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 )

Anica
Neuling
Neuling
Beiträge: 3
Registriert: 16. Apr 2012 16:38

Re: Tutorium 10

Beitrag von Anica »

Alles klar, dankeschön :)

Antworten

Zurück zu „Archiv“