Nonmonotonic reasoning: logical foundations of common sense
Nonmonotonic reasoning: logical foundations of common sense
Propositional knowledge base revision and minimal change
Artificial Intelligence
Unifying default reasoning and belief revision in a modal framework
Artificial Intelligence
On the relation between the coherence and foundations theories of belief revision
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Computational intelligence: a logical approach
Computational intelligence: a logical approach
A Sphere World Semantics for Default Reasoning
LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
A Framework for Reasoning about Requirements Evolution
PRICAI '96 Proceedings of the 4th Pacific Rim International Conference on Artificial Intelligence: Topics in Artificial Intelligence
Relations between the logic of theory change and nonmonotonic logic
Proceedings of the Workshop on The Logic of Theory Change
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
We examine the representations of epistemic states and their revision processes (RP) through default theories (DTs). Using a sphere-based semantics for DTs we characterize a RP as a sequence of consistent expansions without using contractions. We show that DTs provide an unifying framework for revision in both semantical and syntactical-based approaches as well as in coherent and foundation approaches. Motivated by Nebel's work, we propose to extend the use of default theories in two directions: (i) using supernormal default theories to represent semantical classified revision processes; (ii) using general default theories and some variants of Reiter's default logics to represent foundation classified revision processes. We define revision operators, which can be viewed as a revision on the epistemic states, represented by a DT T, by a sentence α Basically, they are defined via some operations on the class of the extensions of a default theory T' obtained from T and α.