Artificial Intelligence: Knowledge Representation And Reasoning Week 3 Answer
Are you looking for AI Knowledge Representation And Reasoning Week 3 Answer . All weeks assignments available here.
Table of Contents

Nptel AI Knowledge Representation And Reasoning Week 3 Answer (Jan-Apr 2025)
Course link: Click here to view course on Nptel Website
Que. 1) Which of the following are well-formed formulas in propositional logic? Where P, Q, R are proposition symbols.
A) P
B) P ¬Q
C) ¬¬¬¬¬P⊃¬¬¬¬¬Q
D) (P ⊃ Q) ¬∧ R
E) (P ⊃ Q) ∧ ¬R
F) ¬(P ∧ Q) ≡ (¬P ∧ ¬Q)
Que. 2) Select the sentence(s) that express the transitivity property of the equivalence connective (≡), in propositional logic. Where P, Q, R are proposition symbols.
A) (P ≡ Q ≡ R) ⊃ (P ≡ R)
B) [(P ≡ Q) ∧ (Q ≡ R)] ⊃ (P ≡ R)
C) (P ≡ R) ⊃ [(P ≡ Q) ∧ (Q ≡ R)]
D) (P ≡ Q) ⊃ [(Q ≡ R) ⊃ (P ≡ R)]
Que. 3) Represent the formula (P ∧ (P ⊃ Q)) using NAND (↑) connective.
A) (P ↑ Q)
B) (P ↑ P) ↑ (Q ↑ Q)
C) (P ↑ Q) ↑ (P ↑ Q)
D) None of the above
Que. 4) KB entails Q (KB ⊨ Q) if and only if ____________.
A) Q is necessarily true when at least one sentence in the KB is true
B) Q is necessarily true when all the sentences in the KB are true
C) At least one model of the KB is necessarily a model of Q
D) Every model of the KB is necessarily a model of Q
Que. 5) Select the interpretations that are NOT models of the given KB.
KB: { (P ⊃ Q) ⊃ (Q ⊃ R) }
A) { P:T, Q:T, R:T }
B) { P:T, Q:T, R:F }
C) { P:T, Q:F, R:T }
D) { P:T, Q:F, R:F }
E) { P:F, Q:T, R:T }
F) { P:F, Q:T, R:F }
G) { P:F, Q:F, R:T }
H) { P:F, Q:F, R:F }
Que. 6) Select the correct entailments.
KB: { (P ⊃ Q) ⊃ (Q ⊃ R) }
A) KB ⊨ (P ⊃ R)
B) KB ⊨ (Q ⊃ R)
C) KB ⊨ ((P ∧ Q) ⊃ R)
D) KB ⊨ (Q ⊃ (P ∨ R))
These are AI Knowledge Representation And Reasoning Week 3 Answer
Que. 7) The fire chief said: “… Mel Gibson’s home was burnt down by a wildfire that was out of control …”
B: Mel Gibson’s home was burnt down.
W: There was a wildfire.
C: The wildfire was in control.
Express the fire chief’s statement in propositional logic. Which of the following representations (KBs) agree with the conclusion drawn by the fire chief?
A) KB2: { W, ¬C, B ⊃ (W ∧ ¬C) }
B) KB3: { W, ¬C, W ⊃ (¬C ⊃ B) }
C) KB4: { W, ¬C, (W ∧ ¬C) ⊃ B }
Que. 8) Select the sentences that can be derived from the given KB.
KB:
- If the voter turnout is high and proof of citizenship is required for voting, then Don will win the election.
- If the election is rigged, then Don will not win the election.
- If proof of citizenship is not required for voting or favorable ballots are deleted, then the election is rigged.
- Don won the election.
A) Favorable ballots were deleted.
B) Favorable ballots were not deleted.
C) Proof of citizenship was required for voting.
D) Proof of citizenship was not required for voting.
E) The voter turnout was high.
F) The voter turnout was not high.
Que. 9) Select the valid tableau expansion rules.
A) Rule 1
B) Rule 2
C) Rule 3
D) Rule 4
E) Rule 5
F) Rule 6
Que. 10) Which of these expansion trees show the correct application of tableau expansion rules?
A) Tree 1
B) Tree 2
C) Both trees
D) None of the above
Que. 11) Which of the expansion trees in the previous question show a proof of the statement ((P ⊃ Q) ⊃ (Q ⊃ R)) ⊃ (Q ⊃ (P ∨ R)) using Tableau Method?
A) Tree 1
B) Tree 2
C) Both trees
D) None of the above
Que. 12) After the Tableau Method halts, the expansion tree produced by the Tableau Method may contain _______________.
A) Fully expanded open branches
B) Fully expanded closed branches
C) Partially expanded open branches
D) Partially expanded closed branches
Nptel AI Knowledge Representation And Reasoning Week 3 Answer (Jan-Apr 2025)
For answers or latest updates join our telegram channel: Click here to join
These are AI Knowledge Representation And Reasoning Week 2 Answer
Nptel AI Knowledge Representation And Reasoning of All weeks: Click Here
More Nptel Courses: https://progiez.com/nptel-assignment-answers