Logical AI or Knowledge-based agents

Intelligent agents need knowledge about the world to choose good actions or take good decisions.

Knowledge – domain specific

Inference – domain independent

Tautology (valid) – A proposition which is always true.

Contradiction – A proposition which is always false.

Sound inference – derives only entailed sentences.

Complete – derives all entailed sentences.

A entails B Iff A implies B is valid.

Leave a Reply

%d bloggers like this: