Towards a logical reconstruction of information retrieval theory

Cybernetics and Systems

Volumn 30, Issue 5, 1999, Pages 411-428

  Sebastiani, Fabrizio ^a  

^a ISTI CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DATABASE SYSTEMS; KNOWLEDGE BASED SYSTEMS; KNOWLEDGE REPRESENTATION; LINGUISTICS; PROBABILITY DENSITY FUNCTION;

INFORMATION RETRIEVAL THEORY; MODEL THEORETIC; PARTIAL KNOWLEDGE ASSUMPTION;

INFORMATION RETRIEVAL;

EID: 0032679869     PISSN: 01969722     EISSN: 10876553     Source Type: Journal    
DOI: 10.1080/019697299125145     Document Type: Article

References (41)

1. Baayen, R. H., and R. Lieber. 1997. Word frequency distributions and lexical semantics. Computers and the Humanities 30:281-291.
2. Cooper, W. S. 1981. Gedanken experimentation: An alternative to traditional system testing? In Information Retrieval Experiment, ed. K. Sparck Jones, 199-209. London, UK: Butterworths.
3. Crestani, F., and T. Rolleke. 1995. Issues in the implementation of general imaging on top of Probabilistic Datalog. In Proc. 1st International Workshop on Logic and Uncertainty in Information Retrieval, Glasgow, UK, ed. M. Lalmas, 35-44.
4. Crestani, F., and C. J. van Rijsbergen. 1995a. Information retrieval by logical imaging. Journal of Documentation 51:3-17.
5. Crestani, F., and C. J. van Rijsbergen. 1995b. Probability kinematics in information retrieval. In Proceedings of SIGIR-95, 18th ACM International Confer-ence on Research and Development in Information Retrieval, 291-299. Seattle, WA.
6. Crestani, F., F. Sebastiani, and C. J. van Rijsbergen. 1996. Imaging and information retrieval: Variations on a theme. In Proc. 2nd International Workshop on Logic and Uncertainty in Information Retrieval, eds. F. Crestani and M. Lalmas, 48-49. Glasgow, UK
7. Fuhr, N. 1995. Probabilistic Datalog: A logic for powerful retrieval methods. In Proceedings of SIGIR-95, 18th ACM International Conference on Research and Development in Information Retrieval, 282-290. Seattle, WA.
8. Garey, M. R., and D. Johnson. 1979. Computers and Intractability. A Guide to the Theory of NP-Completeness. New York: Freeman.
9. Halpern, J. Y. 1990. An analysis of first-order logics of probability. Artificial Intelligence 46:311-350.
10. Halpern, J. Y., and M. Y. Vardi. 1991. Model checking vs. theorem proving: A manifesto. In Proceedings of KR-91, 2nd International Conference on Principles of Knowledge Representation and Reasoning, 325-334. Cambridge, MA.
11. Harman, D. 1995. Overview of the second Text Retrieval Conference (TREC-2). Information Processing and Management 31:271-289.
12. Harper, W. L., R. Stalnaker, and G. Pearce, eds. 1986. Ifs, Conditionals, Belief, Decision, Chance and Time. Dordrecht: Reidel.
13. Levesque, H. J. 1986. Making believers out of computers. Artificial Intelligence 30:81-108. Also reprinted in Readings in Artificial Intelligence and Databases. Morgan Kaufmann, San Mateo, CA, 1989, pp. 69-82.
14. Levesque, H. J. 1988. Logic and the complexity of reasoning. Journal of Philosophical Logic 17:355-389.
15. Lewis, D. K. 1976. Probabilities of conditionals and conditional probabilities. The Philosophical Review 85:297-315. Also reprinted in Ifs, Conditionals, Beliefs, Decision, Chance and Time. Reidel, Dordrecht, 1981, pp. 129-147.
16. Luhn, H. P. 1957. A statistical approach to mechanized encoding and searching of literary information. IBM Journal of Research and Development 1:309-317.
17. Lukaszewicz, W. 1990. Nonmonotonic Reasoning: Formulation of Commonsense Reasoning. Chichester UK Ellis Horwood.
18. Meghini, C., and U. Straccia 1996. A relevance description logic for information retrieval. In Proceedings of SIGIR-96, 19th ACM International Conference on Research and Development in Information Retrieval, 197-205. Zurich. Baltimore, MD: ACM Press.
19. Meghini, C., F. Sebastiani, U. Straccia, and C. Thanos. 1993. A model of information retrieval based on a terminological logic. In Proc. SIGIR-93, 16th ACM International Conference on Research and Development in Information Retrieval, 298-307. eds. R. Korfhage, E. Rasmussen, P. Willett, Baltimore, MD: ACM Press.
20. Mylopoulos, J., and M. L. Brodie. 1989. Readings in Artificial Intelligence and Databases. San Mateo, CA: Morgan Kaufmann.
21. Nie, J.-Y. 1989. An information retrieval model based on modal logic. Information Processing and Management. 25:477-491.
22. Nie, J.-Y. 1992. Towards a probabilistic modal logic for semantic-based information retrieval. In Proceedings of SIGIR-92, 15th ACM International Conference on Research and Development in Information Retrieval, 140-151. Kobenhavn. Baltimore, MD: ACM Press.
23. Ohlbach, H. J. 1991. Semantics-based translation methods for modal logics. Journal of Logic and Computation 1:691-746.
24. Reiter, R. 1984. Towards a logical reconstruction of relational database theory. In On Conceptual Modelling, eds. M. L. Brodie, J. Mylopoulos, J. W. Schmidt, 191-233. Heidelberg: Springer. Also reprinted in Readings in Artificial Intelligence and Databases. Morgan Kaufmann, San Mateo, CA, 1989, pp. 301-326.
25. Robertson, S. E. 1977. Theories and models in information retrieval. Journal of Documentation 33:126-148.
26. Robertson, S. E., and K. Sparck Jones. 1976. Relevance weighting of search terms. Journal of the American Society for Information Science 7:129-146. Also reprinted in Document Retrieval Systems. Taylor Graham, London, UK, 1988, pp. 143-160.
27. Robertson, S. E., M. E. Maron, and W. S. Cooper. 1982. Probability of relevance: A unification of two competing models for document retrieval. Information Technology: Research and Development 1:1-21.
28. Rolleke, T. 1995. Does probabilistic Datalog meet the requirements of imaging? In Proceedings of SIGIR-95, 18th ACM International Conference on Research and Development in Information Retrieval, p. 374 Seattle, WA. Baltimore, MD: ACM Press.
29. Salton, G., and C. Buckley. 1988. Term-weighting approaches in automatic text retrieval. Information Processing and Management 24:513-523. Also reprinted in Readings in Information Retrieval. Morgan Kaufmann, San Mateo, CA, 1997, pp. 323-328.
30. Salton, G., A. Wong, and C. S. Yang. 1975. A vector space model for automatic indexing. Communications of the ACM 18:613-620, Also reprinted in Readings in Information Retrieval. Morgan Kaufmann, San Mateo, CA, 1997, pp. 273-280.
31. Salton, G., E. A. Fox, and H. Wu. 1983. Extended Boolean information retrieval. Communications of the ACM 26:1022-1036.
32. Sebastiani, F. 1994. A probabilistic terminological logic for modelling information retrieval. In Proc. SIGIR-94, 17th ACM International Conference on Research and Development in Information Retrieval, eds. W. B. Croft and C. J. van Rijsbergen, 122-130. Heidelberg: Springer-Verlag.
33. Sebastiani, F. 1998a. Information retrieval, imaging and probabilistic logic. Computers and Artificial Intelligence 17:35-50.
34. Sebastiani, F. 1998b. On the role of logic in information retrieval. Information Processing and Management 34:1-18.
35. Smeaton, A. F. 1997. An overview of information retrieval. In Information Retrieval and Hypertext, eds. M. Agosti and A. F. Smeaton, 3-25. Dordrecht: Kluwer Academic Publishers.
36. Sparck Jones, K., and P. Willett, eds. 1997. Readings in Information Retrieval. San Mateo, CA: Morgan Kaufmann.
37. Stalnaker, R. C., and R. H. Thomason. 1970. A semantical analysis of conditional logic. Theoria 36:23-42.
38. van Benthem, J. F. 1976. Modal Correspondence Theory. Ph.D. thesis, Mathematical Institute, University of Amsterdam, Amsterdam.
39. van Rijsbergen, C. J. 1986. A non-classical logic for information retrieval. The Computer Journal 29:481-485. Also reprinted in Readings in Information Retrieval. Morgan Kaufmann, San Mateo, CA, 1997, pp. 268-272.
40. Willett, P., ed. 1988. Document Retrieval Systems. London, UK: Taylor Graham.
41. Wong, S. K. M., and Y. Yao. 1995. On modeling information retrieval with probabilistic inference. ACM Transactions on Information Systems 13:38-68.