Nicht angemeldet. · Kennwort vergessen · Registrieren

Seiepsilongroessernull
Mitglied seit 06/2018
8 Beiträge
Betreff: Resolution or Tableau Calculus
+1 lu60ruhy
I was wondering about Problem 4.3 of our Mock exam. The task is to prove an expression with Resolution Calculus, however in the solution of the mock exam from WS 17/18 (https://kwarc.info/teaching/AI/mockexam-WS2017-18-with-sol…)(its exactly the same problem) a tableaus calculus is used although the task was to use a Resolution Calculus.

So are we allowed to use a Tableaus Calculus instead of a Resolution Calculus and vice versa ?
tyr
KI 1 Tutor WS18/19
Avatar
Mitglied seit 10/2014
93 Beiträge
+1 Jazzpirate
Zitat von Seiepsilongroessernull:
So are we allowed to use a Tableaus Calculus instead of a Resolution Calculus and vice versa ?

NO!
This is just a (copy - paste) error in the solution!
"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