Nicht angemeldet. · Kennwort vergessen · Registrieren

ym70amyb
Mitglied seit 10/2018
4 Beiträge
Betreff: Assignment 11
Hallo everyone,
In the Assignment 11 the functions I(=), I(P), I(<=), ... are not defined. Can we do the Assignment without it ?
Jazzpirate
Mitglied seit 10/2016
743 Beiträge
Yes, you can. "Prove" refers to what proof calculi do, i.e. show that they're valid, i.e. hold in *all* models - i.e. under all interpretation functions.
lu60ruhy
Mitglied seit 04/2018
15 Beiträge
Will there be a solution for the Assignment 11?

I'm asking for a friend ...
Jazzpirate
Mitglied seit 10/2016
743 Beiträge
Done :)
tyr
KI 1 Tutor WS18/19
Avatar
Mitglied seit 10/2014
93 Beiträge
Antwort auf Beitrag #3
As it was rather tedious to do that exercise 1 year ago, I somehow like to see my work being useful.
At https://gl.kwarc.info/teaching/AI/blob/master/Marius/uebun… you can see my own solution, which should be correct.
It has way more details then the official solution and also has way more justifications, so you might want to see it...

(all those hours learning how to use LaTeX Busproofs, lplfitch, etc ...   :huh: )
"Debugging is like doing surgery by randomly squeezing stuff in a patient's body and going like 'lmao tell me when this guy stops breathing'." -- Orteil, Creator of Cookie-Clicker
Schließen Kleiner – Größer + Auf diesen Beitrag antworten:
Prüfcode: VeriCode Gib bitte das Wort aus dem Bild ins folgende Textfeld ein. (Nur die Buchstaben eingeben, Kleinschreibung ist in Ordnung.)
Smileys: :-) ;-) :-D :-p :blush: :cool: :rolleyes: :huh: :-/ <_< :-( :'( :#: :scared: 8-( :nuts: :-O
Weitere Zeichen:
Gehe zu Forum
Datenschutz | Kontakt
Powered by the Unclassified NewsBoard software, 20150713-dev, © 2003-2011 by Yves Goergen