An Abstract Mechanism for Handling Uncertainty

Fril is an AI language incorporating a powerful mechanism for handling uncertainty in knowledge-based applications. It is implemented as a compiler producing code for an abstract machine. In this paper, we outline the features of the abstract machine used to handle uncertainty and illustrate their operation by reference to a simple example.