Question

2. Use Resolution Algorithm to solve the following problem: KB includes these rules: $B \land C \implies A$ B $D \land E \implies C$ $E \lor F$ $D \land \neg F$ The query is A. Can we infer this query from KB? 3. KB includes these rules: $P \implies Q$ $E \implies B$ $R \implies Q$ $M \land N \implies Q$ $A \land B \implies P$ $A \implies M$ $C \implies M$ $D \implies N$ D A Use both Forward Chaining and Backward Chaining to prove Q, respectively.

          2. Use Resolution Algorithm to solve the following problem: KB includes these rules:
$B \land C \implies A$
B
$D \land E \implies C$
$E \lor F$
$D \land \neg F$
The query is A. Can we infer this query from KB?
3. KB includes these rules:
$P \implies Q$
$E \implies B$
$R \implies Q$
$M \land N \implies Q$
$A \land B \implies P$
$A \implies M$
$C \implies M$
$D \implies N$
D
A
Use both Forward Chaining and Backward Chaining to prove Q, respectively.

2. Use Resolution Algorithm to solve the following problem: KB includes these rules:
B C A
B
D E C
E F
D F
The query is A. Can we infer this query from KB?
3. KB includes these rules:
P Q
E B
R Q
M N Q
A B P
A M
C M
D N
D
A
Use both Forward Chaining and Backward Chaining to prove Q, respectively.

Added by Bego-A H.

Computer Science and Information Technology

Trishna Knowledge Systems 2018 Edition

Instant Answer

Solved by Expert Amaad Martin

Step 1

Convert the rules and query into clauses: - Rule 1: BACADAE => C becomes ¬B ∨ ¬A ∨ ¬C ∨ ¬A ∨ ¬D ∨ ¬A ∨ ¬E ∨ C - Rule 2: EVF D^-F becomes ¬E ∨ ¬V ∨ ¬F ∨ D ∨ ¬F - Query: A becomes ¬A Show more…

Show all steps

Thanks for your feedback!

Use the Resolution Algorithm to solve the following problem: The knowledge base (KB) includes these rules: BACADAE => C, EVF D^-F. The query is A. Can we infer this query from the KB?