Modal Change Logic (MCL): Specifying the Reasoning of Knowledge-Based Systems.
Dieter FenselRix GroenboomGerard R. Renardel de LavalettePublished in: Data Knowl. Eng. (1998)
Keyphrases
- knowledge based systems
- knowledge base
- modal logic
- knowledge representation
- automated reasoning
- production rules
- inference engine
- expert systems
- inconsistent knowledge
- knowledge acquisition
- proof theory
- deductive reasoning
- logical framework
- rule based systems
- order of magnitude reasoning
- computational properties
- knowledge structures
- intuitionistic logic
- knowledge engineers
- knowledge engineering
- artificial intelligence
- nonmonotonic logics
- formal methods
- knowledge sources
- description logics
- blackboard architecture
- logic programming
- reasoning about actions
- knowledge representation scheme
- temporal logic
- intelligent systems
- temporal knowledge
- civil engineering
- natural language
- decision making
- soft computing