Total knowledge and partial knowledge in logical models of information retrieval

Fabrizio Sebastiani

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

We here 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 which has had a profound influence in DB 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
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
Pages133-143
Number of pages11
Volume1609
ISBN (Print)354065965X, 9783540659655
DOIs
Publication statusPublished - 1999
Externally publishedYes
Event11th International Symposium on Methodologies for Intelligent Systems, ISMIS 1999 - Warsaw, Poland
Duration: 8 Jun 199911 Jun 1999

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1609
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other11th International Symposium on Methodologies for Intelligent Systems, ISMIS 1999
CountryPoland
CityWarsaw
Period8/6/9911/6/99

Fingerprint

Information retrieval
Information Retrieval
Partial
Dichotomy
Logic
Knowledge representation
Knowledge Representation
Model
Thing
Expand
Knowledge
Modeling

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Sebastiani, F. (1999). Total knowledge and partial knowledge in logical models of information retrieval. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1609, pp. 133-143). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1609). Springer Verlag. https://doi.org/10.1007/BFb0095098

Total knowledge and partial knowledge in logical models of information retrieval. / Sebastiani, Fabrizio.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 1609 Springer Verlag, 1999. p. 133-143 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1609).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Sebastiani, F 1999, Total knowledge and partial knowledge in logical models of information retrieval. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 1609, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1609, Springer Verlag, pp. 133-143, 11th International Symposium on Methodologies for Intelligent Systems, ISMIS 1999, Warsaw, Poland, 8/6/99. https://doi.org/10.1007/BFb0095098
Sebastiani F. Total knowledge and partial knowledge in logical models of information retrieval. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 1609. Springer Verlag. 1999. p. 133-143. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/BFb0095098
Sebastiani, Fabrizio. / Total knowledge and partial knowledge in logical models of information retrieval. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 1609 Springer Verlag, 1999. pp. 133-143 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{88901d4ecf3941bc892562f2ebdd6698,
title = "Total knowledge and partial knowledge in logical models of information retrieval",
abstract = "We here 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 which has had a profound influence in DB 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",
doi = "10.1007/BFb0095098",
language = "English",
isbn = "354065965X",
volume = "1609",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "133--143",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

T1 - Total knowledge and partial knowledge in logical models of information retrieval

AU - Sebastiani, Fabrizio

PY - 1999

Y1 - 1999

N2 - We here 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 which has had a profound influence in DB 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 - We here 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 which has had a profound influence in DB 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=84957715003&partnerID=8YFLogxK

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

U2 - 10.1007/BFb0095098

DO - 10.1007/BFb0095098

M3 - Conference contribution

SN - 354065965X

SN - 9783540659655

VL - 1609

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 133

EP - 143

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

PB - Springer Verlag

ER -