The use of logic in information retrieval modelling

Knowledge Engineering Review

Volumn 13, Issue 3, 1998, Pages 263-295

  Lalmas, Mounia ^a   Bruza, Peter D ^b  

^a UNIVERSITY OF GLASGOW   (United Kingdom)

^b QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; FORMAL LOGIC; MATHEMATICAL MODELS;

LOGICAL UNCERTAINTY PRINCIPLE;

INFORMATION RETRIEVAL;

EID: 0032154798     PISSN: 02698889     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0269888998002124     Document Type: Article

References (80)

1. Amati, G and Georgatos, K, 1996. "Relevance as deduction: a logical view of information retrieval" In: F Crestani and M Lalmas eds, Proceedings of the Second Workshop on Information Retreival, Uncertainty and Logic (WIRUL'96), 21-26.
2. An, Z, Bell, A and Hughes, JG, 1993. "Relation-based evidential reasoning" International Journal of Approximate Reasoning 8 231-251.
3. Barwise, J and Perry, J, 1983. Situations and Attitudes Bradford Books (MIT Press).
4. Barwise, J, 1993. "Constrains, channels and the flow of information" In: Situation Theory and its Application vol II Number 22 CLSI Lecture Notes.
5. Black, AW, 1992. "A situation theoretic approach to computational semantics" PhD Dissertation, University of Edinburgh, Scotland.
6. Bruza, PD and Huibers, TWC, 1994. "Investigating aboutness axioms using information fields" In: WC Croft and CJ Van Rijsbergen eds, Proceedings of ACM SIGIR Conference on Research and Development in Information Retrieval 112-121.
7. Bruza, PD and Huibers, TWC, 1995. "How monotonic is aboutness?" Technical Report UU-CS-1995-09, Department of Computer Science, Utrecht University.
8. Bruza, PD and Huibers, TWC, 1996. "A study of aboutness in information retrieval" Artificial Intelligence Review 10 1-27.
9. Bruza, PD and Ijdens, JJ, 1995. "Deciding term aboutness probabilistically" Available from http:// www.icis.qut.edu.au/~bruza/pubs.html
10. Bruza, PD and van Linder, B, 1997a. "Preferential models of query by navigation" In: F Crestani, M Lalmas and CJ Van Rijsbergen eds, Information Retrieval, Logic and Uncertainty in Information Retrieval: Advanced models for the representation and retrieval of information Forthcoming book chapter.
11. Bruza, PD and van Linder, B, 1997b. "Preferential models of refinement paths in query navigation" In: IJCAI-97 Workshop on AI and Digital Libraries Available from http://www.icis.qut.edu.au/~bruza/ pubs.html
12. Bruza, PD, 1993. "Stratified information disclosure: a synthesis between hypermedia and information retrieval" PhD Dissertation, University of Nijmegen.
13. Bruza, PD, 1996. "Intelligent filtering using nonmonotonic inference" In: J. Zobel ed, Proceedings of the Australian Document Computing Symposium 1-7.
14. Buongarzoni, P, Meghini, C, Salis, R, Sebastiani, F and Straccia, U, 1995. "Logical and computational properties of the description logic MIRTL" Proceedings of 4th International Workshop on Description Logics 80-84.
15. Cavedon, L, 1995. "A Channel Theoretic Approach to Conditional Reasoning" PhD Dissertation, Centre for Cognitive Science, University of Edinburgh.
16. Chen, PS, 1994. "On inference rules of logic-based information retrieval systems" Information Processing and Management 30(1) 43-60.
17. Chevallet, JP, 1992. "Un modèle logique de recherche d'information appliqué au formalisme des graphes conceptuels. Le prototype ELEN et son expérimentation sur un corpus de composants logiciels" PhD Dissertation, Université Joseph Fourier, Grenoble I.
18. Chiaramella, Y and Chevallet, JP, 1992. "About retrieval models and logic" The Computer Journal, Special Issue 35(3) 233-242.
19. Chiaramella, Y and Nie, J, 1990. "A retrieval model based on an extended Modal Logic and its application to the RIME experiment approach" In: JL Vidick ed, Proceedings of ACM SIGIR Conference on Research and Development in Information Retrieval 25-43.
20. Chiaramella, Y, Mulhem, P and Fourel, F, 1996. "A model for multimedia information retrieval" Technical Report Fermi 4/96, ESPRIT BRA Project N. 8134.
21. Crestani, F and Lalmas, M, eds, 1996. Proceedings of the Second Workshop on Information Retrieval, Logic and Uncertainty (WIRUL'96).
22. Crestani, F and Van Rijsbergen, CJ, 1994. Information retrieval by imaging" In: R Leon ed, Information Retrieval: New Systems and Current Research, vol. 2 Taylor Graham.
23. Crestani, F and Van Rijsbergen, CJ, 1995a. "Information retrieval by logical imaging" Journal of Documentation 51(1) 3-17.
24. Crestani, F and Van Rijsbergen, CJ, 1995b. "Probability kinematics in formation retrieval" In: EA Fox, P Ingwersen and R Fidel eds, Proceedings of ACM SIGIR Conference on Research and Development in Information Retrieval 291-299.
25. Crestani, F and Van Rijsbergen, CJ, 1998. "A study of probability kinematics in information retrieval" ACM Transactions on Information Systems 16(3).
26. Crestani, F, Ruthven, I, Sanderson, M and Van Rijsbergen, CJ, 1995. "The troubles with using a logical model of IR on a large collection of documents. Experimenting retrieval by logical imaging on TREC" Proceedings of TREC-4 509-525.
27. Devlin, KJ, 1991. Logic and Information Cambridge University Press.
28. Dretske, F, 1981. Knowledge and the Flow of Information Bradford Books, MIT Press.
29. Fermi, 1996. "Formalization and Experimentation on the Retrieval of Multimedia Information, ESPRIT BRA Project N. 8134, Workpart 2, Deliverable D3: A theory of uncertainty for information retrieval" Technical Report 1/96.
30. Fuhr, N, 1995. "Probabilistic Catalog - A Logic For Powerful Retrieval Methods" In: EA Fox, P Ingswersen and R Fidel eds, Proceedings of ACM SIGIR Conference on Research and Development in Information Retrieval 282-290.
31. Gardenfors, P, 1982. "Imaging and conditionalization" Journal of Philosophy 79 747-790.
32. Giordano, L, Martelli, AS and Sapino, ML, 1996. "Extending negation as failure by abduction" Logic Programming 26(1) 31-67.
33. Huibers, TWC and Bruza, PD, 1994. "Situations, a general framework for studying information retrieval" In: R Leon ed, Information Retrieval: New Systems and Current Research, vol. 2 Taylor Graham.
34. Huibers, TWC and Denos, N, 1995. "A qualitative rank method for logical information retrieval models" Technical Report RAP95-005, Groupe MRIM of the Laboratoire de Génie Informatique, Grenoble.
35. Huibers, TWC and van Linder, B, 1996. "Formalising Intelligent Information Retrieval Agents" In: Proceedings of the 18th British Computer Society Information Retrieval Colloquium 125-143.
36. Huibers, TWC, Lalmas, M and Van Rijsbergen, CJ, 1996. "Information retrieval and situation theory" SIGIR Forum 30(1) 11-25.
37. Huibers, T, Ounis, I and Chevallet, JP, 1995. "Axiomatization of a conceptual graph formalism for information retrieval in a situated framework" Technical Report RAP95-004, Groupe MRIM of the Laboratoire de Génie Informatique, Grenoble.
38. Huibers, TWC, 1996. "An axiomatic Theory for Information Retrieva" PhD Dissertation, Utrecht University.
39. Hunter, A, 1995. "Using default logic in information retrieval" Symbolic and Quantitative Approaches to Uncertainty: Lectures Notes in Computing Science 235-242.
40. Hunter, A, 1996. "Intelligent text handling using default logic" Proceedings of IEEE Conference on Tools with Artificial Intelligence (TAI'96) 34-40.
41. Kripke, SA, 1963. "Semantic analysis of modal logic" Zeilschrift fur Mathematische Logik und Grundlagen der Mathematik 9 67-96.
42. Lalmas, M and Van Rijsbergen, CJ, 1992. "A logical nodel of information retrieval based on situation theory" Proceedings of 14th British Computer Society Information Retrieval Colloquium 1-13.
43. Lalmas, M and Van Rijsbergen, CJ, 1993. "Situation theory and Demster-Shafer's theory of evidence for information retrieval" In: VS Algar, S Bergler and FQ Dongs eds, Proceedings of Workshop on Incompleteness and Uncertainty in Information Systems 62-67.
44. Lalmas, M, 1995a. "From a qualitative towards a quantiutative representation of uncertainty on a situation theory based model of an information retrieval system" In: M Lalmas ed, Proceedings of the First Workshop on Information Retrieval, Logic and Uncertainty.
45. Lalmas, M ed, 1995b. Proceedings of the First Workshop on Information Retrieval, Logic and Uncertainty.
46. Lalmas, M, 1996. "Theories of Information and Unvertainty for the modelling of Information Retrieval: an application of Situation Theory and Dempster-Shafer's Theory of Evidence" PhD Dissertation, University of Glasgow.
47. Lalmas, M, 1997a. "Dempster-Shafer's theory of evidence applied to structured documents: capturing uncertainty" In: NJ Belkin, AD Narasimhalv and P. Willet, Proceedings of ACM SIGIR Conference on Research and Development in Information Retrieval 110-118.
48. Lalmas, M, 1997b. "The flow of information in information retrieval: Towards a general framework for the modelling of information retrieval" In: F Crestani, M Lalmas and CJ Van Rijsbergen eds, Information Retrieval, Logic and Uncertainty in Information Retrieval: Advanced models for the representation and retrieval of information Forthcoming book chapter.
49. Lalmas, M, 1998. "Logical models in information retrieval: Introduction and overview" Information, Processing and Management 34(1) 19-33.
50. Lewis, D, 1986. Counterfactuals Blackwell (2nd ed).
51. Meghini, C and Straccia, U, 1996. "A relevanvce terminological logic for information retrieval" In: HP Frei, D Harman, P Schauble and R Wilkinson eds, Proceedings of ACM SIGIR Conference on Research and Development in Information Retrieval 197-205.
52. Meghini, C, Sebastiani, F, Straccia, U and Thanos, C, 1993. "A model of information retrieval based on terminological logic" In: R Korfhage, E Rasmussen and P Willett eds, Proceedings of ACM SIGIR Conference on Research and Development in Information Retrieval 298-307.
53. Miller, GA, 1990. "WordNet: An On-Line Lexical Database" Internation Journal of Lexicography 3(4) 235-312.
54. Muller, A and Everts A, 1997. "Interactive image retrieval by means of abductive inference" Proceedings of RIAO.
55. Muller, A and Kutschekmanesch S, 1995. "Using abductive inference and dynamic indexing to retrieve multimedia SGML documents" In: I Ruthven ed, MIRO'96, Proceedings of the Final Workshop on Multimedia Information Retrieval Glasgow, Scotland. Electronic Workshops in Computing. Springer-Verlag.
56. Nie, JY and Briseboise, M, 1996. "An inferential approach to information retrieval and its implementation using a manual thesaurus" Artificial Intelligence Review 10 409-439.
57. Nie, JY, Lepage, F and Brisebois, M, 1996. "Information retrieval as counterfactual" The Computer Journal 38(8) 643-657.
58. Nie, JY, 1988. "An outline of a general model for information retrieval" In: Y Chiaramella ed, Proceedings of ACM SIGIR Conference on Research and Development in Information Retrieval 495-506.
59. Nie, JY, 1989. "An information retrieval model based on modal logic" Information Processing & Management 25(5) 477-491.
60. Nie, JY, 1990. "Un Modèle de Logique Générale pour les Systemes de Recherche d'Informations. Application au Prototype RIME" PhD Dissertation, Université Joseph Fourrier, Grenoble I.
61. Nie, JY, 1992. "Towards a probabilistic modal logic for semantic-based information retrieval" In: N Belkin, P Ingwersen and AM Pejtersen eds, Proceedings of ACM SIGIR Conference on Research and Development in Information Retrieval 140-141.
62. Nute, D, 1980. Topics in Conditional Logic Reidel.
63. Ounis, I, 1995. "Une denotation pour les graphes conceptuels: comparaison avec les logiques terminologiques en recherche d'informations" Congres INFORSID 95 147-164.
64. Patel-Schneider, PF, 1987. "An hybrid, decidable, logic-based knowledge representation system" Computational Intelligence 3 64-77.
65. Reiter, R, 1980. "A logic for default reasoning" Artificial Intelligence 13(1) 81-132.
66. Robson, A, 1996. "An implementation of the flow of information in information retrieval" Master's thesis, University of Glasgow, Scotland.
67. Roelleke, T and Blomer, M, 1997. "Probabilistic logical information retrieval for content, hypertext and database querying" Hypertext - Information Retrieval - Multimedia'97 147-160.
68. Roelleke, T and Crestani, F, 1995. "Issues on the implementation of general imaging on top of probabilistic Datalog" In: M Lalmas ed, Proceedings of the First Workshop on Information Retrieval, Logic and Uncertainty.
69. Sebastiani, F, 1994. "A probabilistic terminological logic for modelling information in retrieval" In: WB Croft and CJ Van Rijsbergen eds, Proceedings of ACM SIGIR Conference on Research and Development in Information Retrieval 122-131.
70. Sebastiani, F, 1995. "A note on logic and information retrieval" In: I Ruthven ed, MIRO'95, Proceedings of the Final Workshop on Multimedia Information Retrieval Glasgow, Scotland. Electronic Workshops in Computing. Springer-Verlag.
71. Seligman, JM, 1990. "Perspectives: A relativistic approach to the theory of information" PhD Dissertation, University of Edinburgh.
72. Sowa, JF ed, 1984. Conceptual Structures Addison-Wesley.
73. Thiel, U and Muller, A, 1996. "'Why was this item retrieved?': New ways to explore retrieval results" In: M Agosti and A Smeaton eds, Information Retrieval and Hypertext Kluwer Academic, 181-201.
74. Ullman, J, 1988. Principles of Database and Knowledge-Base Systems, vol. I Computer Science Press.
75. Van Rijsbergen, CJ and Lalmas, M, 1996 "An information calculus for information retrieval" Journal of the American Society of Information Science 47(5) 385-398.
76. Van Rijsbergen, CJ, 1979. Information Retrieval Butterworths.
77. Van Rijsbergen, CJ, 1986a. "A new theoretical framework for information retrieval" In: F Rabitti ed, Proceedings of ACM SIGIR Conference on Research and Development in Information Retrieval 194-200.
78. Van Rijsbergen, CJ, 1986b. "A non-classical logic for information retrieval" The Computer Journal 29(6) 481-485.
79. Van Rijsbergen, CJ, 1989. "Towards an information logic" In: NJ Belkin and CJ Van Rijsbergen eds, Proceedings of ACM SIGIR Conference on Research and Development in Information Retrieval 77-86.
80. Wondergem, B, 1996. "Preferential structures for information retrieval" Technical Report INF-SCR-96-21, Department of Computer Science, Utrecht University.