Q1:

Consider the following statements and write down the facts and rules about the statements:

Fact:

1. ahad likes nida

2. Everyone likes ahad

3. ahad does not like pizza

4. ahad likes everybody and everybody likes ahad

5. Ali studies cs135

6. Ayesha is daughter of Usman

7. Ayesha marry ahmed

Rule:

1. A hates B if A does not like B.

2. X and Y are friends if they like each other

3. A and B are enemies if they don't like each other

Q2:

1. Find the weakest precondition for a sequence of statements given below.

{ ? } b = 1 + a * 1;

a = a +b + 5; {a < 10}

2. Consider the following inference chaining rule diagram. Drive the inference rule by considering the backward chaining.

Detailed solution please.