Scribd
Upload
371 views

2020 MMP-AI Assignment 01

This document contains an assignment on artificial intelligence for an 8th semester BE class. It includes 12 questions related to knowledge representation, predicate logic, resolution, and Prolog programming. The questions cover topics like different approaches and issues in knowledge representation, the algorithm for predicate logic resolution, expressing facts in predicate logic and using resolution, writing Prolog programs for computing factorials, finding sums, counting vowels, finding maximums, and appending lists. Students are asked to answer all questions and provide examples or code as needed by a deadline of December 2, 2020.

Uploaded by

palak
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
371 views

2020 MMP-AI Assignment 01

This document contains an assignment on artificial intelligence for an 8th semester BE class. It includes 12 questions related to knowledge representation, predicate logic, resolution, and Prolog programming. The questions cover topics like different approaches and issues in knowledge representation, the algorithm for predicate logic resolution, expressing facts in predicate logic and using resolution, writing Prolog programs for computing factorials, finding sums, counting vowels, finding maximums, and appending lists. Students are asked to answer all questions and provide examples or code as needed by a deadline of December 2, 2020.

Uploaded by

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

Sarvajanik College of Engineering & Technology, Surat

INFORMATION TECHNOLOGY DEPARTMENT


B.E. SEM: 8 Dec-April 2019-20
Subject (2180703): ARTIFICIAL INTELLIGENCE
Assignment 01
Submission Deadline:12/2/2020
1. Explain the different approaches to knowledge representation
2. Explain the different issues in Knowledge representation.
3. Explain the algorithm of predicate logic resolution. Write the steps of converting
predicate logic wffs to clause form. Discuss how unification is used in predicate logic.
4. Express the following facts into predicate logic and convert them into clause form.
[A] 1. Marcus was a man.
2. Marcus was a Pompeian.
3. All Pompeians are Romans.
4. Caesar was a ruler.
5. All Romans are either loyal to Caesar or hated him.
6. People only try to kill rulers they are not loyal to.
7. Marcus tried to kill Caesar.
Use Resolution to answer the question, “Did Marcus hate Caesar?
[B] 1. Marcus was a man.
2. Marcus was a Pompeian.
3. Marcus was born in 40 in A.D.
4. All men are mortal.
5. All Pompeians died when the Vocano erupted in 79 A.D.
6. No mortal lives longer than 150 years.
7. It is now 2019.
Use Resolution to answer the question, “Is Marcus alive?
[C] 1. John likes all kinds of vegetarian food.
2. Oranges are food.
3. Chicken is food.
4. Anything anyone eats and is not killed by is food.
5. Bill eats peanuts and is still alive.
6. Sue eats everything Bill eats.
(a) Prove using resolution that John likes peanuts using Resolution
(b) Use resolution to answer the question “What food does Sue eat?”
[D] Assume the following facts :
1. Steve only likes easy courses.
2. Science courses are hard.
3. All the courses in the basketweaving department are easy.
4. BK301 is a basketweaving course.
Use Resolution to answer the question, “What Course would Steve like?”
[E] Consider the following axioms:
1. Anyone whom Mary loves is a football star.
2. Any student who does not pass does not play.
3. John is a student.
4. Any student who does not study does not pass.
5. Anyone who does not play is not a football star.
Prove using resolution process that “If John does not study, then Mary does not
love John”.
[F] Consider the following facts.
1. The member of the St. Bridge club are Joe,Sally,Bill and Ellen.
2. Joe is married to Sally.
3. Bill is Ellen’s brother.
4. The spouse of every married person in the club is also in the club.
5. The last meeting of the club was at Joe’s house.

Translate the above sentences into formulas in predicate logic and Prove that
Ellen is not married.

[G] Consider the following sentences:

1. Prince is a mega star.


2. Mega stars are rich.
3. Rich people have fast cars.
4. Fast cars consume a lot of petrol.

Translate these sentences into formulas in predicate logic and Prove that Prince's car consumes a lot
of petrol.
5. What is wrong with the following argument?
 Men are widely distributed over the earth.
 Socrates is a man.
 Therefore, Socrates is widely distributed over the earth.

How should the facts represented by these sentences be represented in logic so that this
problem does not arise?

6. Demonstrate the use of Cut, Fail and Repeat Predicates in Prolog with example
7. Write a prolog program to compute factorial of a given number.
8. Write a prolog program to find the sum of first N natural numbers.
9. Write a prolog program to find sum of all the numbers of a list
10. Write a prolog program to count vowels in a list of characters.
11. Write a prolog program to find maximum number from a list
12. Write a prolog program to append two given list. Show the tracing of the program by
taking two sample lists in goal state.

You might also like