Skip to content

CS607 Assignment 2 Solution Fall 2021

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:

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)

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.

error: Content is protected !!
Ads Blocker Image Powered by Code Help Pro

Ads Blocker Detected!!!

We have detected that you are using extensions to block ads. Kindly Disable Your Adblocker Extensions