Validation of nonmonotonic knowledge-based systems.
Chin-Liang ChangRolf A. StachowitzJacqueline B. CombsPublished in: TAI (1990)
Keyphrases
- knowledge based systems
- expert systems
- knowledge acquisition
- knowledge representation
- knowledge base
- logic programming
- nonmonotonic reasoning
- inference engine
- artificial intelligence
- knowledge engineering
- production rules
- nonmonotonic logics
- formal methods
- rule based systems
- knowledge structures
- blackboard architecture
- multiple inheritance
- modal logic
- domain specific
- computational intelligence
- natural language
- reinforcement learning