Scribd
Upload
1K views2 pages

AI Resolution Problems

This document discusses several examples of using first-order logic and resolution to represent statements, prove conclusions, and answer queries: 1) It presents a cricket match scenario and asks to represent the facts in predicate logic, convert to clause form, and use resolution to prove "India wins the match". 2) It provides 4 statements about people and asks to represent them in FOL and use resolution to prove "John killed the cat". 3) It gives 4 statements about teachers, students, and eligibility and asks to represent them in FOL. 4) It asks to use CNF and resolution to prove a conclusion from 3 given statements containing predicates. 5) It provides 3 statements and asks

Uploaded by

Raj saranya
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
1K views2 pages

AI Resolution Problems

This document discusses several examples of using first-order logic and resolution to represent statements, prove conclusions, and answer queries: 1) It presents a cricket match scenario and asks to represent the facts in predicate logic, convert to clause form, and use resolution to prove "India wins the match". 2) It provides 4 statements about people and asks to represent them in FOL and use resolution to prove "John killed the cat". 3) It gives 4 statements about teachers, students, and eligibility and asks to represent them in FOL. 4) It asks to use CNF and resolution to prove a conclusion from 3 given statements containing predicates. 5) It provides 3 statements and asks

Uploaded by

Raj saranya
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/ 2

FIRST-ORDER LOGIC TO CNF CONVERSION AND RESOLUTION

1. Consider the following facts:

Team India
Team Australia
Final match between India and Australia
India scored 350 runs
Australia scored 350 runs
India lost 5 wickets
Australia lost 7 wickets
The team which scored the maximum runs wins
If the scores are same then the team which lost minimum wickets wins the match.
Represent the facts in predicate logic, and convert to clause form, and prove by resolution, “India wins the
match”.

2. Represent the following sentences in FOL and prove that ‘John killed the cat’ using resolution.(12)
1) Everyone who loves all animals is loved by someone
2) Anyone who kills an animal is loved by no one
3) Jack loves all animals
4) Either Jack or John killed the cat named Tuna

3. Represent the following sentences in First order logic.


1) All teachers of Sigma Engineering College (SEC) love their students.
2) No student lacks the potential for achievement (Pfa)
3) C1 is the child of F1. F1 is the father of C1.
4) Engineering studetns are eligible to become student members (SM) of Indian Society for
Technical Education (ISTE).
You may use the following basic vocabulary for the First Order Logic sentences:
Teacher(x,SEC); student(y,x);
Student(x); Lacks(x,Pfa);
Engg student(x);Eligible(x,SM,ISTE)
Other predicates needed for the first order logic sentences may be defined and used by you appropriately.

4. i. Converting the following first order logic sentences to conjunctive normal form and then applying resolution
rule, prove the validity of the conclusion C(x,y):
A(x)
B(y)
A(x) Ʌ B(y)=> C(x,y)
A,B,C are predicates. You may use the substitutions x/K1 and y/K2 suitably.

ii. Given the following first order definite clauses, show how forward chaining may be used to answer the
query.

P(K1)
Q(K3,K1,K2)
P(K1) Ʌ Q(K3,K1,K2) => R(K3)
P, Q, R are predicates. K1, K2, K3 are constants.

5. Represent the following sentences in predicate logic and convert the following sentences to CNF form.
1) All women who like ice-creams like chocolates. (2)
2) No man is happy with a spendthrift wife. (2)
3) The best movie in Hollywood is always better than the movie in Bollywood. (2)
7. Consider the following sentences:
a. John likes all kinds of food.
b. Apples are good
c. Chicken is food
d. Anything anyone eats and isn't killed by is food.
e. Bill eats peanuts and is still alive.
f. Sue eats everything Bill eats.
i. Translate these sentences into formula in predicate logic (4)
ii. Prove that John likes peanuts using backward chaining. (4)
iii. Convert the formulas of a part into a clause (6)
iv. Prove that John likes Peanuts using resolution.(6)
8. Assume the following facts (20)
a. Steve only likes easy courses.
b. Science courses are hard
c. All courses in the Computer department are easy
d. Artificial intelligence is a computer science course
Use resolution to answer the following question

“What course would Steve like?”

You might also like