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
a. What are the activities included during the process of developing a formal specification of a sub-system interface? b. Explain the Pair Programming? What are the benefits of

Shared executes most of the security features into OLAP. If multiple accesses are needed admin can make essential changes. The default security level for all OLAP products is read

The last character of the LDB name denote?? Application


Creating a contacts application: First, a contact is defined as the tuple: firstName, lastName, phoneNumber and email. You will create a class Contact that allows getting a

How Race Around Condition can be avoided? Ans: The race around condition can be avoided if 1. Duration of clock pulse being high is small like comparative to the dela

What is the difference between a structure and a table? Structures are constructed the almost the similar way as tables, the only dissimilarity using that no database table is

a. Define operating system? State the important features of operating system? b. Describe the following facilities for implementing interacting processes in programming language

The method(s) of payment for online consumers are A) Electronic cash    (B) Credit/debit C) Electronic checks

How exceptions are handled in java? Exception handing In Java: A java exception is an object which describes an exceptional condition which has occurred in a piece of code.