CS607 Assignment 2 Solution Fall 2021, CS607 Assignment 2 Solution 2021, CS607 Assignment 2 Solution Fall 2022, CS607 Assignment Solution 20221.

CS607 Assignment Due Date 22 December 2021, Please read the following instruction before Attempting your assignment. It should be clear that your assignment would not get any credit if, The assignment is submitted after the due date. The submitted assignment does not open or the file is corrupt.

Rules of inference are logical rules that you can use to prove certain things. As

you look at the rules of inference, try to figure out, and convince yourself that the

rules are logically sound, by looking at the associated truth tables. The rules we

will use for propositional logic are:

Modus Ponens

Modus Tolens

And-Introduction

And-Elimination

## Question No 1 CS607 Assignment 2 Fall 2021

*Question No 1 Prove E, Using the rules of inference.*

*Make a table and write all the applied rule names properly.*

*The given premises are:*

__Question No 2 Solution:__

__Question No 2 Solution:__There are two types of chaining used in the development of inference Engines in Artificial Intelligence, that are forward chaining and backward chaining. Both strategies have their own properties.

Below in the table there are some properties and uses of both strategies. Point out each property with the respective chaining by writing his name in front of it in the table.

__Question No 2 (B part)__

__Question No 2 (B part)__*Convert the following statement into conjunctive Normal Form.*

CS607 Assignment 2 Solution Fall 2021, CS607 Assignment 2 Solution 2021, CS607 Assignment 2 Solution Fall 2022, CS607 Assignment Solution 20221.