research-article

Revisiting Exhaustivity and Specificity Using Propositional Logic and Lattice Theory

Authors:

Karam Abdulahhad,

Jean-Pierre Chevallet,

Catherine BerrutAuthors Info & Claims

ICTIR '13: Proceedings of the 2013 Conference on the Theory of Information Retrieval

Pages 93 - 100

https://doi.org/10.1145/2499178.2499187

Published: 29 September 2013 Publication History

Abstract

Exhaustivity and Specificity in logical Information Retrieval framework were introduced by Nie [16]. However, even with some attempts, they are still theoretical notions without a clear idea of how to be implemented. In this study, we present a new approach to deal with them. We use propositional logic and lattice theory in order to redefine the two implications and their uncertainty P(d → q) and P(q → d). We also show how to integrate the two notions into a concrete IR model for building a new effective model. Our proposal is validated against six corpora, and using two types of terms (words and concepts). The experimental results showed the validity of our viewpoint, which state: the explicit integration of Exhaustivity and Specificity into IR models will improve the retrieval performance of these models. Moreover, there should be a type of balance between the two notions.

References

[1]

K. Abdulahhad, J.-P. Chevallet, and C. Berrut. MRIM at ImageCLEF2012. From Words to Concepts: A New Counting Approach. In CLEF, 2012.

[2]

K. Abdulahhad, J.-P. Chevallet, and C. Berrut. The Effective Relevance Link between a Document and a Query. In DEXA, Part I, pages 206--218, Vienna, Autriche, Sept. 2012.

[3]

K. Abdulahhad, J.-P. Chevallet, and C. Berrut. A New Lattice-Based Information Retrieval Theory. Research Report RR-LIG-038, LIG, Grenoble, France, 2013.

[4]

K. Abdulahhad, J.-P. Chevallet, and C. Berrut. Is uncertain logical-matching equivalent to conditional probability? SIGIR '13, 2013.

Digital Library

[5]

G. Amati and C. J. Van Rijsbergen. Probabilistic Models of Information Retrieval Based on Measuring the Divergence from Randomness. ACM Trans. Inf. Syst., 20(4):357--389, Oct. 2002.

Digital Library

[6]

A. R. Aronson. Metamap: Mapping Text to the UMLS Metathesaurus, 2006.

[7]

J.-P. Chevallet, J.-H. Lim, and D. T. H. Le. Domain Knowledge Conceptual Inter-Media Indexing: Application to Multilingual Multimedia Medical Reports. CIKM '07, pages 495--504, Lisbon, Portugal, 2007.

Digital Library

[8]

Y. Chiaramella and J. P. Chevallet. About Retrieval Models and Logic. Comput. J., 35:233--242, June 1992.

Digital Library

[9]

Y. Chiaramella, P. Mulhem, and F. Fourel. A Model for Multimedia Information Retrieval. Technical report, 1996.

[10]

F. Crestani. Exploiting the Similarity of Non-Matching Terms at RetrievalTime. Inf. Retr., 2(1):27--47, 2000.

Digital Library

[11]

H. Fang, T. Tao, and C. Zhai. A Formal Study of Information Retrieval Heuristics. SIGIR '04, pages 49--56, Sheffield, United Kingdom, 2004.

Digital Library

[12]

K. S. Jones. A Statistical Interpretation of Term Specificity and its Application in Aetrieval. Journal of Documentation, 28:11--21, 1972.

[13]

K. H. Knuth. Deriving laws from ordering relations. In In press: Bayesian Inference and Maximum Entropy Methods in Science and Engineering, Jackson Hole WY, pages 204--235, 2003.

[14]

K. H. Knuth. Lattice Duality: The Origin of Probability and Entropy. Neurocomput., 67:245--274, Aug. 2005.

Digital Library

[15]

D. E. Losada and A. Barreiro. A Logical Model for Information Retrieval Based on Propositional Logic and Belief Revision. The Computer Journal, 44:410--424, 2001.

[16]

J. Nie. An Outline of a General Model for Information Retrieval Systems. SIGIR '88, pages 495--506, Grenoble, France, 1988.

Digital Library

[17]

J. M. Ponte and W. B. Croft. A Language Modeling Approach to Information Retrieval. SIGIR '98, pages 275--281, Melbourne, Australia, 1998.

Digital Library

[18]

S. E. Robertson. The Probability Ranking Principle in IR. pages 281--286. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 1997.

Digital Library

[19]

S. E. Robertson and S. Walker. Some Simple Effective Approximations to the 2-Poisson Model for Probabilistic Weighted Retrieval. SIGIR '94, pages 232--241, Dublin, Ireland, 1994.

Digital Library

[20]

G. Salton, A. Wong, and C. S. Yang. A Vector Space Model for Automatic Indexing. Communications of the ACM, (18):613--620, 1975.

Digital Library

[21]

A. Singhal, C. Buckley, and M. Mitra. Pivoted Document Length Normalization. SIGIR '96, pages 21--29, Zurich, Switzerland, 1996.

Digital Library

[22]

M. D. Smucker, J. Allan, and B. Carterette. A Comparison of Statistical Significance Tests for Information Retrieval Evaluation. CIKM '07, pages 623--632, Lisbon, Portugal, 2007.

Digital Library

[23]

C. J. van Rijsbergen. A Non-Classical Logic for Information Retrieval. Comput. J., 29(6):481--485, 1986.

[24]

E. M. Voorhees and D. Harman. Overview of the Eighth Text REtrieval Conference (TREC-8). In TREC, 1999.

[25]

E. M. Voorhees and D. Harman. Overview of the Sixth Text REtrieval Conference (TREC-6). Inf. Process. Manage., 36(1):3--35, Jan. 2000.

Digital Library

[26]

C. Zhai and J. Lafferty. A Study of Smoothing Methods for Language Models Applied to Ad Hoc Information Retrieval. SIGIR '01, pages 334--342, New Orleans, Louisiana, United States, 2001.

Digital Library

Cited By

Rodríguez-Bravo B(2022)Roots and trends in knowledge organizationBoosting the Knowledge Economy10.1016/B978-1-84334-772-9.00007-5(39-61)Online publication date: 2022
https://doi.org/10.1016/B978-1-84334-772-9.00007-5
Abdulahhad KChevallet JBerrut C(2016)Logics, Lattices and Probability: The Missing Links to Information RetrievalThe Computer Journal10.1093/comjnl/bxw034Online publication date: 29-Jul-2016
https://doi.org/10.1093/comjnl/bxw034

Index Terms

Revisiting Exhaustivity and Specificity Using Propositional Logic and Lattice Theory
1. Information systems
  1. Information retrieval
  2. Information storage systems

Recommendations

Associate A User's Goal: Exhaustivity and Specificity Information Retrieval Using Ontology
Proceedings of the 2006 conference on Advances in Intelligent IT: Active Media Technology 2006

In information retrieval it is difficult to extract the accurate information to satisfy a user's information need. Based on the goals, we categorize the searches into two groups: information search and navigational search, and proposed a method using ...
The Information Retrieval Method Based on the Specificity
JCAI '09: Proceedings of the 2009 International Joint Conference on Artificial Intelligence

Put forward a new information retrieval method based on the query specificity after analyzing the existing problems of information retrieval system. The experiments show that the system has better query performance. Avoid the similarity documents in the ...
Filter-based resolution principle for lattice-valued propositional logic LP(X)

As one of most powerful approaches in automated reasoning, resolution principle has been introduced to non-classical logics, such as many-valued logic. However, most of the existing works are limited to the chain-type truth-value fields. Lattice-valued ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

ICTIR '13: Proceedings of the 2013 Conference on the Theory of Information Retrieval

September 2013

148 pages

ISBN:9781450321075

DOI:10.1145/2499178

Editors:
Oren Kurland
Technion - Israel Institute of Technology
,
Donald Metzler
Google, USA
,
Christina Lioma
University of Copenhagen, Denmark
,
Birger Larsen
University of Copenhagen, Denmark
,
Peter Ingwersen
University of Copenhagen, Denmark

Copyright © 2013 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Findwise: Findwise AB
Google Inc.
Spinque: Spinque
Univ. of Copenhagen: University of Copenhagen
LARM: LARM Audio Research Archive
Royal School of Library and Information Science: Royal School of Library and Information Science
Yahoo! Labs

In-Cooperation

SIGIR: ACM Special Interest Group on Information Retrieval
British Computer Society: BCS

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 29 September 2013

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed limited

Conference

ICTIR '13

Sponsor:

Findwise
Spinque
Univ. of Copenhagen
LARM
Royal School of Library and Information Science

ICTIR '13: International Conference on the Theory of Information Retrieval

September 29 - October 2, 2013

Copenhagen, Denmark

Acceptance Rates

ICTIR '13 Paper Acceptance Rate 11 of 51 submissions, 22%;

Overall Acceptance Rate 235 of 527 submissions, 45%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
55
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)1

Reflects downloads up to 16 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Rodríguez-Bravo B(2022)Roots and trends in knowledge organizationBoosting the Knowledge Economy10.1016/B978-1-84334-772-9.00007-5(39-61)Online publication date: 2022
https://doi.org/10.1016/B978-1-84334-772-9.00007-5
Abdulahhad KChevallet JBerrut C(2016)Logics, Lattices and Probability: The Missing Links to Information RetrievalThe Computer Journal10.1093/comjnl/bxw034Online publication date: 29-Jul-2016
https://doi.org/10.1093/comjnl/bxw034

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents