A hybrid knowledge representation as a basis of requirement specification and reasoning.
Jeffrey J. P. TsaiThomas J. WeigertHung-Chin JangPublished in: TAI (1990)
Keyphrases
- high level
- knowledge base
- reasoning process
- neural network
- genetic algorithm
- decision making
- reasoning systems
- automated reasoning
- qualitative reasoning
- model based reasoning
- databases
- qualitative simulation
- consistency checking
- knowledge representation and reasoning
- specification language
- graphical representation
- meta level
- probabilistic reasoning
- model based diagnosis
- user defined
- starting point
- multi agent systems
- learning algorithm