Approximations on Normal Forms in Rough-Fuzzy Predicate Calculus.
B. N. V. SatishG. GanesanPublished in: RSKT (2015)
Keyphrases
- normal form
- predicate calculus
- rough fuzzy
- computational theory
- rough set theory
- neural network
- rough sets
- independent component analysis
- rule generation
- formal model
- first order logic
- database design
- fuzzy sets
- predicate logic
- functional dependencies
- theorem proving
- semantic network
- relational algebra
- granular computing
- relational databases
- rule extraction
- information content
- theorem prover
- database systems
- integrity constraints
- signal processing
- artificial intelligence
- co occurrence
- membership values
- knowledge discovery