Fuzzy, probabilistic and evidential reasoning in Fril
J.F. Baldwin · 1993
The form, inference method and theory for the rules in the AI programming language Fril are discussed. The extended and evidential logic rules are additional to previous forms and allow for many new types of applications involving causal nets and case-based reasoning. Semantic unification plays an important part in the inference process, which is also discussed.>