Molecular Verification of Rule-Based Systems Based on DNA Computation.
Chung-Wei YehChih-Ping ChuPublished in: IEEE Trans. Knowl. Data Eng. (2008)
Keyphrases
- rule based systems
- dna computing
- rule base
- security systems
- knowledge representation
- knowledge based systems
- rule based expert systems
- sequence analysis
- expert systems
- formal models
- dna sequences
- procedural semantics
- backward chaining
- artificial neural networks
- image processing
- computer vision
- artificial intelligence