Deduction from conditional knowledge.
Donald BamberI. R. GoodmanHung T. NguyenPublished in: Soft Comput. (2004)
Keyphrases
- knowledge management
- domain knowledge
- artificial intelligence
- knowledge extraction
- knowledge representation
- knowledge sharing
- knowledge base
- knowledge transfer
- theorem proving
- inference rules
- raw data
- design process
- deductive reasoning
- computer algebra
- knowledge sources
- domain ontology
- data mining
- higher level
- knowledge acquisition
- probability distribution
- case study
- genetic algorithm