Artificial Intelligence
Journal of Complexity
A logic for reasoning about probabilities
Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
What does a conditional knowledge base entail?
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Probabilistic semantics for nonmonotonic reasoning: a survey
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Constraint propagation with imprecise conditional probabilities
Proceedings of the seventh conference (1991) on Uncertainty in artificial intelligence
A modification to evidential probability
Proceedings of the seventh conference (1991) on Uncertainty in artificial intelligence
A catalog of complexity classes
Handbook of theoretical computer science (vol. A)
On the consistency of defeasible databases
Artificial Intelligence
What does a conditional knowledge base entail?
Artificial Intelligence
Conditional entailment: bridging two approaches to default reasoning
Artificial Intelligence
Towards precision of probabilistic bounds propagation
UAI '92 Proceedings of the eighth conference on Uncertainty in Artificial Intelligence
Qualitative reasoning with imprecise probabilities
Journal of Intelligent Information Systems - Special issue: fuzzy logic and uncertainty management in information systems
Unifying default reasoning and belief revision in a modal framework
Artificial Intelligence
Anytime deduction for probabilistic logic
Artificial Intelligence
Qualitative probabilities for default reasoning, belief revision, and causal modeling
Artificial Intelligence
From statistical knowledge bases to degrees of belief
Artificial Intelligence
Nonmonotonic reasoning, conditional objects and possibility theory
Artificial Intelligence
Non-standard theories of uncertainty of plausible reasoning
Principles of knowledge representation
Probabilistic foundations of reasoning with conditionals
Principles of knowledge representation
Belief functions and default reasoning
Artificial Intelligence
Default reasoning from conditional knowledge bases: complexity and tractable cases
Artificial Intelligence
Probabilistic logic programming with conditional constraints
ACM Transactions on Computational Logic (TOCL)
Default Reasoning: Causal and Conditional Theories
Default Reasoning: Causal and Conditional Theories
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Probabilistic Reasoning Under Coherence in System P
Annals of Mathematics and Artificial Intelligence
Semantics, Consistency, and Query Processing of Empirical Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
A Maximum Entropy Approach to Nonmonotonic Reasoning
IEEE Transactions on Pattern Analysis and Machine Intelligence
Probabilistic Consistency of Conditional Probability Bounds
IPMU'94 Selected papers from the 5th International Conference on Processing and Management of Uncertainty in Knowledge-Based Systems, Advances in Intelligent Computing
Maximum Entropy and Variable Strength Defaults
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Probabilistic Logic Programming under Inheritance with Overriding
UAI '01 Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence
Probabilistic and Truth-Functional Many-Valued Logic Programming
ISMVL '99 Proceedings of the Twenty Ninth IEEE International Symposium on Multiple-Valued Logic
System Z: a natural ordering of defaults with tractable applications to nonmonotonic reasoning
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
An Investigation of the Laws of Thought
An Investigation of the Laws of Thought
Probabilistic deduction with conditional constraints over basic events
Journal of Artificial Intelligence Research
Probabilistic Reasoning Under Coherence in System P
Annals of Mathematics and Artificial Intelligence
P-SHOQ(D): A Probabilistic Extension of SHOQ(D) for Probabilistic Ontologies in the Semantic Web
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Combining probabilistic logic programming with the power of maximum entropy
Artificial Intelligence - Special issue on nonmonotonic reasoning
Probabilistic logic under coherence: complexity and algorithms
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Weak nonmonotonic probabilistic logics
Artificial Intelligence
International Journal of Approximate Reasoning
Expressive probabilistic description logics
Artificial Intelligence
Probabilistic description logic programs under inheritance with overriding for the Semantic Web
International Journal of Approximate Reasoning
A logic with approximate conditional probabilities that can model default reasoning
International Journal of Approximate Reasoning
AIMSA '08 Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications
Tractable Reasoning with Bayesian Description Logics
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Managing uncertainty and vagueness in description logics for the Semantic Web
Web Semantics: Science, Services and Agents on the World Wide Web
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
A Tableau Algorithm for Possibilistic Description Logic $\mathcal{ALC}$
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Qualitative Possibilities and Necessities
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Uncertainty in the Semantic Web
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Weak nonmonotonic probabilistic logics
Artificial Intelligence
Uncertainty Reasoning for the Semantic Web
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Reasoning about hybrid probabilistic knowledge bases
PRICAI'06 Proceedings of the 9th Pacific Rim international conference on Artificial intelligence
A probabilistic logic with polynomial weight formulas
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Pronto: a non-monotonic probabilistic description logic reasoner
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Automatic ontology evolution in open and dynamic computing environments
ICCCI'10 Proceedings of the Second international conference on Computational collective intelligence: technologies and applications - Volume Part III
Combining description logics and Horn rules with uncertainty in ARTIGENCE
Knowledge-Based Systems
A logic with coherent conditional probabilities
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Generalizing inference rules in a coherence-based probabilistic default reasoning
International Journal of Approximate Reasoning
On real-valued evaluation of propositional formulas
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Probabilistic reasoning in DL-lite
PRICAI'12 Proceedings of the 12th Pacific Rim international conference on Trends in Artificial Intelligence
Inconsistency measures for probabilistic logics
Artificial Intelligence
International Journal of Approximate Reasoning
Hi-index | 0.00 |
We present an approach to reasoning from statistical and subjective knowledge, which is based on a combination of probabilistic reasoning from conditional constraints with approaches to default reasoning from conditional knowledge bases. More precisely, we introduce the notions of iz-, lexicographic, and conditional entailment for conditional constraints, which are probabilistic generalizations of Pearl's entailment in system iZ, Lehmann's lexicographic entailment, and Geffner's conditional entailment, respectively. We show that the new formalisms have nice properties. In particular, they show a similar behavior as reference-class reasoning in a number of uncontroversial examples. The new formalisms, however, also avoid many drawbacks of reference-class reasoning. More precisely, they can handle complex scenarios and even purely probabilistic subjective knowledge as input. Moreover, conclusions are drawn in a global way from all the available knowledge as a whole. We then show that the new formalisms also have nice general nonmonotonic properties. In detail, the new notions of iz-, lexicographic, and conditional entailment have similar properties as their classical counterparts. In particular, they all satisfy the rationality postulates proposed by Kraus, Lehmann, and Magidor, and they have some general irrelevance and direct inference properties. Moreover, the new notions of iz- and lexicographic entailment satisfy the property of rational monotonicity. Furthermore, the new notions of iz-, lexicographic, and conditional entailment are proper generalizations of both their classical counterparts and the classical notion of logical entailment for conditional constraints. Finally, we provide algorithms for reasoning under the new formalisms, and we analyze its computational complexity.