On the relationship between fixed points and iteration in admissible set theory without foundation.
Dieter ProbstPublished in: Arch. Math. Log. (2005)
Keyphrases
- fixed point
- set theory
- partial order
- first order logic
- fuzzy set theory
- sufficient conditions
- mathematical morphology
- rough sets
- approximate value iteration
- fuzzy sets
- rough set theory
- state space
- linear logic
- free energy
- dynamical systems
- belief propagation
- probability theory
- temporal difference learning
- fuzzy logic
- objective function
- binary images
- graph cuts
- description logics
- asymptotic properties