On the Logic of Theory Change: Partial Meet Contraction and Revision Functions.
Carlos E. AlchourrónPeter GärdenforsDavid MakinsonPublished in: J. Symb. Log. (1985)
Keyphrases
- belief change
- belief revision
- formal theory
- horn logic
- probability theory
- computer algebra
- theoretical framework
- logical framework
- commonsense reasoning
- multi valued
- knowledge base
- set theory
- logic programming
- deductive reasoning
- theoretical basis
- default reasoning
- data sets
- classical logic
- causal reasoning
- nonmonotonic logics
- propositional logic
- modal logic
- boolean algebra
- formal logic