Ebook: Conditionals, Information, and Inference: International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers
- Genre: Education // International Conferences and Symposiums
- Tags: Artificial Intelligence (incl. Robotics), Mathematical Logic and Formal Languages
- Series: Lecture Notes in Computer Science 3301 : Lecture Notes in Artificial Intelligence
- Year: 2005
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- pdf
Conditionals are fascinating and versatile objects of knowledge representation. On the one hand, they may express rules in a very general sense, representing, for example, plausible relationships, physical laws, and social norms. On the other hand, as default rules or general implications, they constitute a basic tool for reasoning, even in the presence of uncertainty. In this sense, conditionals are intimately connected both to information and inference. Due to their non-Boolean nature, however, conditionals are not easily dealt with. They are not simply true or false — rather, a conditional “if A then B” provides a context, A, for B to be plausible (or true) and must not be confused with “A entails B” or with the material implication “not A or B.” This ill- trates how conditionals represent information, understood in its strict sense as reduction of uncertainty. To learn that, in the context A, the proposition B is plausible, may reduce uncertainty about B and hence is information. The ab- ity to predict such conditioned propositions is knowledge and as such (earlier) acquired information. The ?rst work on conditional objects dates back to Boole in the 19th c- tury, and the interest in conditionals was revived in the second half of the 20th century, when the emerging Arti?cial Intelligence made claims for appropriate formaltoolstohandle“generalizedrules.”Sincethen,conditionalshavebeenthe topic of countless publications, each emphasizing their relevance for knowledge representation, plausible reasoning, nonmonotonic inference, and belief revision.
This book constitutes the thoroughly refereed postproceedings of the International Workshop on Conditionals, Information, and Inference, WCII 2002, held in Hagen, Germany in May 2002.
The 9 revised full papers presented together with 3 invited papers by leading researchers in the area were carefully selected during iterated rounds of reviewing and improvement. The papers address all current issues of research on conditionals, ranging from foundational, theoretical, and methodological aspects to applications in various contexts of knowledge representation.