Logical agents

Question 1

What is a knowledge based agent?

Answer 1

An agent that reasons over an internal representation of knowledge to decide what actions to take. (This makes them very flexible)

Question 2

What is a knowledge base?

Answer 2

A set of axioms and sentences that follow from other sentences that represents the knowledge of the agent.

Question 3

What does it mean that KB entails a?

Answer 3

It means that a is true in all worlds where KB is true:

KB |= a iff M(KB) subset M(a)

Question 4

What is a model in the context of logical agents?

Answer 4

Represents a “possible world”

Question 5

What is meant by inference?

Answer 5

Deriving new sentences from old.

Question 6

What are the requirements for a propositional sentence to be in CNF form?

Answer 6

It has to be a conjunction (ANDs) of clauses of disjunctions (ORs)

Question 7

Horn form is a special form of CNF. What is the requirement for a CNF sentence to be in horn form?

Answer 7

Has to be a conjunction of horn clauses. Horn clauses are disjunctions where at most one literal is positive.