Enumerating Tarski fixed points on lattices of binary relations.
Julian MüllerPublished in: CoRR (2023)
Keyphrases
- fixed point
- binary relations
- concept lattice
- formal concept analysis
- inference rules
- transitive closure
- sufficient conditions
- graph theoretic
- approximate value iteration
- semantic network
- knowledge discovery
- dynamical systems
- rough sets
- belief propagation
- rough set theory
- expressive power
- preference relations
- desirable properties
- directed acyclic graph
- decision rules
- association rule mining
- free energy
- linear logic
- knowledge representation