## Formalizing elaboration tolerance |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Previous Work on Elaboration Tolerance | 10 |

General Principles of Elaboration Tolerance | 24 |

Additive Elaboration Tolerance | 49 |

Copyright | |

22 other sections not shown

### Common terms and phrases

Ab(n Ab(x Abm2 action addition of formulas additive elaboration tolerance advice taker AGM postulates Artificial Intelligence assert assume axiomatic formal system axioms Bayesian network belief revision belief set Bird(x cannibals problem Chapter choice function Ci-theory circumscription closed world assumption coherence consequence relation construction database defined definition elab Elab+(Ci epistemic entrenchment example extended axiomatic formal f(Mod(T finite first-order logic frame problem framework Free Ab Lemma full addition full retraction hard facts hard truths Hence holds i,Ab inference Intuitively ip+(a labels language Lifschitz logic program McCarthy minimal missionaries and cannibals Mod(a monotonic NETtalk Param possible worlds preferred models preferred worlds Proof properties Proposition relational database represent representation require Retraction and Addition retraction and full Section Semantic Web semantics sentences set of preferred Si,Ab soft facts statements subset symbols syntactic syntax system with choice Theorem theory update