Showing papers by "Peter Bruza published in 1991"

The modelling and retrieval of documents using index expressions

Abstract: In this paper we introduce Index Expressions as a means for modelling document content. From an index expression the the Power Index Expression can be derived, which is a powerful instrument for information retrieval. We describe the characterization of documents in the style of formal logic. The content of a document is then modelled by a set of axioms, of which the document is a model. Relating a document to a query is done by proving the query from the axioms of that document. We introduce three rules of inference. If such a proof is not possible, the relevance of the document for the query is derived by plausible deduction. We introduce two inference rules for plausible deduction.

A Transaction Model for Hypertext

Abstract: This paper presents a specification of Hypertext systems on several levels of abstraction, and describes translations between these different levels. The Hypertext system will be organised according to a stratified architecture, which is a generalisation of the so-called Two Level Architecture.