A NONCLASSICAL LOGIC FOR INFORMATION-RETRIEVAL

被引：163

作者：

VANRIJSBERGEN, CJ ^{[1
]}

机构：

[1] NATL UNIV IRELAND UNIV COLL DUBLIN,DEPT COMP SCI,DUBLIN 4,IRELAND

来源：

COMPUTER JOURNAL | 1986年 / 29卷 / 06期

关键词：

COMPUTER METATHEORY - Formal Logic - Probability;

D O I：

10.1093/comjnl/29.6.481

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper formalizes a non-classical logic underlying information retrieval. It shows how a particular conditional logic is the 'right' logic to do Information Retrieval. Its relationship to existing retrieval mechanisms is investigated. The semantics of the logic are expressed in probability theory, and evaluated through a possible-world analysis, thus establishing an intensional logic. In doing so, we motivate a new principle, the logical uncertainty principle, which gives a measure of the uncertainty associated with an inference.

引用

页码：481 / 485

页数：5