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.
KeywordsSupport Logic Uncertainty Fril Implementation Logic Programming Fuzzy Probability
Unable to display preview. Download preview PDF.
- 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
- 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
- Martin T.P., Baldwin J.F. (1990) “The Fril Language and its Implementation”, ITRC Report, University of Bristol; to be publishedGoogle Scholar
- Warren D.H.D. (1983) “An Abstract Prolog Instruction Set”, Tech.Note 903 SRI International.Google Scholar
- Martin T.P,Baldwin J.F. (1989) “Fuzzy Sets in Fril”, Fuzzy Systems & Signals, AMSE Monographs (Series A) 41–50Google Scholar
- Baldwin J.F. (1990) “Combining Evidences for Evidential Reasoning”, Int.J.Intelligent Systems (to appear).Google Scholar