An integrated approach for syllogistic reasoning and knowledge consistency level maintenance.
Hiroshi NarazakiI. Burhan TürksenPublished in: IEEE Trans. Syst. Man Cybern. (1994)
Keyphrases
- knowledge base
- knowledge representation
- domain knowledge
- higher level
- reasoning mechanisms
- reasoning process
- deductive reasoning
- diagnostic systems
- reasoning mechanism
- consistency checking
- production rules
- knowledge acquisition
- commonsense knowledge
- incomplete knowledge
- temporal knowledge
- model based reasoning
- background knowledge
- formal models
- general knowledge
- domain ontology
- semantic web
- reasoning processes
- knowledge based systems
- knowledge level
- knowledge sources
- logical rules
- inconsistent information
- cognitive maps
- knowledge management