Professional Documents
Culture Documents
Artificial Intelligence - Knowledge Representation and Reasoning - Unit 5 - Week 2
Artificial Intelligence - Knowledge Representation and Reasoning - Unit 5 - Week 2
(https://swayam.gov.in) (https://swayam.gov.in/nc_details/NPTEL)
sateeshindian@gmail.com
If already
registered, click
to check your
Week 2 : Assignment
payment status The due date for submitting this assignment has passed.
Due on 2024-02-07, 23:59 IST.
About 1) A sentence in logic is a statement that, in principle, has a truth value. Which of the 1 point
NPTEL () following are sentences in logic?
Y h i
unit=29&lesso Yes, the answer is correct.
n=31) Score: 1
Accepted Answers:
Truth, Logic, False
and Provabilty
(unit? 3) What does the statement (P ⊃ Q) convey? (Note: it is very very important for 1 point
unit=29&lesso beginners to understand and internalise the conditional-statement.)
n=32)
When P is true then Q is true.
A Syntactic
When P is false then Q is false.
Machine (unit?
unit=29&lesso When Q is true then P is true.
n=33) When Q is false then P is false.
Entailment and Yes, the answer is correct.
Proof (unit? Score: 1
unit=29&lesso Accepted Answers:
n=34) When P is true then Q is true.
When Q is false then P is false.
The
Languages of
Logic (unit? 4) Model the situation “a number x that is greater than 10 is greater than 5 as well” in 1 point
unit=29&lesso Propositional Logic. (Hint: select the formula that remains meaningful for various values of x.)
n=35)
A: number x is greater than 5.
Patterns in
Arguments
B: number x is greater than 10.
(unit?
A∧ B
unit=29&lesso
n=36) A∨ B
A⊃ B
Rules of
Inference B⊃A
(unit?
Yes, the answer is correct.
unit=29&lesso Score: 1
n=37)
Accepted Answers:
Lecture B⊃A
material (unit?
unit=29&lesso 5) Model the sentence “Snapdragons bloom only in winter” in Propositional Logic. 1 point
n=38)
B: Snapdragons are in bloom.
Week 2
Feedback form W: It is winter.
: Artificial
Intelligence:
B∧W
Knowledge B∨W
Representatio
B⊃W
n And
Reasoning W⊃B
(unit? No, the answer is incorrect.
unit=29&lesso Score: 0
n=39) Accepted Answers:
B⊃W
Quiz: Week 2
: Assignment
(assessment? 6) Select the valid rules of substitution. 1 point
name=206)
[P ≡ Q] ≡ [(P ⊃ Q) ∧ (Q ⊃ P)]
[P ⊃ Q] ≡ [P ∨ ¬Q]
Practice: Week [P ⊃ Q] ≡ [¬P ⊃ ¬Q]
2 : Assignment
[(P ∨ Q) ⊃ R] ≡ [(P ⊃ R) ∧ (Q ⊃ R)]
(Non Graded)
(assessment? No, the answer is incorrect.
name=208) Score: 0
Accepted Answers:
Week 3 () [P ≡ Q] ≡ [(P ⊃ Q) ∧ (Q ⊃ P)]
[(P ∨ Q) ⊃ R] ≡ [(P ⊃ R) ∧ (Q ⊃ R)]
Week 4 ()
7) Select the valid rules of inference. 1 point
Week 5 () {P, P ⊃ Q} ⊢ Q
{P ∧ Q} ⊢ (P ∨ Q)
Week 6 ()
{P ∨ Q, ¬Q} ⊢ P
Week 7 () {P ⊃ Q, ¬Q} ⊢ ¬P
Partially Correct.
Week 8 () Score: 0.75
Accepted Answers:
Week 9 () {P, P ⊃ Q} ⊢ Q
{P ∧ Q} ⊢ (P ∨ Q)
Week 10 () {P ∨ Q, ¬Q} ⊢ P
{P ⊃ Q, ¬Q} ⊢ ¬P
Week 11 ()
8) A knowledge base (KB) is __________ . 1 point
DOWNLOAD
a collection of all human knowledge (a large language model like ChatGPT)
VIDEOS ()
a set of sentences where all the sentences are true
Text a set of sentences where some sentences may be false because we need the ability to
Transcripts () say what is false
All of the above
Books ()
No, the answer is incorrect.
Score: 0
Problem Accepted Answers:
Solving a set of sentences where all the sentences are true
Session -
Jan 2024 () 9) A proof or derivation in logic __________ . 1 point
11) Which of the following statements about entailments are correct? 1 point
{P, P ⊃ Q} ⊨ Q
{Q, P ⊃ Q} ⊭ P
{¬P, P ⊃ Q} ⊭ ¬Q
{¬Q, P ⊃ Q} ⊨ ¬P
12) Which of the following sets of connectives are complete in propositional logic? 1 point
{⊃}
{⊃,¬}
{∧,¬}
{∧,∨,¬}
Partially Correct.
Score: 0.66
Accepted Answers:
{⊃,¬}
{∧,¬}
{∧,∨,¬}
KB entails P.
KB derives P.
All of the above.
15) If a proof procedure (derivation algorithm) in logic is sound then __________ and 1 point
__________ . Choose the relevant two options to fill in the blanks.
is a sentence that evaluates to true when its variables are set to true
is a sentence that evaluates to true when its variables are set to any combination of truth
values
is used to test whether a rule of inference is valid or not
is used to test whether a rule of substitution is valid or not
Yes
No
N h i i
No, the answer is incorrect.
Score: 0
Accepted Answers:
No
Yes
No
Yes
No
Yes
No