Information storage and retrieval systems with incomplete information I

Article type: Research Article

Authors: Jaegermann, Michał

Affiliations: Nicholas Copernicus University, Toruń

Abstract: In the paper is developed a theory of information storage and retrieval systems which arise in situations when a whole possessed information amounts to a fact that a given document has some feature from properly chosen set. Such systems are described as suitable maps from descriptor algebras into sets of subsets of sets of documents. Since descriptor algebras turn out to be pseudo-Boolean algebras, hence an “inner logic” of our systems is intuitionistic. In the paper is given a construction of systems and are considered theirs properties. We will show also (in Part II) a formalized theory of such systems.

Keywords: information retrieval, intuitiouistic logic, pseudo-Boolean algebras

DOI: 10.3233/FI-1978-2103

Journal: Fundamenta Informaticae, vol. 2, no. 1, pp. 17-41, 1978