Artificial Intelligence
Theory of linear and integer programming
Theory of linear and integer programming
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in expert systems: theory and algorithms
Probabilistic reasoning in expert systems: theory and algorithms
A note on the inevitability of maximum entropy
International Journal of Approximate Reasoning
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
An analysis of first-order logics of probability
Artificial Intelligence
Handbook of theoretical computer science (vol. B)
What does a conditional knowledge base entail?
Artificial Intelligence
Probabilistic logic programming
Information and Computation
Probabilistic Horn abduction and Bayesian networks
Artificial Intelligence
Qualitative reasoning with imprecise probabilities
Journal of Intelligent Information Systems - Special issue: fuzzy logic and uncertainty management in information systems
Anytime deduction for probabilistic logic
Artificial Intelligence
Decision Support Systems - Special issue on logic modeling
Selected papers of international conference on Fifth generation computer systems 92
Identifying the Minimal Transversals of a Hypergraph and Related Problems
SIAM Journal on Computing
The uncertain reasoner's companion: a mathematical perspective
The uncertain reasoner's companion: a mathematical perspective
Qualitative probabilities for default reasoning, belief revision, and causal modeling
Artificial Intelligence
From statistical knowledge bases to degrees of belief
Artificial Intelligence
Representation and extraction of information by probabilistic logic
Information Systems
Answering queries from context-sensitive probabilistic knowledge bases
Selected papers from the international workshop on Uncertainty in databases and deductive systems
CIKM '97 Proceedings of the sixth international conference on Information and knowledge management
Non-standard theories of uncertainty of plausible reasoning
Principles of knowledge representation
Characterizing the principle of minimum cross-entropy within a conditional-logical framework
Artificial Intelligence
On the complexity of inference about probabilistic relational models
Artificial Intelligence
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)
Korrektes Schliessen Bei Unvollstaendiger Information: Anwendung DES Prinzips Der Maximalen Entropie in Einem Probabilistischen Expertensystem
Introduction to Bayesian Networks
Introduction to Bayesian Networks
The Possibilistic Handling of Irrelevance in Exception-Tolerant Reasoning
Annals of Mathematics and Artificial Intelligence
Probabilistic Default Reasoning with Conditional Constraints
Annals of Mathematics and Artificial Intelligence
Semantics, Consistency, and Query Processing of Empirical Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
A Logically Sound Method for Uncertain Reasoning with Quantified Conditionals
ECSQARU/FAPR '97 Proceedings of the First International Joint Conference on Qualitative and Quantitative Practical Reasoning
Probabilistic Logic Programming under Inheritance with Overriding
UAI '01 Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence
Credal Networks under Maximum Entropy
UAI '00 Proceedings of the 16th Conference on Uncertainty in Artificial Intelligence
An Investigation of the Laws of Thought
An Investigation of the Laws of Thought
A Mathematical Theory of Communication
A Mathematical Theory of Communication
Probabilistic deduction with conditional constraints over basic events
Journal of Artificial Intelligence Research
Models and algorithms for probabilistic and Bayesian logic
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Conditionals in nonmonotonic reasoning and belief revision: considering conditionals as agents
Conditionals in nonmonotonic reasoning and belief revision: considering conditionals as agents
Hybrid probabilistic programs: algorithms and complexity
UAI'99 Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
Object-oriented Bayesian networks
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
Network fragments: representing knowledge for constructing probabilistic models
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
Coherent knowledge processing at maximum entropy by spirit
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Weak nonmonotonic probabilistic logics
Artificial Intelligence
International Journal of Approximate Reasoning
Probabilistic description logic programs
International Journal of Approximate Reasoning
Probabilistic description logic programs under inheritance with overriding for the Semantic Web
International Journal of Approximate Reasoning
On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
Annals of Mathematics and Artificial Intelligence
Weak nonmonotonic probabilistic logics
Artificial Intelligence
A ligand predication tool based on modeling and reasoning with imprecise probabilistic knowledge
Computer Methods and Programs in Biomedicine
Cost-based query answering in action probabilistic logic programs
SUM'10 Proceedings of the 4th international conference on Scalable uncertainty management
Relational probabilistic conditional reasoning at maximum entropy
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Adaptive dialogue strategy selection through imprecise probabilistic query answering
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Annotated Probabilistic Temporal Logic: Approximate Fixpoint Implementation
ACM Transactions on Computational Logic (TOCL)
Possibilistic semantics for logic programs with ordered disjunction
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
On lifted inference for a relational probabilistic conditional logic with maximum entropy semantics
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Imprecise probabilistic query answering using measures of ignorance and degree of satisfaction
Annals of Mathematics and Artificial Intelligence
Probabilistic Belief Contraction
Minds and Machines
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
An approach to learning relational probabilistic FO-PCL knowledge bases
SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
Using equivalences of worlds for aggregation semantics of relational conditionals
KI'12 Proceedings of the 35th Annual German conference on Advances in Artificial Intelligence
Transactions on Large-Scale Data- and Knowledge-Centered Systems VI
Inconsistency measures for probabilistic logics
Artificial Intelligence
Using Generalized Annotated Programs to Solve Social Network Diffusion Optimization Problems
ACM Transactions on Computational Logic (TOCL)
Parallel Abductive Query Answering in Probabilistic Logic Programs
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |
This paper is on the combination of two powerful approaches to uncertain reasoning: logic programming in a probabilistic setting, on the one hand, and the information-theoretical principle of maximum entropy, on the other hand. More precisely, we present two approaches to probabilistic logic programming under maximum entropy. The first one is based on the usual notion of entailment under maximum entropy, and is defined for the very general case of probabilistic logic programs over Boolean events. The second one is based on a new notion of entailment under maximum entropy, where the principle of maximum entropy is coupled with the closed world assumption (CWA) from classical logic programming. It is only defined for the more restricted case of probabilistic logic programs over conjunctive events. We then analyze the nonmonotonic behavior of both approaches along benchmark examples and along general properties for default reasoning from conditional knowledge bases. It turns out that both approaches have very nice nonmonotonic features. In particular, they realize some inheritance of probabilistic knowledge along subclass relationships, without suffering from the problem of inheritance blocking and from the drowning problem. They both also satisfy the property of rational monotonicity and several irrelevance properties. We finally present algorithms for both approaches, which are based on generalizations of recent techniques for probabilistic logic programming under logical entailment. The algorithm for the first approach still produces quite large weighted entrophy maximization problems, while the one for the second approach generates optimization problems of the same size as the ones produced in probabilistic logic programming under logical entailment.