A Logically Sound Method for Uncertain Reasoning With Quantified Conditionals (1997)
| Venue: | IN PROCEEDINGS ECSQARU / FAPR-97, LNAI 1244 |
| Citations: | 4 - 1 self |
BibTeX
@INPROCEEDINGS{Kern-Isberner97alogically,
author = {Gabriele Kern-Isberner},
title = {A Logically Sound Method for Uncertain Reasoning With Quantified Conditionals},
booktitle = {IN PROCEEDINGS ECSQARU / FAPR-97, LNAI 1244},
year = {1997},
pages = {365--379},
publisher = {Springer}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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.
