# A Probabilistic Terminological Logic for Modelling Information Retrieval.

Fabrizio Sebastiani:
A Probabilistic Terminological Logic for Modelling Information Retrieval.
SIGIR 1994: 122-130@inproceedings{DBLP:conf/sigir/Sebastiani94,
author = {Fabrizio Sebastiani},
editor = {W. Bruce Croft and
C. J. van Rijsbergen},
title = {A Probabilistic Terminological Logic for Modelling Information
Retrieval},
booktitle = {Proceedings of the 17th Annual International ACM-SIGIR Conference
on Research and Development in Information Retrieval. Dublin,
Ireland, 3-6 July 1994 (Special Issue of the SIGIR Forum)},
publisher = {ACM/Springer},
year = {1994},
isbn = {3-540-19889-X},
pages = {122-130},
ee = {db/conf/sigir/Sebastiani94.html},
crossref = {DBLP:conf/sigir/94},
bibsource = {DBLP, http://dblp.uni-trier.de}
}

BibTeX
## Abstract

Some researchers have recently argued that the task of Information Retrieval (IR) may successfully be described by means of mathematical logic; accordingly, the relevance of a given document to a given information need should be assessed by checking the validity of the logical formula d -> n, where d is the representation of the document, n is the representation of the information need and "->" is the conditional connective of the logic in question.
In a recent paper we have proposed Terminological Logics (TLs) as suitable logics for modelling IR within the paradigm described above.
This proposal, however, while making a step towards adequately modelling IR in a logical way, does not account for the fact that the relevance of a document to an information need can only be assessed up to a limited degree of certainty.
In this work, we try to overcome this limitation by introducing a model of IR based on a Probabilistic TL, i.e. a logic allowing the expression of real-valued terms representing probability values and possibly involving expressions of a TL.
Two different types of probabilistic information, i.e. statistical information and information about degrees of belie~ can be accounted for in this logic.
The paper presents a formal syntax and a denotational (possible-worlds) semantics for this logic, and discusses, by means of a number of examples, its adequacy as a formal tool for describing IR.
*Copyright © 1994 by the ACM,
Inc., used by permission. Permission to make
digital or hard copies is granted provided that
copies are not made or distributed for profit or
direct commercial advantage, and that copies show
this notice on the first page or initial screen of
a display along with the full citation.*

CDROM Version: Load the CDROM "**Volume 2 Issue 3, SIGIR, DASFAA'97, OODBS'86**" and ...
DVD Version: Load **ACM SIGMOD Anthology DVD 1**" and ...
BibTeX
## Printed Edition

W. Bruce Croft, C. J. van Rijsbergen (Eds.):
Proceedings of the 17th Annual International ACM-SIGIR Conference on Research and Development in Information Retrieval. Dublin, Ireland, 3-6 July 1994 (Special Issue of the SIGIR Forum).
ACM/Springer 1994, ISBN 3-540-19889-X

Contents BibTeX
Citation page

BibTeX

**ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]**

ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org

DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:38:45 2009