Fril : Fuzzy and Evidential Reasoning in Artificial Intelligence

The knowledge engineer requires modelling paradigms and associative inference methods that can be used for software development of practical applications.

This text presents a theory of uncertainty relevant to knowledge engineering that is consistent with, and brings together, the theories of probability and fuzzy sets.

It extends the logic programming form of knowledge representation and method of inference to allow the inclusion of uncertainties such as probabilistic knowledge and fuzzy incompleteness.

It describes the application to general areas of knowledge engineering such as expert and decision-support systems, evidential and case-based reasoning, fuzzy control and fuzzy databases.

Fril is the artificial intelligence language which implements this theory of uncertainty in the style of logic programming.

It is presented here, with many examples and modules for the various applications.

Two Fril demonstration disks are provided free, one for the Macintosh computer and one for the IBM PC, so that readers can implement examples while following the text.