Convert statement into conjunctive normal form , Computer Engineering

Consider the following statements about the types of fruit people like.

If people like apples, then they do not like oranges. If people do not like apples, then they like oranges and grapes. If people do not like oranges or they like grapes, then they like pears. If people like pears, then they like bananas.

a. Express the above statements in propositional logic. Clearly define the meaning of your propositional symbols.

b. Convert your statements from (a) into conjunctive normal form (CNF). Number the clauses in your knowledge base (KB) starting with number 1.

c. Using proof by refutation and resolution, try to prove that people like bananas using your KB from (b). For each new clause in your proof, clearly indicate the previous clauses used. If "people like bananas" cannot be proven, then clearly explain or demonstrate why.

d. Using proof by refutation and resolution, try to prove that people like apples using your KB from (b). For each new clause in your proof, clearly indicate the previous clauses used. If "people like apples" cannot be proven, then clearly explain or demonstrate why.

 

Posted Date: 4/1/2013 6:50:33 AM | Location : United States







Related Discussions:- Convert statement into conjunctive normal form , Assignment Help, Ask Question on Convert statement into conjunctive normal form , Get Answer, Expert's Help, Convert statement into conjunctive normal form Discussions

Write discussion on Convert statement into conjunctive normal form
Your posts are moderated
Related Questions
A datapool is a source of variable test data that scripts can draw from during playback

An identification method notifies Robot how to recognize the values to compare during record and playback.

List the major activities of an operating system with respect to memory management, secondary storage management and process management. Operating system is causes for followin

How and what data is collected - Weather simulation -  Sensors measure pressure, relative humidity, temperature and wind speed and wind direction -  Sensors are placed in w

Microsoft Visual basic has its host of problems one such being macros, Macros can be formed which can make havoc for a programmer with good intentions. Also the security issue rest

Question: (a) (i) Explain properties of the WebService attribute. (ii) Discuss three properties of the WebMethod attribute. (b) What are WSDL documents used for? (c)

Observed Speedup Observed speedup of a system which has been parallelized, is defined as:                             Granularity is one of the easiest and most extensi

In the previous assignment, you implemented a stack and a list that both inherited from the abstract class ArrayIntCollection. In this task you are supposed to extend that implemen

Q. What are the types of parallel programming? There are various parallel programming models in general use. A few of them are:  Data Parallel programming Message P

Define Memory read and write operation The transfer of information from a memory word to outside environment is known as read operation. The transfer of new information to be k