When would I use tell and ask?


Tell and ask are a way to transform a declarative and relational expression of a KB into an operational one.

OKBC defines an assertion language for use with KRS that prefer to view a KB as a collection of logical sentences, or with systems that have a knowledge model more expressive than the OKBC knowledge model.

To add assertions not supported by OKBC, you have to use the operations tellable and askable to check that these assertions are compliant, and the use tel.


Next: When would I use :inference-level ?
Top: OKBC FAQ Table of Contents