| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Fuzzy.Relations.RelationComposition
Description
This module contains various compositions of binary LRelations.
we provide natural language description of meaning of each type of composition
on simple example with two relations R (x , y) - patient x has symptom y
and S (y, z) - y is a symptom of z.
Synopsis
- circlet :: (Eq a, ResiduatedLattice l) => LRelation a l -> LRelation a l -> LRelation a l
- subproduct :: (Eq a, ResiduatedLattice l) => LRelation a l -> LRelation a l -> LRelation a l
- superproduct :: (Eq a, ResiduatedLattice l) => LRelation a l -> LRelation a l -> LRelation a l
- square :: (Eq a, ResiduatedLattice l) => LRelation a l -> LRelation a l -> LRelation a l
Documentation
circlet :: (Eq a, ResiduatedLattice l) => LRelation a l -> LRelation a l -> LRelation a l Source #
R circlet S (x, z) - Truth degree to which there is symptom y,
such that patient x has symptom y and y is a symptom of disease z
subproduct :: (Eq a, ResiduatedLattice l) => LRelation a l -> LRelation a l -> LRelation a l Source #
R subproduct S (x, z) - truth degree to which it is true that
if patient x has symptom y than y is symptom of z
superproduct :: (Eq a, ResiduatedLattice l) => LRelation a l -> LRelation a l -> LRelation a l Source #
R superproduct S (x, z) - truth degree to which it is true that
patient x has all symptoms of z