Automated fuzzy and probabilistic inference
The author explains how his FRIL-system (Fuzzy Relational Inferene Language) can be used to perform probabilistic inference following a Prolog-style proof procedure. It is further illustrated how the second inference mechanism available in FRIL, following a relational algebraic approach, can be adapted to compute transitive closures in graphs.
scientific article; zbMATH DE number 3978438
scientific article