The Flow of Information in Information Retrieval: Towards a General Framework for the Modelling of Information Retrieval

It has been argued that current Information Retrieval (IR) models offer only simplistic and specific representations of information. There is, therefore, a need for the development of a new formalism able to model IR systems in a more expressive manner, hence capturing information as it appears in an IR system, and also in any of its inherent forms. It has been suggested that such formalisms can be both appropriately and powerfully defined within a logic. Indeed, in the Oxford English Dictionary, logic is defined as:

[1]  Fabrizio Sebastiani,et al.  A probabilistic terminological logic for modelling information retrieval , 1994, SIGIR '94.

[2]  Peter Bruza,et al.  Investigating aboutness axioms using information fields , 1994, SIGIR '94.

[3]  Sarit Kraus,et al.  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

[4]  David R. Dowty,et al.  Introduction to Montague semantics , 1980 .

[5]  C. J. van Rijsbergen,et al.  A New Theoretical Framework for Information Retrieval , 1986, SIGIR Forum.

[6]  Jean-Pierre Chevallet.  Un modèle logique de recherche d'informations appliqué au formalisme des graphes conceptuels : le prototype ELEN et son expérimentation sur un corpus de composants logiciels , 1992 .

[7]  Saul A. Kripke,et al.  Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi , 1963 .

[8]  Fred Landman,et al.  Towards A Theory Of Information , 1986 .

[9]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[10]  Robert C. Moore.  Reasoning About Knowledge and Action , 1977, IJCAI.

[11]  Theo Huibers,et al.  An axiomatic theory for information retrieval , 1996 .

[12]  Fred I. Dretske,et al.  Précis of Knowledge and the Flow of Information , 1983, Behavioral and Brain Sciences.

[13]  Peter Ingwersen,et al.  Information transfer viewed as interactive cognitive processes , 1996 .

[14]  Maristella Agosti,et al.  Information Retrieval and Hypertext , 1996, Information Retrieval and Hypertext.

[15]  Keith Devlin,et al.  Logic and information , 1991 .

[16]  P G rdenfors,et al.  Knowledge in flux: modeling the dynamics of epistemic states , 1988 .

[17]  Stephen Cole Kleene.  Mathematical Logic , 1967 .

[18]  Theo Huibers.  Situations, a General Framework for Studying Information Retrieval , 1994 .

[19]  C. J. V. Rijsbergen,et al.  Information calculus for information retrieval , 1996 .

[20]  C. J. van Rijsbergen,et al.  (invited paper) A new theoretical framework for information retrieval , 1986, SIGIR '86.

[21]  Umberto Straccia,et al.  A model of information retrieval based on a terminological logic , 1993, SIGIR.

[22]  Jerry Seligman.  Perspectives: a relativistic approach to the theory of information , 1991 .

[23]  C. J. van Rijsbergen,et al.  Information Calculus for Information Retrieval , 1996, J. Am. Soc. Inf. Sci..

[24]  K. Jon Barwise,et al.  The situation in logic , 1989, CSLI lecture notes series.

[25]  Fred Landman.  Towards a Theory of Information: The Status of Partial Objects in Semantics , 1986 .

[26]  C. J. van Rijsbergen,et al.  Situation Theory and Dempster-Shafer's Theory of Evidence for Information Retrieval , 1993, SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems.

[27]  C. J. van Rijsbergen,et al.  Information retrieval and situation theory , 1996, SIGF.

[28]  N. Cocchiarella,et al.  Situations and Attitudes. , 1986 .

[29]  Mounia Lalmas,et al.  Theories of information and uncertainty for the modelling of information retrieval : an application of situation theory and Dempster-Schafer's theory of evidence , 1996 .

[30]  James H. Moor,et al.  Knowledge and the Flow of Information. , 1982 .

[31]  William P. Alston,et al.  Knowledge and the Flow of Information , 1985 .

[32]  Mounia Lalmas,et al.  Logical Models in Information Retrieval: Introduction and Overview , 1998, Inf. Process. Manag..