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

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

What does the following image show?

What algorithm is described by the following?

This search algorithm is a depth-first search in the context of constraint satisfaction problems (CSPs). 

• This algorithm is the basic uninformed algorithm for CSPs.
• This algorithm contains the following functions:
• SELECT-UNASSIGNED-VARIABLE
• ORDER-DOMAIN-VALUES
• INFERENCE 

Which one of the following representations corresponds with Constraint Satisfaction Problems (CSPs)?

Which one describes a |= b? (a |= b means a entails b.)

Fill in the blanks to complete the following truth table.

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

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 one describes a |= b? (a |= b means a entails b.)