## Information Retrieval: Uncertainty and Logics: Uncertainty and Logics : Advanced Models for the Representation and Retrieval of InformationIn recent years, there have been several attempts to define a logic for information retrieval (IR). The aim was to provide a rich and uniform representation of information and its semantics with the goal of improving retrieval effectiveness. The basis of a logical model for IR is the assumption that queries and documents can be represented effectively by logical formulae. To retrieve a document, an IR system has to infer the formula representing the query from the formula representing the document. This logical interpretation of query and document emphasizes that relevance in IR is an inference process. The use of logic to build IR models enables one to obtain models that are more general than earlier well-known IR models. Indeed, some logical models are able to represent within a uniform framework various features of IR systems such as hypermedia links, multimedia data, and user's knowledge. Logic also provides a common approach to the integration of IR systems with logical database systems. Finally, logic makes it possible to reason about an IR model and its properties. This latter possibility is becoming increasingly more important since conventional evaluation methods, although good indicators of the effectiveness of IR systems, often give results which cannot be predicted, or for that matter satisfactorily explained. However, logic by itself cannot fully model IR. The success or the failure of the inference of the query formula from the document formula is not enough to model relevance in IR. It is necessary to take into account the uncertainty inherent in such an inference process. In 1986, Van Rijsbergen proposed the uncertainty logical principle to model relevance as an uncertain inference process. When proposing the principle, Van Rijsbergen was not specific about which logic and which uncertainty theory to use. As a consequence, various logics and uncertainty theories have been proposed and investigated. The choice of an appropriate logic and uncertainty mechanism has been a main research theme in logical IR modeling leading to a number of logical IR models over the years. Information Retrieval: Uncertainty and Logics contains a collection of exciting papers proposing, developing and implementing logical IR models. This book is appropriate for use as a text for a graduate-level course on Information Retrieval or Database Systems, and as a reference for researchers and practitioners in industry. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

V | 3 |

VI | 4 |

VII | 8 |

VIII | 9 |

IX | 11 |

X | 12 |

XII | 17 |

XIV | 19 |

LIII | 179 |

LIV | 180 |

LV | 182 |

LVI | 189 |

LVII | 190 |

LVIII | 194 |

LIX | 196 |

LX | 211 |

XV | 25 |

XVI | 31 |

XVII | 36 |

XVIII | 37 |

XIX | 39 |

XX | 40 |

XXI | 46 |

XXII | 49 |

XXIII | 53 |

XXIV | 66 |

XXV | 68 |

XXVI | 70 |

XXVII | 73 |

XXVIII | 77 |

XXIX | 79 |

XXX | 90 |

XXXI | 93 |

XXXII | 94 |

XXXIII | 95 |

XXXIV | 97 |

XXXVI | 100 |

XXXVII | 105 |

XXXVIII | 108 |

XXXIX | 111 |

XL | 125 |

XLI | 129 |

XLII | 131 |

XLIII | 138 |

XLIV | 139 |

XLV | 141 |

XLVI | 145 |

XLVII | 148 |

XLVIII | 151 |

XLIX | 154 |

L | 157 |

LI | 165 |

LII | 173 |

LXI | 216 |

LXII | 217 |

LXIII | 221 |

LXIV | 223 |

LXVI | 224 |

LXVII | 225 |

LXIX | 227 |

LXX | 230 |

LXXI | 234 |

LXXII | 236 |

LXXIII | 240 |

LXXIV | 242 |

LXXV | 243 |

LXXVI | 244 |

LXXVII | 247 |

LXXVIII | 248 |

LXXIX | 252 |

LXXX | 258 |

LXXXI | 263 |

LXXXII | 265 |

LXXXIII | 272 |

LXXXIV | 273 |

LXXXV | 275 |

LXXXVII | 281 |

LXXXVIII | 282 |

LXXXIX | 290 |

XC | 292 |

XCI | 293 |

XCII | 297 |

XCIII | 298 |

XCIV | 301 |

XCV | 302 |

XCVI | 307 |

XCVII | 309 |

XCVIII | 315 |

XCIX | 316 |

### Common terms and phrases

2-valued abductive abductive inference applied approach Artificial Intelligence assertions axioms Bruza channel theory chapter Chiaramella classical logic closure Computer Science concept conceptual graphs consider constraints counterfactual conditional Crestani database Datalogp defined definition denoted derivation system description logics descriptors documents and queries domain entropy evaluation example expressed fact flow of information formal formalised formula framework function fuzzy given Huibers hyperindex hypertext imaging index terms inference infons information content information need Information Retrieval interpretation Iog2 knowledge base Lalmas language logical model material implication means measure Meghini MIRLOG modal logic monotonic negative notion object operator possible worlds predicate preferential structure probabilistic logic probability proposed propositional query expansion query q reasoning refer relation relationship relevance feedback relevance judgements relevance logics representation represented retrieval model retrieval situation retrieval system Rijsbergen rules semantics sentences Situation Theory subset theoretical true uncertainty user's vector space model

### Popular passages

### References to this book

Information Modelling and Knowledge Bases XI Eiji Kawaguchi,Hannu Kangassalo No preview available - 2000 |