Question

Inference by Resolution: Given the following knowledge base (KB),

• If it is November (N), there will not be a baseball game (B) at Cleveland.

• If it is November (N) and it is Sunday (S), Bob will be in Youngstown (Y).

• If it doesn't snow (W) or if there is a baseball game at Cleveland (B), Bob will go fishing (F).

• Today is Sunday (S) and it is November (N).

• If Bob is in Youngstown (Y), it will not snow (W).

Can you prove that Bob will go fishing (F)?

1. Please express the knowledge base (KB) in propositional logic sentences.
2. Please convert KB you derived in (a) into its CNF form.
3. Using inference by resolution to prove the query, true or false? (You must show the steps, or no credit will be given))

Answer 1

ANSWER:

Let , N be "It is November".

Let, B be " there will be base ball game at Cleveland".

Let , S be " It is sunday".

Let, Y be " Bob will be in Youngstown".

Let , W be " It doesn't snow".

Let, F be " Bob will go finising".

a)

Knowledge base in propositional logic

Inference from 1.   ............(i)

Inference from 2. .......(ii)

   Inference from 3. (W V B ) F ........(iii)

Inference from 4 S ..........(iv)

N ...........(v)

   Inference from 5 . Y W ..........(vi)

b)

Conversion to CNF form

Sentence CNF

(i)   

(ii)

(iii)   

(iv) S S

N N

(v)

c)

Using inference by resolution: The   goal is F ,so we add   to the list of facts.

The new set is:

1.

2.

3.  

4.

5. S

6. N

7.  

8.  

Hence , is not true

: F is true

It proves, Bob will go fishing.

If you do not get anything in this solution ,please put a comment and i will help you out.

Do not give a downvote instantly.It is a humble request.

If you like my answer ,please give an upvote....Thank you.