Automated fuzzy and probabilistic inference (Q1083872)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Automated fuzzy and probabilistic inference |
scientific article; zbMATH DE number 3978438
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automated fuzzy and probabilistic inference |
scientific article; zbMATH DE number 3978438 |
Statements
Automated fuzzy and probabilistic inference (English)
0 references
1986
0 references
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.
0 references
uncertainty
0 references
recursive functional equations
0 references
knowledge base
0 references
expert systems
0 references
relational algebra
0 references
Prolog-resolution
0 references
Fuzzy Relational Inferene Language
0 references
probabilistic inference
0 references
FRIL
0 references
transitive closures in graphs
0 references
