Translating SUMO-K to Higher-Order Set Theory.
Chad BrownAdam PeaseJosef UrbanPublished in: CoRR (2023)
Keyphrases
- set theory
- higher order
- partial order
- fuzzy set theory
- first order logic
- rough sets
- natural images
- mathematical morphology
- high order
- pairwise
- wordnet
- fuzzy sets
- rough set theory
- algebraic geometry
- markov random field
- fuzzy logic
- description logics
- feature extraction
- probability theory
- edge detection
- multiscale
- machine learning
- real time