On prediction in theorist

摘要

Theorist is a well-known framework and system for nonmonotonic reasoning which provides mechanisms for dealing with both explanations for observations and skeptical prediction. Its current implementation, developed by David Poole and co-workers, uses an algorithm for prediction which holds for a restricted part of Theorist. In more general cases, the system produces incorrect results in the case of prediction.