Exam WS1920 Solution of 5.2 problem

Master / Vertiefung Künstliche Intelligenz
1

Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.

2

Exam WS1920 Solution of 5.2 problem
Hi all,

the solution to problem 5.2 confuses me.

To be more precise, seeing the way the parentheses are set, the second line should include the “=> exists X. P(X)” while the third line should only be “exists >. R(Y)” (^F). Is that not right?

Thank you