8.3 Using First-Order Logic

First-Order Logic is very flexible and can be used to describe operations on

• Numbers
• Sets
• Lists

8.4 Knowledge Engineering Process

1. Identify the task
2. Assemble the relevant knowledge
3. Decide on a vocabulary of predicates, functions and constants
4. Encode general knowledge about the domain
5. Encode a description of the specific problem instance
6. Pose queries to the inference procedure and get answers
7. Debug the knowledge base

The above process is illustrated in the context of an electronic circuits domain in the reading.

Exercise 1

Represent the following sentences in first order logic:

• A person born in the UK, each of whose parents is a UK citizen or a UK resident, is a UK citizen.
• Elizabeth is a UK citizen.
• Javiar is a UK resident.
• Danny was born in the UK.
• Elizabeth and Javiar are the parents of Danny.

Use resolution theorem proving to prove the following:

• Elizabeth is a UK citizen.
• Danny is a UK citizen.
• Find a UK citizen.

Exercise 2

Convert the following sentence to conjunctive normal form (CNF):

• Each person has a mother.