Data bases: A logical perspective
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
The FRL Manual
Some Representational Issues in Default Reasoning
Some Representational Issues in Default Reasoning
Semantic integrity in a relational data base system
VLDB '75 Proceedings of the 1st International Conference on Very Large Data Bases
Representation of Incomplete Knowledge by Induction of Default Theories
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Query-Answering in Prioritized Default Logic
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
From the textual description of an accident to its causes
Artificial Intelligence
On the comparison of theories: preferring the most specific explanation
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Defeasible inheritance with doubt index and its axiomatic characterization
Artificial Intelligence
Sequential thresholds: context sensitive default extensions
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
Non-monotonic negation in probabilistic deductive databases
UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence
A logic of inductive implication or artificial intelligence meets philosophy of science II
AI'05 Proceedings of the 18th Canadian Society conference on Advances in Artificial Intelligence
International Journal of Approximate Reasoning
A Critical Examination Of Model Preference Defaults
Fundamenta Informaticae
Fundamenta Informaticae
| Hi-index | 0.00 |
Although most commonly occurring default rules are normal when viewed in isolation, they can interact with each other in ways that lead to the derivation of anomalous default assumptions*. In order to deal with such anomalies it is necessary to re-represent these rules, in some cases by Introducing non-normal defaults. The need to consider such potential interactions leads to a new concept of integrity, distinct from the conventional Integrity Issues of first order data bases. The non-normal default rules required to deal with default interactions all have a common pattern, Default theories conforming to this pattern are considerably more complex than normal default theories. For example, they need not have extensions, and they lack the property of semi-monotonicity.