Premium
Notes on change and nonmonotony
Author(s) -
Moinard Yves
Publication year - 1994
Publication title -
international journal of intelligent systems
Language(s) - English
Resource type - Book series
SCImago Journal Rank - 1.291
H-Index - 87
eISSN - 1098-111X
pISSN - 0884-8173
ISBN - 0-471-04062-2
DOI - 10.1002/int.4550090106
Subject(s) - rotation formalisms in three dimensions , belief revision , formalism (music) , computer science , logical consequence , non monotonic logic , cognition , knowledge representation and reasoning , artificial intelligence , translation (biology) , cognitive science , theoretical computer science , epistemology , mathematics , psychology , philosophy , chemistry , art , musical , biochemistry , geometry , neuroscience , messenger rna , visual arts , gene
Abstract 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.