tell

A tell operation is feeding knowledge to the $KB$.

$Tell[f]\to KB\to ?$

Possible respones:

1. Already know that. This is entailment. $KB\models f$
2. Don’t believe that. This is contradiction. $KB\models \neg f$.
3. New knowledge. This is contingency. $f\to KB$