Title :
Fuzzy, probabilistic and evidential reasoning in Fril
Author_Institution :
Dept. of Eng. Math., Bristol Univ., UK
Abstract :
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
Keywords :
artificial intelligence; case-based reasoning; fuzzy logic; high level languages; probabilistic logic; AI programming language; Fril; case-based reasoning; causal nets; evidential logic rules; evidential reasoning; extended logic rules; fuzzy reasoning; inference method; probabilistic reasoning; semantic unification; Artificial intelligence; Bismuth; Computer languages; Fellows; Fuzzy logic; Fuzzy reasoning; Fuzzy sets; Knowledge representation; Logic programming; Uncertainty;
Conference_Titel :
Fuzzy Systems, 1993., Second IEEE International Conference on
Conference_Location :
San Francisco, CA
Print_ISBN :
0-7803-0614-7
DOI :
10.1109/FUZZY.1993.327511
