### 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 language | English |
---|---|

Title of host publication | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |

Publisher | Springer Verlag |

Pages | 133-143 |

Number of pages | 11 |

Volume | 1609 |

ISBN (Print) | 354065965X, 9783540659655 |

DOIs | |

Publication status | Published - 1999 |

Externally published | Yes |

Event | 11th International Symposium on Methodologies for Intelligent Systems, ISMIS 1999 - Warsaw, Poland Duration: 8 Jun 1999 → 11 Jun 1999 |

### Publication series

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

Volume | 1609 |

ISSN (Print) | 03029743 |

ISSN (Electronic) | 16113349 |

### Other

Other | 11th International Symposium on Methodologies for Intelligent Systems, ISMIS 1999 |
---|---|

Country | Poland |

City | Warsaw |

Period | 8/6/99 → 11/6/99 |

### Fingerprint

### ASJC Scopus subject areas

- Computer Science(all)
- Theoretical Computer Science

### Cite this

*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.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

*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

}

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 -