ml-recall

#first-order-logic

12 questions from Knowledge Representation & Reasoning

Timed test

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

Take a test

Q 1 / 12Score 0 / 0

Shuffle questions

Question 1: Select all that apply

easyAI-checkedKnowledge Representation & Reasoning

An interpretation has the domain {Corwin, Benedict}. $A(x)$ is true of both of them, $B(x)$ of Benedict only, and $N(x)$ of no one. Which sentences are true in this interpretation? Select all that apply.

$\forall x\, A(x)$ 1
$\exists x\,(A(x) \to N(x))$ 2
$\exists x\,(A(x) \land B(x))$ 3
$\forall x\, \lnot B(x)$ 4
$\exists x\, B(x) \to \forall x\, A(x)$ 5

Keys: 1–9 select · Enter check / next