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

Ask an Expert

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

Write your message here..

Related Questions

What is datapool, A datapool is a source of variable test data that scripts... A datapool is a source of variable test data that scripts can draw from during playback

What is an identification method, An identification method notifies Robot h... An identification method notifies Robot how to recognize the values to compare during record and playback.

Explain activities of an operating system, List the major activities of an ... 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, How and what data is c... 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

What is the security vulnerabilities for vba, Microsoft Visual basic has it... 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

Explain properties of the webservice attribute, Question: (a) (i) Expl... 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 and parallel overhead, Observed Speedup Observed speed... Observed Speedup Observed speedup of a system which has been parallelized, is defined as:                             Granularity is one of the easiest and most extensi

Exception handling and recursion, In the previous assignment, you implement... 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

What are the types of parallel programming, Q. What are the types of parall... 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, Define Memory read and write operat... 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