Propositional logic based on the dynamics of disbelief.

David Pearce Wolfgang Rautenberg

Published in: The Logic of Theory Change (1989)

Keyphrases

propositional logic
dynamical systems
first order logic
dynamic model
initial conditions
multi valued
expert systems
knowledge representation
highly nonlinear
database
probabilistic logic
default logic
bayesian networks
image sequences
website
neural network
databases