An abstract mechanism for handling uncertainty

  • T. P. Martin
  • J. F. Baldwin
3. Fuzzy Sets
Part of the Lecture Notes in Computer Science book series (LNCS, volume 521)


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.


Support Logic Uncertainty Fril Implementation Logic Programming Fuzzy Probability 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Baldwin J.F. (1987) “Support Logic Programming”, in Fuzzy Sets — Theory and Applications (Jones A.I. et al, eds) Reidel, Dordrecht-Boston, 133–151.Google Scholar
  2. [2]
    Baldwin J.F, Martin T.P, Pilsworth B.W. (1988) FrilManual (2nd Edition) Fril Systems Ltd, Bristol ITeC, St.Annes, Bristol BS4 4AB, United Kingdom.Google Scholar
  3. [3]
    Martin T.P., Baldwin J.F. (1990) “The Fril Language and its Implementation”, ITRC Report, University of Bristol; to be publishedGoogle Scholar
  4. [4]
    Warren D.H.D. (1983) “An Abstract Prolog Instruction Set”, Tech.Note 903 SRI International.Google Scholar
  5. [5]
    Baldwin J.F. (1990) “Computational Models of Uncertainty Reasoning in Expert Systems and AI”, J.Comp.Math.Applic. 9 (1990), 105–119CrossRefGoogle Scholar
  6. [6]
    Martin T.P,Baldwin J.F. (1989) “Fuzzy Sets in Fril”, Fuzzy Systems & Signals, AMSE Monographs (Series A) 41–50Google Scholar
  7. [7]
    Baldwin J.F. (1990) “Combining Evidences for Evidential Reasoning”, Int.J.Intelligent Systems (to appear).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • T. P. Martin
    • 1
  • J. F. Baldwin
    • 1
  1. 1.A. I. Group, Advanced Computing Research CentreUniversity of BristolBristolUnited Kingdom

Personalised recommendations