Revisions of Knowledge Systems Using Epistemic Entrenchment.
Peter GärdenforsDavid MakinsonPublished in: TARK (1988)
Keyphrases
- expert systems
- domain knowledge
- knowledge base
- data mining techniques
- intelligent systems
- knowledge extraction
- databases
- real time
- information systems
- knowledge management
- building blocks
- learning systems
- enormous amounts
- global knowledge
- epistemic logic
- knowledge sources
- model checking
- knowledge acquisition
- management system
- neural network