Modal-Like Operators in Boolean Lattices, Galois Connections and Fixed Points.
Jouni JärvinenMichiro KondoJari KortelainenPublished in: Fundam. Informaticae (2007)
Keyphrases
- fixed point
- closure operator
- formal concept analysis
- closed sets
- modal logic
- initial conditions
- sufficient conditions
- temporal difference learning
- approximate value iteration
- linear logic
- stationary points
- concept lattice
- first order logic
- boolean expressions
- asymptotic properties
- free energy
- mining algorithm
- belief propagation
- upper bound
- pairwise
- lower bound