Logic for Representing and Implementing Knowledge about System Behaviour.
David R. GilbertChristopher J. HoggerPublished in: Advanced Topics in Artificial Intelligence (1992)
Keyphrases
- domain knowledge
- knowledge base
- knowledge representation
- deductive reasoning
- knowledge acquisition
- expert systems
- neural network
- reasoning engine
- information retrieval
- prior knowledge
- case study
- knowledge management
- artificial intelligence
- logic programming
- automated reasoning
- modal operators
- logical rules
- databases
- dynamic epistemic logic