Reasoning with propositional knowledge based on fuzzy neural logic.
Wangming WuHoon heng TehBo YuanPublished in: Int. J. Intell. Syst. (1996)
Keyphrases
- fuzzy neural
- deductive reasoning
- probabilistic logic
- proof procedure
- sound and complete axiomatization
- truth maintenance systems
- automated reasoning
- multi valued
- proof theory
- theorem proving
- propositional logic
- fuzzy neural network
- logical framework
- knowledge representation
- intuitionistic logic
- order of magnitude reasoning
- computational properties
- predicate calculus
- knowledge base
- classical logic
- default logic
- autoepistemic logic
- probabilistic reasoning
- first order logic
- default reasoning
- expert systems
- logic programming
- horn clauses
- fuzzy inference system
- modal logic
- abductive reasoning
- input output
- belief revision
- reasoning tasks
- probability theory
- nonmonotonic reasoning
- neural network model