Connectionist Propositional Logic.

Daniel Kustrin Jim Austin

Published in: Emergent Neural Computational Architectures Based on Neuroscience (2001)

Keyphrases

propositional logic
belief revision
expert systems
first order logic
possibilistic logic
quantified boolean formulae
cognitive model
lattice theory
propositional satisfiability
davis putnam
belief change
proof procedure
satisfiability testing
knowledge base
theorem proving