2/7/25, 11:03 PM Artificial Intelligence: Knowledge Representation And Reasoning - - Unit 6 - Week 3
Assessment submitted.
(https://swayam.gov.in) (https://swayam.gov.in/nc_details/NPTEL)
X
[email protected]
NPTEL (https://swayam.gov.in/explorer?ncCode=NPTEL) » Artificial Intelligence: Knowledge Representation
And Reasoning (course)
Click to register
for Certification
exam
Thank you for taking the Week 3 :
Assignment 3.
(https://examform.nptel.ac.in/2025_01/exam_form/dashboard)
If already
registered, click
to check your
Week 3 : Assignment 3
payment status Your last recorded submission was on 2025-02-07, 23:03 Due date: 2025-02-12, 23:59 IST.
IST
Course
outline
IMPORTANT: Enter your short-answers in specified format; do not enter spaces, tabs, or
extraneous characters. Enter a list as comma-separated values without spaces, tabs,
About
parentheses, or extraneous characters. Any deviation will result in zero marks because
NPTEL ()
answers are evaluated by string matching.
How does an
MCQs with more than one correct answer:
NPTEL
● Full marks, if all correct options are selected and no wrong option is selected.
online
● Partial marks, if some correct options are selected and no wrong option is selected.
course
work? () ● Zero marks, if at least one wrong option is selected.
● Zero marks, if no options are selected.
Prerequisite
Assignment
() Abbreviations: Knowledge Base (KB), Propositional Logic (PL).
Week 1 () We treat “proof” and “derivation” as synonyms.
Week 2 ()
1) Which of the following are well formed formulas in propositional logic? where P, 1 point
Week 3 () Q, R are proposition symbols.
Propositional P
Logic (unit?
P ¬Q
unit=40&lesso
n=41) ¬¬¬¬¬P⊃¬¬¬¬¬Q
https://onlinecourses.nptel.ac.in/noc25_cs07/unit?unit=40&assessment=236 1/5
2/7/25, 11:03 PM Artificial Intelligence: Knowledge Representation And Reasoning - - Unit 6 - Week 3
Propositional (P ⊃ Q) ¬∧ R
Assessment submitted.
Logic: Syntax
X (P ⊃ Q) ∧ ¬R
(unit?
unit=40&lesso ¬(P ∧ Q) ≡ (¬P ∧ ¬Q)
n=42)
2) Select the sentence(s) that express the transitivity property of the equivalence 1 point
Propositional connective (≡), in propositional logic? Where P, Q, R are proposition symbols.
Logic:
Semantics (P ≡ Q ≡ R) ⊃ (P ≡ R)
(unit? [ (P ≡ Q) ∧ (Q ≡ R) ] ⊃ (P ≡ R)
unit=40&lesso
(P ≡ R) ⊃ [ (P ≡ Q) ∧ (Q ≡ R) ]
n=43)
(P ≡ Q) ⊃ [ (Q ≡ R) ⊃ (P ≡ R) ]
Proofs: Natural
Deduction
3) Represent the formula (P ∧ (P ⊃ Q)) using NAND(↑) connective. 1 point
(unit?
unit=40&lesso
(P ↑ Q)
n=44)
(P ↑ P) ↑ (Q ↑ Q)
The Deduction
(P ↑ Q) ↑ (P ↑ Q)
Theorem
(unit? None of the above
unit=40&lesso
n=45) 4) KB entails Q (KB ⊨ Q) if and only if __________ . 1 point
Models (unit?
Q is necessarily true when at least one sentence in the KB is true
unit=40&lesso
n=46) Q is necessarily true when all the sentences in the KB are true
at least one model of the KB is necessarily a model of Q
The Tableau
Method (unit? every model of the KB is necessarily a model of Q
unit=40&lesso
n=47) 5) Select the interpretations that are NOT models of the given KB. 1 point
Lecture
material (unit?
KB: { (P ⊃ Q) ⊃ (Q ⊃ R) }
unit=40&lesso
{ P:T, Q:T, R:T }
n=48)
{ P:T, Q:T, R:F }
Week 3
Feedback
{ P:T, Q:F, R:T }
Form : Artificial { P:T, Q:F, R:F }
Intelligence:
{ P:F, Q:T, R:T }
Knowledge
Representatio
{ P:F, Q:T, R:F }
n And { P:F, Q:F, R:T }
Reasoning!!
{ P:F, Q:F, R:F }
(unit?
unit=40&lesso
n=49)
6) Select the correct entailments. 1 point
Quiz: Week 3 KB: { (P ⊃ Q) ⊃ (Q ⊃ R) }
: Assignment
3 KB ⊨ (P ⊃ R)
(assessment?
KB ⊨ (Q ⊃ R)
name=236)
KB ⊨ ((P ∧ Q) ⊃ R)
Practice:
KB ⊨ (Q ⊃ (P ∨ R))
Week 3 :
Assignment
https://onlinecourses.nptel.ac.in/noc25_cs07/unit?unit=40&assessment=236 2/5
2/7/25, 11:03 PM Artificial Intelligence: Knowledge Representation And Reasoning - - Unit 6 - Week 3
(Non Graded) 7) The fire chief said: “... Mel Gibson’s home was burnt down by a wildfire that was 1 point
Assessment submitted.
(assessment? out of control ...”
X name=237)
B: Mel Gibson’s home was burnt down.
Week 4 ()
W: There was a wildfire.
C: The wildfire was in control.
DOWNLOAD
VIDEOS ()
Express the fire chief’s statement in propositional logic. Which of the following
representations (KBs) agree with the conclusion drawn by the fire chief?
Problem
Solving KB2: { W, ¬C, B ⊃ (W ∧ ¬C) }
Session -
KB3: { W, ¬C, W ⊃ (¬C ⊃ B) }
Jan 2025 ()
KB4: { W, ¬C, (W ∧ ¬C) ⊃ B }
8) Select the sentences that can be derived from the given KB? 1 point
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. }
Favorable ballots were deleted.
Favorable ballots were not deleted.
Proof of citizenship was required for voting.
Proof of citizenship was not required for voting.
The voter turnout was high.
The voter turnout was not high.
9) Select the valid tableau expansion rules. 1 point
Rule 1
Rule 2
Rule 3
Rule 4
Rule 5
Rule 6
10) Which of these expansion trees show the correct application of tableau expansion 1 point
rules?
https://onlinecourses.nptel.ac.in/noc25_cs07/unit?unit=40&assessment=236 3/5
2/7/25, 11:03 PM Artificial Intelligence: Knowledge Representation And Reasoning - - Unit 6 - Week 3
Assessment submitted.
X
Tree 1
Tree 2
Both trees
None of the above
11) Which of the expansion trees in the previous question show a proof of the 1 point
statement ((P ⊃ Q) ⊃ (Q ⊃ R)) ⊃ (Q ⊃ (P ∨ R)) using Tableau Method?
Tree 1
Tree 2
Both trees
None of the above
12) After the Tableau Method halts, the expansion tree produced by the Tableau 1 point
Method may contain __________ .
fully expanded open branches
fully expanded closed branches
partially expanded open branches
partially expanded closed branches
You may submit any number of times before the due date. The final submission will be
considered for grading.
Submit Answers
https://onlinecourses.nptel.ac.in/noc25_cs07/unit?unit=40&assessment=236 4/5
2/7/25, 11:03 PM Artificial Intelligence: Knowledge Representation And Reasoning - - Unit 6 - Week 3
Assessment submitted.
X
https://onlinecourses.nptel.ac.in/noc25_cs07/unit?unit=40&assessment=236 5/5
