Formative processes with applications to the decision problem in set theory: II. Powerset and singleton operators, finiteness predicate.
Domenico CantonePietro UrsinoPublished in: Inf. Comput. (2014)
Keyphrases
- decision problems
- set theory
- first order logic
- expressive power
- decision processes
- decision model
- fuzzy set theory
- influence diagrams
- partial order
- utility function
- optimal policy
- computational complexity
- rough set theory
- fuzzy sets
- mathematical morphology
- propositional logic
- np hard
- aggregate functions
- rough sets
- knowledge representation
- image analysis
- bayesian decision problems
- morphological operations
- data mining
- computational intelligence
- fuzzy logic
- dynamic programming
- special case
- image processing
- computer vision
- genetic algorithm