A Method of Logic Deduction and Verification in KBS Using Positive Integers.
Eugenio Roanes-LozanoEugenio Roanes-MacíasLuis M. LaitaPublished in: CASC (2001)
Keyphrases
- verification method
- detection method
- high accuracy
- error rate
- classification accuracy
- pairwise
- computational cost
- data sets
- objective function
- knowledge base
- high precision
- positive and negative
- cost function
- dynamic programming
- preprocessing
- feature set
- input data
- knowledge based systems
- optimization algorithm
- clustering method
- neural network