Skip to content
ml-recall

#variable-binding

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: Single choice

hardAI-checkedKnowledge Representation & Reasoning

Rules:

P0: IF (?x is a noob) OR (?x is disenchanted)        THEN ?x visits The Oracle
P1: IF ?x visits The Oracle                          THEN ?x picks The One
P2: IF ?x is a noob AND ?x visits The Oracle         THEN The Oracle says ?x is not The One,
                                                          ?x is disenchanted
P4: IF ?x is disenchanted AND ?x loves ?y            THEN ?x proclaims love for ?y
P5: IF The Oracle says ?x is not The One
       AND ?y proclaims love for ?x
       AND ?y picks The One                          THEN ?x is The One

The assertions are now: Trinity is a noob; Trinity loves Neo; Neo is a noob. Forward chaining concludes "Neo is The One" but not "Trinity is The One". Which single extra assertion makes it conclude "Trinity is The One" as well?

Choose one option