%0 Journal Article %1 Williams1995 %A Williams, Mary A. %D 1995 %K agm, iterative, kiwi %P 7 %T Iterated Theory Base Change: A Computational Model %X The A G M paradigm is a formal approach to ideal and rational i n f o r m a t i o n change From a practical perspective it suffers f r om two shortcomings, the first involves difficulties with respect to the finite representation of information, and the second involves the lack of support for the iteration of change operators In this paper we show that these practical problems can be solved in theoretically satisfying ways wholely w i t h i n the A G M paradigm We introduce a partial entrenchment ranking which serves as a canonical representation for a theory base and a well-ranked episterruc entrenchment, and we provide a computational model for adjusti ng p a r t i a l entrenchment rankings when they receive new information using a procedure based on the principle of minimal change The connectioni between the standard AGM theory change operators and the theory base change operators developed herein suggest that the proposed computational model for iterated theory base change exhibits desirable behaviour.

@article{Williams1995, abstract = {The A G M paradigm is a formal approach to ideal and rational i n f o r m a t i o n change From a practical perspective it suffers f r om two shortcomings, the first involves difficulties with respect to the finite representation of information, and the second involves the lack of support for the iteration of change operators In this paper we show that these practical problems can be solved in theoretically satisfying ways wholely w i t h i n the A G M paradigm We introduce a partial entrenchment ranking which serves as a canonical representation for a theory base and a well-ranked episterruc entrenchment, and we provide a computational model for adjusti ng p a r t i a l entrenchment rankings when they receive new information using a procedure based on the principle of minimal change The connectioni between the standard AGM theory change operators and the theory base change operators developed herein suggest that the proposed computational model for iterated theory base change exhibits desirable behaviour.}, added-at = {2008-11-14T13:33:38.000+0100}, author = {Williams, Mary A.}, biburl = {https://www.bibsonomy.org/bibtex/2ad5909b8896afc5a00f73a1aebd8f746/fraktalek}, citeulike-article-id = {3508935}, interhash = {08a2fd63b2bc813c7502ba98b504592a}, intrahash = {ad5909b8896afc5a00f73a1aebd8f746}, keywords = {agm, iterative, kiwi}, pages = 7, posted-at = {2008-11-13 14:14:02}, priority = {0}, timestamp = {2008-11-14T13:33:38.000+0100}, title = {Iterated Theory Base Change: A Computational Model}, year = 1995 }