Trends in . . . A critical review

On the role of logic in information retrieval

Fabrizio Sebastiani

Research output: Contribution to journalArticle

22 Citations (Scopus)

Abstract

The logical approach to information retrieval has recently been the object of active research. It is our contention that researchers have put a lot of effort in trying to address some difficult problems of IR within this framework, but little effort in checking that the resulting models satisfy those well-formedness criteria that, in the field of mathematical logic, are considered essential and conducive to effective modelling of a real-world phenomenon. The main motivation of this paper is not to propose a new logical model of IR, but to discuss some central issues in the application of logic to IR. The first issue we touch upon is the logical relationship we might want to enforce between formulae d, representing a document, and n, representing an information need; we analyse the different implications of models based on truth, validity or logical consequentiality. The relationship between this issue and the issue of partiality vs. totality of information is subsequently analysed, in the context of a broader discussion of the role of denotational semantics in IR modelling. Finally, the relationship between the paradoxes of material implication and the (in)adequacy of classical logic for IR modelling purposes is discussed.

Original languageEnglish
Pages (from-to)1-18
Number of pages18
JournalInformation Processing and Management
Volume34
Issue number1
Publication statusPublished - Jan 1998
Externally publishedYes

Fingerprint

Information retrieval
information retrieval
logic
trend
Formal logic
partiality
totality
Semantics
semantics
Logic
Modeling

ASJC Scopus subject areas

  • Computer Science Applications
  • Information Systems
  • Library and Information Sciences

Cite this

Trends in . . . A critical review : On the role of logic in information retrieval. / Sebastiani, Fabrizio.

In: Information Processing and Management, Vol. 34, No. 1, 01.1998, p. 1-18.

Research output: Contribution to journalArticle

@article{2d1e236fab1f4f458c506c2289f209f9,
title = "Trends in . . . A critical review: On the role of logic in information retrieval",
abstract = "The logical approach to information retrieval has recently been the object of active research. It is our contention that researchers have put a lot of effort in trying to address some difficult problems of IR within this framework, but little effort in checking that the resulting models satisfy those well-formedness criteria that, in the field of mathematical logic, are considered essential and conducive to effective modelling of a real-world phenomenon. The main motivation of this paper is not to propose a new logical model of IR, but to discuss some central issues in the application of logic to IR. The first issue we touch upon is the logical relationship we might want to enforce between formulae d, representing a document, and n, representing an information need; we analyse the different implications of models based on truth, validity or logical consequentiality. The relationship between this issue and the issue of partiality vs. totality of information is subsequently analysed, in the context of a broader discussion of the role of denotational semantics in IR modelling. Finally, the relationship between the paradoxes of material implication and the (in)adequacy of classical logic for IR modelling purposes is discussed.",
author = "Fabrizio Sebastiani",
year = "1998",
month = "1",
language = "English",
volume = "34",
pages = "1--18",
journal = "Information Processing and Management",
issn = "0306-4573",
publisher = "Elsevier Limited",
number = "1",

}

TY - JOUR

T1 - Trends in . . . A critical review

T2 - On the role of logic in information retrieval

AU - Sebastiani, Fabrizio

PY - 1998/1

Y1 - 1998/1

N2 - The logical approach to information retrieval has recently been the object of active research. It is our contention that researchers have put a lot of effort in trying to address some difficult problems of IR within this framework, but little effort in checking that the resulting models satisfy those well-formedness criteria that, in the field of mathematical logic, are considered essential and conducive to effective modelling of a real-world phenomenon. The main motivation of this paper is not to propose a new logical model of IR, but to discuss some central issues in the application of logic to IR. The first issue we touch upon is the logical relationship we might want to enforce between formulae d, representing a document, and n, representing an information need; we analyse the different implications of models based on truth, validity or logical consequentiality. The relationship between this issue and the issue of partiality vs. totality of information is subsequently analysed, in the context of a broader discussion of the role of denotational semantics in IR modelling. Finally, the relationship between the paradoxes of material implication and the (in)adequacy of classical logic for IR modelling purposes is discussed.

AB - The logical approach to information retrieval has recently been the object of active research. It is our contention that researchers have put a lot of effort in trying to address some difficult problems of IR within this framework, but little effort in checking that the resulting models satisfy those well-formedness criteria that, in the field of mathematical logic, are considered essential and conducive to effective modelling of a real-world phenomenon. The main motivation of this paper is not to propose a new logical model of IR, but to discuss some central issues in the application of logic to IR. The first issue we touch upon is the logical relationship we might want to enforce between formulae d, representing a document, and n, representing an information need; we analyse the different implications of models based on truth, validity or logical consequentiality. The relationship between this issue and the issue of partiality vs. totality of information is subsequently analysed, in the context of a broader discussion of the role of denotational semantics in IR modelling. Finally, the relationship between the paradoxes of material implication and the (in)adequacy of classical logic for IR modelling purposes is discussed.

UR - http://www.scopus.com/inward/record.url?scp=0031623127&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0031623127&partnerID=8YFLogxK

M3 - Article

VL - 34

SP - 1

EP - 18

JO - Information Processing and Management

JF - Information Processing and Management

SN - 0306-4573

IS - 1

ER -