# NPTEL Artificial Intelligence: Knowledge Representation And Reasoning Week 3 Assignment Answers 2024

## NPTEL Artificial Intelligence: Knowledge Representation And Reasoning Assignment Answers 2024

1. In propositional logic, NAND stands for NOT AND, and NOR stands for NOT OR. Which of the following are propositional logic sentences that are composed from the atomic sentences A,B,C,D?

• (A ¬(B ⊃ C))
• A ¬∧ B
• A ¬∨ C
• B ¬⊃ C
• ¬(A ∧ B)
• ¬(A ∨ C)
• ¬¬D
`Answer :- For Answer Click Here `

2. Let the propositional variables A, B, and C denote three distinct statements that are equivalent to each other, then we can use the propositional formula (A ≡ B ≡ C) to express the equivalence between A, B, and C.

• True
• False
`Answer :- For Answer Click Here `

3. Represent the formula ¬[(A ⊃ B) ⊃ (P ⊃ Q)] using only the connectives {¬,∧}.

• A ∧ ¬B ∧ ¬(P ∧ ¬Q)
• ¬A ∧ B ∧ P ∧ ¬Q
• ¬(A ∧ ¬B) ∧ P ∧ ¬Q
• ¬(A ∧ ¬B) ∧ ¬P ∧ ¬Q
`Answer :- For Answer Click Here `

4. A model for a KB in propositional logic is a list of ______________ .

• truth values assigned to all sentences in the KB
• truth values assigned to all atomic propositions such that all sentences in the KB evaluate to true
• all atomic propositions in the KB
• all atomic propositions in the KB and their negations
`Answer :- `

5. Select the correct option.

KB: { (A ∨ B) ⊃ (A ∧ B) }

• KB ⊨ (A ⊃ B)
• KB ⊨ (B ⊃ A)
• KB ⊨ (A ≡ B)
• All of the above
`Answer :- `

6. Select the sentences that can be derived from the given KB?

KB: { If there is no balance or the battery is dead then Kailash cannot make a call. If the battery is not charged then the battery is dead. Kailash made a call. Therefore, the battery was charged. }

• Kailash did not make a call.
• The battery is not dead.
• The battery is charged.
• The battery is not charged.
• The phone has balance.
• The phone has no balance.
`Answer :- For Answer Click Here `

7. Let α, β, γ, and δ be formulas over the set of propositions {P, Q, R}. Given the conjunction (α ∧ β ∧ γ ∧ ¬δ) as input, the Tableau Method may be used to show that ____________.

• the conjunction is satisfiable
• the conjunction is unsatisfiable
• (α ∧ β ∧ γ) ⊃ δ is a tautology
• δ can be derived from the formulas α, β, γ
`Answer :- `

8. Select the valid tableau expansion rules.

• Rule 1
• Rule 2
• Rule 3
• Rule 4
• Rule 5
• Rule 6
`Answer :- `

9. Which of these expansion trees show the correct application of tableau expansion rules?

• Tree 1
• Tree 2
• Both 1 and 2
• None of the above
`Answer :- `

10. Which of the tableau expansion trees in the previous question show a proof, by Tableau Method, of the statement (P ⊃ (Q ⊃ R)) ⊃ ((P ⊃ Q) ⊃ (P ⊃ R))?

• Tree 1
• Tree 2
• Both 1 and 2
• None of the above
`Answer :- `

11. In an expansion tree produced by the Tableau Method __ .

• a closed branch produces a model for the formula at the root of the tree
• a closed branch produces a model for the NEGATION of the formula at the root of the tree
• a fully expanded open branch produces a model for the formula at the root of the tree
• a fully expanded open branch produces a model for the NEGATION of the formula at the root of the tree
`Answer :- For Answer Click Here `