What example is the following? (This starts from the goal.)

Conclude the colour of a pet named Fritz.

The rule base (four rules):

1. If X croaks and X eats flies -Then X is a frog

2. If X chirps and X sings -Then X is a canary

3. If X is a frog -Then X is green

4. If X is a canary -Then X is yellow

Assume the following facts:

• Fritz croaks
• Fritz eats flies

Which is NOT true about the forward chaining?

What will be the result after applying the resolution inference rule to the following?

Which probablity axiom is NOT correct?

What is the ontological commitment for probability theory? (1)

Which is a CNF of  p ∨ (q ∧ r).

What example is the following? (This starts from the goal.)

Conclude the colour of a pet named Fritz.

The rule base (four rules):

1. If X croaks and X eats flies -Then X is a frog

2. If X chirps and X sings -Then X is a canary

3. If X is a frog -Then X is green

4. If X is a canary -Then X is yellow

Assume the following facts:

• Fritz croaks
• Fritz eats flies

Which is the correct first order logic expression for the following?

All birds except penguins fly.

What example is the following?

Conclude the colour of a pet named Fritz.

The rule base (four rules):

1. If X croaks and X eats flies -Then X is a frog

2. If X chirps and X sings -Then X is a canary

3. If X is a frog -Then X is green

4. If X is a canary -Then X is yellow

Assume the following facts:

• Fritz croaks
• Fritz eats flies

By rule #1, the inference engine concludes: Fritz is a frog.

By rule #3, the inference engine concludes: Fritz is green.

What is described by the following? (Probablity deals with this problem.)

The impossibility of listing all the preconditions required for a real-world action to have its intended effect