Trends in . . . A critical review: On the role of logic in information retrieval

Information Processing and Management

Volumn 34, Issue 1, 1998, Pages 1-18

  Sebastiani, Fabrizio ^a  

^a ISTI CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER SIMULATION; FORMAL LOGIC; MATHEMATICAL MODELS;

LOGICAL CONSEQUENTIALITY; LOGICAL RELATIONSHIP;

INFORMATION RETRIEVAL;

EID: 0031623127     PISSN: 03064573     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0306-4573(97)00055-1     Document Type: Article

References (56)

1. Bruza, P. D. (1993) Stratified information disclosure. A synthesis between hypermedia and information retrieval. Unpublished doctoral dissertation, Katholieke Universiteit Nijmegen, Nijmegen.
2. Bruza, P. D. & Huibers, T. W. (1994) Investigating aboutness axioms using information fields. In Proceedings of SIGIR-94, 17th ACM International Conference on Research and Development in Information Retrieval (pp. 112-121). Dublin.
3. Bruza, P. D. & van der Gaag, L. C. (1993) Efficient context-sensitive plausible inference for information disclosure. In Proceedings of SIGIR-93, 16th ACM International Conference on Research and Development in Information Retrieval (pp. 12-21). Pittsburgh, PA.
4. Carnap, R., & Bar-Hillel, Y. (1953). Semantic information. British Journal for the Philosophy of Science, 4, 147-157.
5. Chevallet, J. P. & Chiaramella, Y. (1996) Extending a logic-based model with algebraic knowledge. In I. Ruthven (Ed.), Proceedings of MIRO-95, Workshop on Multimedia Information Retrieval. Glasgow, UK: Springer Verlag, Heidelberg, FRG.
6. Chiaramella, Y., & Chevallet, J. P. (1992). About retrieval models and logic. The Computer Journal, 35, 233-242.
7. Cooper, W. S. (1971). A definition of relevance for information retrieval. Information Storage and Retrieval, 7, 19-37.
8. Crestani, R, Ruthven, I., Sanderson, M. & van Rijsbergen, C. J. (1995) The troubles with using a logical model of IR on a large collection of documents. In Proceedings of TREC-4, 4th Text Retrieval Conference. Washington, DC.
9. Crestani, F. & van Rijsbergen, C. J. (1995) Probability kinematics in information retrieval. In Proceedings of SIGIR-95, 18th ACM International Conference on Research and Development in Information Retrieval (pp. 291-299). Seattle, WA.
10. Darlington, J. (1969) Theorem proving and information retrieval. In B. Meltzer & D. Michie (Eds.), Machine Intelligence 4 (pp. 173-181). Edinburgh, UK: Edinburgh University Press.
11. De Giacomo, G. & Lenzerini, M. (1995) Making CATS out of kittens: description logics with aggregates. In Proceedings of DL-95, 4th International Workshop on Description Logics (pp. 143-147). Rome.
12. de Kleer, J., & Williams, B. (1987). Diagnosing multiple faults. Artificial Intelligence, 32, 97-130.
13. de Swart, H., & Nederpelt, R. P. (1992) Implication. A survey of the different logical analyses of 'if...then...'. Nieuw Archief voor Wiskunde, 10, 77-104.
14. Devanbu, P. & Jones, M. (1994) The use of description logics in KBSE systems. In Proceedings of the 17th International Conference on Software Engineering. Sorrento.
15. Dunn, J. M. (1986) Relevance logic and entailment. In D. M. Gabbay & F. Guenthner (Eds.), Handbook of Philosophical Logic (Vol. 3, pp. 117-224). Dordrecht: Reidel.
16. Franconi, E. (1996) Logical form and knowledge representation: towards a reconciliation. In Proceedings of the AAAI Fall Symposium on Knowledge Representation Systems based on Natural Language (pp. 20-24).
17. 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 (pp. 282-290). Seattle, WA.
18. Fuhr, N. (Ed.) (1997) ESPRIT BRA project 8134 'FERMI'. Deliverable 11: 'Experimentation'. Commission of the European Communities.
19. Gärdenfors, P. (1988) Knowledge in flux. Modeling the dynamics of epistemic states. Cambridge, MA: The MIT Press.
20. Gordon, M. J. (1979) The denotational description of programming languages. Heidelberg: Springer Verlag.
21. Haack, S. (1978) Philosophy of logics. Cambridge, UK: Cambridge University Press.
22. Halpern, J. Y. (1990). An analysis of firs t-order logics of probability. Artificial Intelligence, 46, 311-350.
23. Harper, W. L., Stalnaker, R. & Pearce, G. (Eds.) (1981) Ifs. Conditionals, belief, decision, chance and time. Dordrecht: Reidel.
24. Hunter, A. (1995) Using default logic in information retrieval. In C. Froidevaux & J. Kohlas (Eds.), Symbolic and quantitative approaches to reasoning and uncertainty (pp. 235-242). Heidelberg: Springer.
25. Israel, D. J. (1985) A short companion to the naive physics manifesto. In J. R. Hobbs & R. C. Moore (Eds.), Formal theories of the commonsense world (pp. 427-447). Norwood, NJ: Ablex.
26. Lalmas, M. & van Rijsbergen, C. J. (1993) A model of an information retrieval system based on situation theory and Dempster-Shafer theory of evidence. In Proceedings of the 1st Workshop on Incompleteness and Uncertainty in Information Systems (pp. 62-67). Montreal, Canada.
27. Lambrix, P. & Padgham, L. (1995) Analysis of part-of reasoning in description logics for use in a document management application. In Proceedings of the International Symposium on Artificial Intelligence (pp. 102-110). Monterrey, Mexico.
28. Levesque, H. J. (1984) A logic of imolicit and explicit belief. In Proceedings of AAAI-84, 4th Conference of the American Association for Artificial Intelligence (pp. 198-202). Austin, TX.
29. Levesque, H. J. (1986). Making believers out of computers. Artificial Intelligence, 30, 81-108. ([a] Also reprinted in Mylopoulos & Brodie, 1989, pp. 69-32.)
30. Levesque, H. J., & Brachman, R. J. (1987). Expressiveness and tractability in knowledge representation and reasoning. Computational Intelligence, 3, 78-93.
31. McDermott, D. (1978). Tarskian semantics, or: no notation without denotation!. Cognitive Science, 2, 272-282.
32. McGuinness, D. L. & Alperin Resnick, L. (1995) Description-logic based configuration for consumers. In Proceedings of DL-95, 4th International Workshop on Description Logics (pp. 109-111). Rome.
33. Meghini, C. (1995) An image retrieval model based on classical logic. In Proceedings of SIGIR-95, 18th ACM International Conference on Research and Development in Information Retrieval (pp. 300-308). Seattle, WA.
34. Meghini, C. & Straccia, U. (1996) A relevance description logic for information retrieval. In Proceedings of SIGIR-96, 19th ACM International Conference on Research and Development in Information Retrieval (pp. 197-205). Zürich, CH.
35. Meghini, C., Sebastiani, F., Straccia, U. & Thanos, C. (1993) A model of information retrieval based on a terminological logic. In Proceedings of SIGIR-93, 16th ACM International Conference on Research and Development in Information Retrieval (pp. 298-307). Pittsburgh, PA. Baltimore, MD: ACM Press.
36. Meghini, C., Sebastiani, F. & Straccia, U. (1997) The terminological image model. In Proceedings of ICIAP-97, 9th International Conference on Image Analysis and Processing, (pp. 156-163), Firenze, I. Published in the Lecture Notes in Computer Science Series, number 1311, Springer Verlag, Heidelberg, FRG.
37. Meghini, C., Sebastiani, F. & Straccia, U. (1997) The terminological image model. In Proceedings of ICIAP-97, 9th International Conference on Image Analysis and Processing, (pp. 156-163), Firenze, I. Published in the Lecture Notes in Computer Science Series, number 1311, Springer Verlag, Heidelberg, FRG.
38. Müller, A. & Thiel, U. (1994) Query expansion in an abductive information retrieval system. In Proceedings of RIAO'94, 4th International Conference 'Recherche d'Information Assistee par Ordinateur' (pp. 461-480). New York, NY.
39. Mylopoulos, J. & Brodie, M. L. (Eds.) (1989) Readings in artificial intelligence and databases. San Mateo, CA: Morgan Kaufmann.
40. Nie, J.-Y. (1989). An information retrieval model based on modal logic. Information Processing and Management, 25, 477-491.
41. Patel-Schneider, P. F., Brachman, R. J. & Levesque, H. J. (1984) ARGON: knowledge representation meets information retrieval. In Proceedings of CAIA-84, 1st IEEE Conference on Artificial Intelligence Applications (pp. 280-286). Denver, CO.
42. Reiter, R. (1984) Towards a logical reconstruction of relational database theory. In M. L. Brodie, J. Mylopoulos & J. W. Schmidt. (Eds.), On conceptual modelling (pp. 191-233). Heidelberg, FRG: Springer, ([a] Also reprinted in Mylopoulos & Brodie, 1989, pp. 301-326.)
43. Reiter, R. (1987). A theory of diagnosis from first principles. Artificial Intelligence, 32, 57-95.
44. Salton, G., & Buckley, C. (1988). Term-weighting approaches in automatic text retrieval. Information Processing and Management, 24, 513-523.
45. Sebastiani, F. (1994) A probabilistic terminological logic for modelling information retrieval. In Proceedings of SIGIR-94. 17th ACM International Conference on Research and Development in Information Retrieval (pp. 122-130). Dublin. Heidelberg: Springer Verlag.
46. Selman, B., Levesque, H. & Mitchell, D. (1992) A new method for solving hard satisfiability problems. In Proceedings of AAA1-92, 10th Conference of the American Association for Artificial Intelligence (pp. 440-446). San Jose, CA.
47. Stalnaker, R. C. (1968) A theory of conditionals. In N. Rescher. (Ed.), Studies in logical theory (pp. 98-112). Oxford: Basil Blackwell. ([a] Also reprinted in Harper, Stalnaker & Pearce, 1981, pp. 41-55).
48. Stalnaker, R. C., & Thomason, R. H. (1970). A semantical analysis of conditional logic. Theoria, 36, 23-42.
49. Straccia, U. (1996) Document retrieval by relevance terminological logics. In I. Ruthven (Ed.), Proceedings of MIRO-95, Workshop on Multimedia Information Retrieval. Glasgow: Springer Verlag, Heidelberg.
50. Turtle, H. R. & Croft, W. B. (1990) Inference networks for document retrieval. In Proceedings of SIGIR-90, 13th ACM International Conference on Research and Development in Information Retrieval (pp. 1-24). Brussels.
51. Turtle, H. R., & Croft, W. B. (1991). Evaluation of an inference network-based retrieval model. ACM Transactions on Information Systems, 9, 187-222.
52. van Rijsbergen, C. J. (1986). A non-classical logic for information retrieval. The Computer Journal, 29, 481-485.
53. van Rijsbergen, C. J. (1989) Towards an information logic. In Proceedings of SIGIR-89, 12th ACM International Conference on Research and Development in Information Retrieval (pp. 77-86). Cambridge, MA.
54. van Rijsbergen, C. J. (1992). Probabilistic retrieval revisited. The Computer Journal, 35, 291-298.
55. van Rijsbergen, C. J., & Lalmas, M. (1996). Information calculus for information retrieval. Journal of the American Society for Information Science, 47, 385-398.
56. Wong, S., & Yao, Y. (1991). A probabilistic inference model for information retrieval. Information Systems, 16, 301-321.