G. Kern-Isberner. A logically sound method for uncertain reasoning with quantified conditionals. In Proceedings First International Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR, pages 365-379, Berlin Heidelberg New York, 1997. Springer.


Conditionals play a central part in knowledge representation and reasoning. Describing certain relationships between antecedents and consequences by "if--then--sentences" their range of expressiveness includes commonsense knowledge as well as scientific statements. In this paper, we present the principles of maximum entropy resp. of minimum cross-entropy (ME-principles) as a logically sound and practicable method for representing and reasoning with quantified conditionals. First the meaning of these principles is made clear by sketching a characterization from a completely conditional-logical point of view. Then we apply the techniques presented to derive ME-deduction schemes and illustrate them by examples in the second part of this paper.

Also available: PS, BibTeX