Scribd
Upload
6 views4 pages

TE - AI - Assignment No. 4

assn4

Uploaded by

Khan Khaja
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
6 views4 pages

TE - AI - Assignment No. 4

assn4

Uploaded by

Khan Khaja
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
You are on page 1/ 4

Peoples Empowerment Group

ISBM COLLEGE OF ENGINEERING, NANDE, PUNE


Department of Artificial Intelligence and Data Science
Academic Year 2024-25

Class: TE AI & DS Subject: Artificial Intelligence (310253)


Semester: I
Unit IV: Knowledge

Assignment No. 4

1. Explain Logical Agents, Knowledge-Based Agents


2. Explain The Wumpus World
3. Give Propositional Theorem Proof
4. What is Effective Propositional Model Checking
5. Explain First-Order Logic

Subject Incharge HOD


Dr. S.M.Khaja Prof. Anil Walke
Peoples Empowerment Group
ISBM COLLEGE OF ENGINEERING, NANDE, PUNE
Department of Artificial Intelligence and Data Science
Academic Year 2024-25

Class: TE AI & DS Subject: Artificial Intelligence (310253)


Semester: I
Unit IV: Knowledge

Assignment No. 4

1. Explain Logical Agents, Knowledge-Based Agents


2. Explain The Wumpus World
3. Give Propositional Theorem Proof

4. Discuss Syntax and Semantics of First-Order Logic


5. Discuss Knowledge Engineering in First-Order Logic

Subject Incharge HOD


Dr. S.M.Khaja Prof. Anil Walke
Peoples Empowerment Group
ISBM COLLEGE OF ENGINEERING, NANDE, PUNE
Department of Artificial Intelligence and Data Science
Academic Year 2024-25

Class: TE AI & DS Subject: Artificial Intelligence (310253)


Semester: I
Unit IV: Knowledge

Assignment No. 4

1. Explain Logical Agents, Knowledge-Based Agents


2. Explain The Wumpus World
3. Give Propositional Theorem Proof
4. What is Effective Propositional Model Checking
5. Discuss Knowledge Engineering in First-Order Logic

Subject Incharge HOD


Dr. S.M.Khaja Prof. Anil Walke
Peoples Empowerment Group
ISBM COLLEGE OF ENGINEERING, NANDE, PUNE
Department of Artificial Intelligence and Data Science
Academic Year 2024-25

Class: TE AI & DS Subject: Artificial Intelligence (310253)


Semester: I
Unit IV: Knowledge

Assignment No. 4

1. What is Effective Propositional Model Checking


2. Explain First-Order Logic
3. Explain Agents Based on Propositional Logic
4. Discuss Syntax and Semantics of First-Order Logic
5. Discuss Knowledge Engineering in First-Order Logic

Subject Incharge HOD


Dr. S.M.Khaja Prof. Anil Walke

You might also like