Inference in expert systems based on complete multivalued logic.
Jirí IvánekJosef SvendaJan FerjencíkPublished in: Kybernetika (1989)
Keyphrases
- expert systems
- inference engine
- multi valued
- logical inference
- deductive reasoning
- backward chaining
- inference mechanism
- artificial intelligence
- abductive reasoning
- knowledge acquisition
- knowledge based systems
- bayesian networks
- knowledge representation
- inference process
- classical logic
- belief networks
- bayesian inference
- nonmonotonic inference
- fault diagnosis
- multi agent systems
- knowledge base
- automated reasoning
- modal logic
- logic programming
- predicate logic
- logic programs
- neural network
- database