Scribd
Upload
188 views

Artificial Intelligence - Knowledge Representation and Reasoning - Unit 7 - Week 4 - Models

The document indicates that the student did not submit their Week 4 PA assignment for the NPTEL Artificial Intelligence: Knowledge Representation and Reasoning course. It provides the questions from the assignment but no answers were submitted. It lists the student's name, email, and notes that the assignment was not submitted and is only for practice.

Uploaded by

Sateesh Bandaru
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
188 views

Artificial Intelligence - Knowledge Representation and Reasoning - Unit 7 - Week 4 - Models

The document indicates that the student did not submit their Week 4 PA assignment for the NPTEL Artificial Intelligence: Knowledge Representation and Reasoning course. It provides the questions from the assignment but no answers were submitted. It lists the student's name, email, and notes that the assignment was not submitted and is only for practice.

Uploaded by

Sateesh Bandaru
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 4

Answer Submitted.

(https://swayam.gov.in) (https://swayam.gov.in/nc_details/NPTEL)

[email protected]

NPTEL (https://swayam.gov.in/explorer?ncCode=NPTEL) » Artificial Intelligence: Knowledge Representation

And Reasoning (course)

If already
registered, click
to check your
Week 4 PA: Models
payment status Assignment not submitted

Note : This assignment is only for practice purpose and it will not be counted towards the
Final score
Course
outline
Abbreviations: Knowledge Base (KB), Propositional Logic (PL), First Order Logic (FOL).

About Consider the FOL language


NPTEL ()
L({MFC,Woman,LendsTo},{age,income},{Bell,Etas,Amy,Eva,Don}).

How does an
NPTEL 1) Select the sentence that is true in the interpretation I. 1 point
online
course I: (MFC={Bell}, Woman={Amy,Eva}, LendsTo={(Bell,Amy),(Bell,Eva)})
work? ()
∀x∀y [(MFC(x) ∧ LendsTo(x,y)) ⊃ Woman(y)]
Prerequisite ∀x∀y [(MFC(x) ∧ Woman(y)) ⊃ LendsTo(x,y)]
Assignment Both of the above
()
None of the above

Week 1 () Yes, the answer is correct.


Score: 1
Accepted Answers:
Week 2 ()
Both of the above

Week 3 ()
2) Select the sentence that is true in the interpretation I. 1 point

Week 4 ()
I: (MFC={Bell}, Woman={Amy,Eva}, LendsTo={(Bell,Amy),(Bell,Don)})
First Order
∀x∀y [(MFC(x) ∧ LendsTo(x,y)) ⊃ Woman(y)]
Logic (unit?
unit=50&lesso ∀x∀y [(MFC(x) ∧ Woman(y)) ⊃ LendsTo(x,y)]
n=51)
Both of the above
First Order
None of the above
Logic: Syntax
(unit? Yes, the answer is correct.
unit=50&lesso Score: 1
n=52) Accepted Answers:
None of the above
FOL: Universal
Instantiation 3) Select the sentence that is true in the interpretation I. 1 point
(unit?
unit=50&lesso I: (MFC={Bell}, Woman={Amy,Eva}, LendsTo={(Bell,Amy),(Etas,Eva)})
n=53)
∀x∀y [(MFC(x) ∧ LendsTo(x,y)) ⊃ Woman(y)]
First Order
Logic: ∀x∀y [(MFC(x) ∧ Woman(y)) ⊃ LendsTo(x,y)]
Semantics Both of the above
(unit?
None of the above
unit=50&lesso
n=54) Yes, the answer is correct.
Score: 1
FOL: Truth Accepted Answers:
Assignments ∀x∀y [(MFC(x) ∧ LendsTo(x,y)) ⊃ Woman(y)]
(unit?
unit=50&lesso
4) Select the sentence that is true in the interpretation I. 1 point
n=55)

Modified I: (MFC={Bell}, Woman={Amy,Eva}, LendsTo={(Etas,Amy),(Etas,Eva)})


Modus Ponens
(unit? ∀x∀y [(MFC(x) ∧ LendsTo(x,y)) ⊃ Woman(y)]
unit=50&lesso ∀x∀y [(MFC(x) ∧ Woman(y)) ⊃ LendsTo(x,y)]
n=56)
Both of the above
The Unification
None of the above
Algorithm
(unit? Yes, the answer is correct.
unit=50&lesso Score: 1
n=57) Accepted Answers:
∀x∀y [(MFC(x) ∧ LendsTo(x,y)) ⊃ Woman(y)]
Skolemization
(unit?
5) Select the sentence that is true in the interpretation I. 1 point
unit=50&lesso
n=58)
I: (MFC={Bell}, Woman={}, LendsTo={(Bell,Amy),(Bell,Eva)})
Week 4:
Lecture ∀x∀y [(MFC(x) ∧ LendsTo(x,y)) ⊃ Woman(y)]
material (unit? ∀x∀y [(MFC(x) ∧ Woman(y)) ⊃ LendsTo(x,y)]
unit=50&lesso
n=59)
Both of the above
None of the above
Week 4
Feedback form Yes, the answer is correct.
: Artificial
Score: 1
Intelligence: Accepted Answers:
Knowledge ∀x∀y [(MFC(x) ∧ Woman(y)) ⊃ LendsTo(x,y)]
Representatio
n And 6) Select the sentence that is true in the interpretation I. 1 point
Reasoning
(unit? I: (MFC={}, Woman={Amy,Eva}, LendsTo={(Bell,Amy),(Bell,Eva)})
unit=50&lesso ∀x∀y [(MFC(x) ∧ LendsTo(x,y)) ⊃ Woman(y)]
n=60)
∀x∀y [(MFC(x) ∧ Woman(y)) ⊃ LendsTo(x,y)]
Quiz: Week 4 :
Both of the above
Assignment
(assessment? None of the above
name=212) Yes, the answer is correct.
Score: 1
Practice: Week
Accepted Answers:
4 PA:
Both of the above
Language
(assessment? 7) Select the sentence that is true in the interpretation I. 1 point
name=213)

Practice: Week I: (MFC={Bell}, Woman={Amy,Eva}, LendsTo={(Bell,Amy),(Bell,Eva)})


4 PA:
Quantifiers ∃x MFC(x)
(assessment? ∃x Woman(x)
name=214)
∃x ¬Woman(x)
Practice: Week ¬∃x Woman(x)
4 PA:
∃x∃y ¬LendsTo(x,y)
Representatio
n ¬∃x∃y LendsTo(x,y)
(assessment? ∃x∃y [MFC(x) ∧ LendsTo(x,y) ∧ Woman(y)]
name=215)
∃x∃y [MFC(x) ∧ LendsTo(y,x) ∧ Woman(y)]
Practice: ∃x∃y [Woman(x) ∧ Woman(y) ∧ ¬(x = y)]
Week 4 PA:
∃x∃y [LendsTo(x,y) ∧ ¬Woman(y)]
Models
(assessment? Yes, the answer is correct.
name=216) Score: 1
Accepted Answers:
Week 5 () ∃x MFC(x)
∃x Woman(x)
Week 6 () ∃x ¬Woman(x)
∃x∃y ¬LendsTo(x,y)
Week 7 () ∃x∃y [MFC(x) ∧ LendsTo(x,y) ∧ Woman(y)]
∃x∃y [Woman(x) ∧ Woman(y) ∧ ¬(x = y)]
Week 8 ()
Check Answers and Submit
Week 9 ()
Your score is: 7/7

Week 10 ()

Week 11 ()

DOWNLOAD
VIDEOS ()

Text
Transcripts ()

Books ()
Problem
Solving
Session -
Jan 2024 ()

You might also like