Pattern-Based Reasoning System Using Self-incremental Neural Network for Propositional Logic.
Akihito SudoManabu TsuboyamaChenli ZhangAkihiro SatoOsamu HasegawaPublished in: ICONIP (1) (2007)
Keyphrases
- propositional logic
- neural network
- proof procedure
- horn logic
- multi context systems
- belief revision
- first order logic
- quantified boolean formulae
- lattice theory
- knowledge base
- valued logic
- possibilistic logic
- truth maintenance systems
- belief change
- propositional satisfiability
- probabilistic reasoning
- satisfiability testing
- reasoning tasks
- computational properties
- propositional formulas
- davis putnam
- automated reasoning
- minimal models
- reasoning engine
- theorem proving
- fuzzy logic
- search algorithm