A Bounded Set Theory with Anti-Foundation Axiom and Inductive Definability.
Vladimir Yu. SazonovPublished in: CSL (1994)
Keyphrases
- set theory
- first order logic
- inference rules
- partial order
- propositional logic
- fuzzy set theory
- rough sets
- mathematical morphology
- algebraic geometry
- rough set theory
- fuzzy sets
- knowledge representation
- fixed point
- probability theory
- modal logic
- machine learning
- real world
- inductive inference
- feature extraction
- information retrieval