Notes on change and nonmonotony
Yves Moinard · International Journal of Intelligent Systems · 1994
Theories of change and nonmonotonic formalisms originated from the same knowledge representation problems. the differences in their respective aims and methods are illustrated by a comparison between the possible model approach and preferential entailment. Then, one technical way of using a nonmonotonic formalism in order to achieve cognitive change is shortly described, and the same for the other way around. the more philosophically oriented two way passage by Gärdenfors and Makinson is then examined at length, including the newest versions providing a general translation through epistemic entrenchment. Some kind of “concretization” of these theoretical considerations are then described. Finally, thanks to Gärdenfors and Makinson's passage, we translate some important criteria for belief revision into nonmonotony. This general comparison provides as many insights on the nonmonotonic side as on the cognitive change side. © 1994 John Wiley & Sons, Inc.