Towards a logical reconstruction of information retrieval theory

Fabrizio Sebastiani

Research output: Contribution to journalArticle

3 Citations (Scopus)

Abstract

Here we expand on a previous paper concerning the role of logic in information retrieval (IR) modelling. In that paper, among other things, we had pointed out how different ways of understanding the contribution of logic to IR have sprung from the (always unstated) adherence to either the total or the partial knowledge assumption. Here we make our analysis more precise by relating this dichotomy to the notion of vividness, as used in knowledge representation, and to another dichotomy that has had a profound influence in database theory, namely, the distinction between the proof-theoretic and the model-theoretic views of a database, spelled out by Reiter in his 'logical reconstruction of database theory'. We show that precisely the same distinction can be applied to logical models of IR developed so far. The strengths and weaknesses of the adoption of either approach in logical models of IR are discussed.

Original languageEnglish
Pages (from-to)411-428
Number of pages18
JournalCybernetics and Systems
Volume30
Issue number5
Publication statusPublished - Jul 1999
Externally publishedYes

Fingerprint

Information retrieval
Knowledge representation

ASJC Scopus subject areas

  • Human-Computer Interaction
  • Control and Systems Engineering

Cite this

Towards a logical reconstruction of information retrieval theory. / Sebastiani, Fabrizio.

In: Cybernetics and Systems, Vol. 30, No. 5, 07.1999, p. 411-428.

Research output: Contribution to journalArticle

Sebastiani, Fabrizio. / Towards a logical reconstruction of information retrieval theory. In: Cybernetics and Systems. 1999 ; Vol. 30, No. 5. pp. 411-428.
@article{87d06d17559f4c508d038681c69e6b70,
title = "Towards a logical reconstruction of information retrieval theory",
abstract = "Here we expand on a previous paper concerning the role of logic in information retrieval (IR) modelling. In that paper, among other things, we had pointed out how different ways of understanding the contribution of logic to IR have sprung from the (always unstated) adherence to either the total or the partial knowledge assumption. Here we make our analysis more precise by relating this dichotomy to the notion of vividness, as used in knowledge representation, and to another dichotomy that has had a profound influence in database theory, namely, the distinction between the proof-theoretic and the model-theoretic views of a database, spelled out by Reiter in his 'logical reconstruction of database theory'. We show that precisely the same distinction can be applied to logical models of IR developed so far. The strengths and weaknesses of the adoption of either approach in logical models of IR are discussed.",
author = "Fabrizio Sebastiani",
year = "1999",
month = "7",
language = "English",
volume = "30",
pages = "411--428",
journal = "Cybernetics and Systems",
issn = "0196-9722",
publisher = "Taylor and Francis Ltd.",
number = "5",

}

TY - JOUR

T1 - Towards a logical reconstruction of information retrieval theory

AU - Sebastiani, Fabrizio

PY - 1999/7

Y1 - 1999/7

N2 - Here we expand on a previous paper concerning the role of logic in information retrieval (IR) modelling. In that paper, among other things, we had pointed out how different ways of understanding the contribution of logic to IR have sprung from the (always unstated) adherence to either the total or the partial knowledge assumption. Here we make our analysis more precise by relating this dichotomy to the notion of vividness, as used in knowledge representation, and to another dichotomy that has had a profound influence in database theory, namely, the distinction between the proof-theoretic and the model-theoretic views of a database, spelled out by Reiter in his 'logical reconstruction of database theory'. We show that precisely the same distinction can be applied to logical models of IR developed so far. The strengths and weaknesses of the adoption of either approach in logical models of IR are discussed.

AB - Here we expand on a previous paper concerning the role of logic in information retrieval (IR) modelling. In that paper, among other things, we had pointed out how different ways of understanding the contribution of logic to IR have sprung from the (always unstated) adherence to either the total or the partial knowledge assumption. Here we make our analysis more precise by relating this dichotomy to the notion of vividness, as used in knowledge representation, and to another dichotomy that has had a profound influence in database theory, namely, the distinction between the proof-theoretic and the model-theoretic views of a database, spelled out by Reiter in his 'logical reconstruction of database theory'. We show that precisely the same distinction can be applied to logical models of IR developed so far. The strengths and weaknesses of the adoption of either approach in logical models of IR are discussed.

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

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

M3 - Article

AN - SCOPUS:0032679869

VL - 30

SP - 411

EP - 428

JO - Cybernetics and Systems

JF - Cybernetics and Systems

SN - 0196-9722

IS - 5

ER -