First order logic, Computer Engineering

"George has a dog called Ernie, which is a trained Labrador. Trained Labradors and poodles are obedient, and all obedient dogs are good dogs. All good dogs that have a master will be with their master. On hot days, George always goes to the beach, but on cold days he goes to the museum.

Today is a cold day." 

(a)  Choose a suitable set of predicates, functions and constant symbols for representing the above knowledge in First Order Logic, and provide a glossary where you indicate their intended meaning.

(b)  Using only the predicates, functions and constant symbols you have described above, write sentences in first-order logic that represent this knowledge. 

(c)  Convert the sentences into clausal form and give the resulting set of clauses. 

(d)  Use resolution refutation to find the answer to the question "Where is Ernie?". Show the complete resolution derivation (in sequence or tree form), clearly indicating which clauses are resolved, and the unifier used.

Posted Date: 2/20/2013 8:14:48 AM | Location : United States







Related Discussions:- First order logic, Assignment Help, Ask Question on First order logic, Get Answer, Expert's Help, First order logic Discussions

Write discussion on First order logic
Your posts are moderated
Related Questions
Reduced Instruction Set Computer (RISC): As we discussed before most of the modern CPUs are of the GPR (General Purpose Register) type. A few instances of such type of CPUs ar

Why a computer expect to receive responses when it broadcast an ARP request? Response will be acquired only from the machine for that request is being sent not for the other ma

Define SR Flip Flop - SR latch with NOR Gate? The SR Flip flop neither is a circuit with two cross-coupled NOR gates or two cross-coupled NAND gates. SR

Define UFD and MFD.   In the two-level directory structure, every user has own user file directory (UFD). Every UFD has a same structure, but lists only the files of a single u

example of branching take place in instructon pipeline

In a positive logic system, logic state 1 corresponds to ? Ans. For positive digital logic, we choose two voltages levels. Higher voltage shows logic 1 and a lower voltage sho

How many bits are required at the input of a ladder D/A converter, if it is required to give a resolution of 5mV and if the full scale output is +5V. Find the %age resolution.

EXPLAIN SIDE EFFECT OF SCAN CONVERSION WITH DIGRAM

Overclocking is the process of making a computer or component operate faster than the clock frequency particular by the manufacturer by modifying system parameters. One of the most

Q. Can you explain about Internet Protocol? Internet protocol specifies the rules which define the details of how computers communicate. It specifies exactly how a packet shoul