A logical framework for default reasoning
Artificial Intelligence
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
General theory of cumulative inference
Proceedings of the 2nd international workshop on Non-monotonic reasoning
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Theoretical foundations for non-monotonic reasoning in expert systems
Logics and models of concurrent systems
Nonmonotonic reasoning: logical foundations of common sense
Nonmonotonic reasoning: logical foundations of common sense
Constructive default logic and the control of defeasible reasoning
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Reasoning with parsimonious and moderately grounded expansions
Fundamenta Informaticae - Special issue on modal logics in knowledge representation
General patterns in nonmonotonic reasoning
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Introduction to Default Logic
Representation theory for default logic
Annals of Mathematics and Artificial Intelligence
Nonmonotonic Reasoning with Multiple Belief Sets
FAPR '96 Proceedings of the International Conference on Formal and Applied Practical Reasoning
Specification of Nonmonotonic Reasonong
FAPR '96 Proceedings of the International Conference on Formal and Applied Practical Reasoning
Temporal Theories of Reasoning
JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
Adding Priorities and Specificity to Default Logic
JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
Compactness Properties of Nonmonotonic Inference Operations
JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
A Temporal Model Theory for Default Logic
ECSQARU '93 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Development of an Ecological Decision Support System
IEA/AIE '98 Proceedings of the 11th International Conference on Industrial and Engineering Applications of Artificial In telligence and Expert Systems: Tasks and Methods in Applied Artificial Intelligence
Infinitary Default Logic for Specification of Nonmonotonic Reasoning
JELIA '96 Proceedings of the European Workshop on Logics in Artificial Intelligence
Nonmonotonic Belief State Frames and Reasoning Frames (extended abstract)
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Methods for model-based reasoning within agent-based Ambient Intelligence applications
Knowledge-Based Systems
Hi-index | 0.00 |
In complex reasoning tasks it is often the case that there is no single, correct set of conclusions given some initial information. Instead, there may be several such conclusion sets, which we will call belief sets. In the present paper we introduce nonmonotonic belief set operators and selection operators to formalize and to analyze structural aspects of reasoning with multiple belief sets. We define and investigate formal properties of belief set operators as absorption, congruence, supradeductivity and weak belief monotony. Furthermore, it is shown that for each belief set operator satisfying strong belief cumulativity there exists a largest monotonic logic underlying it, thus generalizing a result for nonmonotonic inference operations. Finally, we study abstract properties of selection operators connected to belief set operators, which are used to choose some of the possible belief sets.