Another important primitive is can prevent, notated K prev . This is related to know how and applies when the given agent is able to perform actions so as to prevent the occurrence of the given condition. The presentation below is self contained, however. The formal model here is based on possible worlds. Each possible world has a branching history of times.
Agents influence the future by acting, but the outcome also depends on other events.
Towards a theory of situated know-how . In 9th European Conference on Artificial Intelligence, August 1990. No context found. Towards a theory of situated know-how . In 9th European Conference on Artificial Intelligence.