Constructive default logic and the control of defeasible reasoning
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
General patterns in nonmonotonic reasoning
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Reasoning about priorities in default logic
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Introduction to Default Logic
Nonmonotonic Logic: Context-Dependent Reasoning
Nonmonotonic Logic: Context-Dependent Reasoning
Representation theory for default logic
Annals of Mathematics and Artificial Intelligence
The Acquisition of a Shared Task Model
EKAW '96 Proceedings of the 9th European Knowledge Acquisition Workshop on Advances in Knowledge Acquisition
Nonmonotonic Reasoning with Multiple Belief Sets
FAPR '96 Proceedings of the International Conference on Formal and Applied Practical Reasoning
Adding Priorities and Specificity to Default Logic
JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
Infinitary Default Logic for Specification of Nonmonotonic Reasoning
JELIA '96 Proceedings of the European Workshop on Logics in Artificial Intelligence
Hi-index | 0.00 |
In this paper logical techniques developed to formalize the analysis of multiinterpretable information, in particular belief set operators and selection operators, are applied to an ecological domain. A knowledge-based decision support system i s described that determines the abiotic (chemical and physical) characteristics of a site on the basis of samples of plant species that are observed. The logical foundation of this system is described in terms of a belief set operator and a selection operator. Moreover, it is shown how the belief set operator that corresponds to the system can be represented by a normal default theory.