A GOAL in KnowLang is a desirable transition to a state or a transition
from a specific state to another state (see the examples below). A system running the KnowLang Reasoner may
transit to a state when the properties of concept are updated or some errors or events have occurred, or actions
have been realized in the system itself, or in the operational environment. Goals are used to specify policies.
Note that the KnowLang Reasoner relies on TELL and GET operators to change the defined states.
Recall that in KnowLang, a state is a Boolean expression over ontology.
|