Skip to content
ml-recall

#open-world

2 questions from Knowledge Representation & Reasoning

Timed test

2 questions · 2 min · score and explanations at the end

Take a test
Q 1 / 2Score 0 / 0

Question 1: True or false

mediumAI-checkedKnowledge Representation & Reasoning

True or false: for any sentences PP and QQ, if P⊭QP \not\models Q (PP does not entail QQ), then P⊨¬QP \models \lnot Q.

Choose one option