Fril — a Support Logic Programming Environment

The preceding chapters have described various forms of knowledge representation within soft computing and showed how some of these forms are formally related; for example, how fuzzy sets are formally related probabilistics representations such as mass assignments and probability distributions. The attention in this chapter shifts to a programming environment that enables soft computing — FRIL (Fuzzy Relational Inference Language) [Baldwin, Martin and Pilsworth 1988]. Fril is an efficient general logic programming language with special structures to handle uncertainty and imprecision. Mass assignment theory, fuzzy set theory, support logic (a form of interval based probabilistic reasoning), and related theories of uncertainty and imprecision from the basis of knowledge representation and reasoning fo the Fril support logic programming environment.