{"id":"https://openalex.org/W2085121480","doi":"https://doi.org/10.1145/2484028.2484152","title":"Is uncertain logical-matching equivalent to conditional probability?","display_name":"Is uncertain logical-matching equivalent to conditional probability?","publication_year":2013,"publication_date":"2013-07-28","ids":{"openalex":"https://openalex.org/W2085121480","doi":"https://doi.org/10.1145/2484028.2484152","mag":"2085121480"},"language":"en","primary_location":{"id":"doi:10.1145/2484028.2484152","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2484028.2484152","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 36th international ACM SIGIR conference on Research and development in information retrieval","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5047228001","display_name":"Karam Abdulahhad","orcid":"https://orcid.org/0000-0002-0041-7047"},"institutions":[{"id":"https://openalex.org/I4210104430","display_name":"Laboratoire d'Informatique de Grenoble","ror":"https://ror.org/01c8rcg82","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Karam Abdulahhad","raw_affiliation_strings":["Universit\u00e9 de Grenoble, LIG laboratory, MRIM group, Grenoble, France"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Grenoble, LIG laboratory, MRIM group, Grenoble, France","institution_ids":["https://openalex.org/I4210104430","https://openalex.org/I899635006"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108156680","display_name":"Jean\u2013Pierre Chevallet","orcid":null},"institutions":[{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]},{"id":"https://openalex.org/I4210104430","display_name":"Laboratoire d'Informatique de Grenoble","ror":"https://ror.org/01c8rcg82","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I106785703","display_name":"Institut polytechnique de Grenoble","ror":"https://ror.org/05sbt2524","country_code":"FR","type":"education","lineage":["https://openalex.org/I106785703","https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jean-Pierre Chevallet","raw_affiliation_strings":["UPMF-Grenoble 2, LIG laboratory, MRIM group, Grenoble, France"],"affiliations":[{"raw_affiliation_string":"UPMF-Grenoble 2, LIG laboratory, MRIM group, Grenoble, France","institution_ids":["https://openalex.org/I899635006","https://openalex.org/I4210104430","https://openalex.org/I106785703"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067869983","display_name":"Catherine Berrut","orcid":null},"institutions":[{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]},{"id":"https://openalex.org/I4210104430","display_name":"Laboratoire d'Informatique de Grenoble","ror":"https://ror.org/01c8rcg82","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I177483745","display_name":"Universit\u00e9 Joseph Fourier","ror":"https://ror.org/02aj0kh94","country_code":"FR","type":"education","lineage":["https://openalex.org/I177483745"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Catherine Berrut","raw_affiliation_strings":["UJF-Grenoble 1, LIG laboratory, MRIM group, Grenoble, France"],"affiliations":[{"raw_affiliation_string":"UJF-Grenoble 1, LIG laboratory, MRIM group, Grenoble, France","institution_ids":["https://openalex.org/I899635006","https://openalex.org/I177483745","https://openalex.org/I4210104430"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5047228001"],"corresponding_institution_ids":["https://openalex.org/I4210104430","https://openalex.org/I899635006"],"apc_list":null,"apc_paid":null,"fwci":0.9618,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.82520146,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"825","last_page":"828"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11106","display_name":"Data Management and Algorithms","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.5464375019073486},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.533103346824646},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5172494053840637},{"id":"https://openalex.org/keywords/logical-connective","display_name":"Logical connective","score":0.47050851583480835},{"id":"https://openalex.org/keywords/matching","display_name":"Matching (statistics)","score":0.46718671917915344},{"id":"https://openalex.org/keywords/conditional-probability","display_name":"Conditional probability","score":0.4561935365200043},{"id":"https://openalex.org/keywords/degree","display_name":"Degree (music)","score":0.4492897689342499},{"id":"https://openalex.org/keywords/binary-decision-diagram","display_name":"Binary decision diagram","score":0.4368191063404083},{"id":"https://openalex.org/keywords/conditional-expectation","display_name":"Conditional expectation","score":0.4271124601364136},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.42160671949386597},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.3697050213813782},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.34985482692718506},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.31736016273498535},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.14834558963775635},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.13233256340026855}],"concepts":[{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.5464375019073486},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.533103346824646},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5172494053840637},{"id":"https://openalex.org/C194989596","wikidata":"https://www.wikidata.org/wiki/Q211790","display_name":"Logical connective","level":2,"score":0.47050851583480835},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.46718671917915344},{"id":"https://openalex.org/C44492722","wikidata":"https://www.wikidata.org/wiki/Q327069","display_name":"Conditional probability","level":2,"score":0.4561935365200043},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.4492897689342499},{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.4368191063404083},{"id":"https://openalex.org/C186215838","wikidata":"https://www.wikidata.org/wiki/Q772232","display_name":"Conditional expectation","level":2,"score":0.4271124601364136},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.42160671949386597},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3697050213813782},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.34985482692718506},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.31736016273498535},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.14834558963775635},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.13233256340026855},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2484028.2484152","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2484028.2484152","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 36th international ACM SIGIR conference on Research and development in information retrieval","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.7599999904632568}],"awards":[],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W62080763","https://openalex.org/W83401843","https://openalex.org/W305089317","https://openalex.org/W1497647560","https://openalex.org/W1964633765","https://openalex.org/W1975614788","https://openalex.org/W2013395294","https://openalex.org/W2018026600","https://openalex.org/W2022140143","https://openalex.org/W2028238871","https://openalex.org/W2058054025","https://openalex.org/W2059921199","https://openalex.org/W2061165361","https://openalex.org/W2100279283","https://openalex.org/W2151590175","https://openalex.org/W2180130848","https://openalex.org/W4249191614","https://openalex.org/W6610732350","https://openalex.org/W6657664662"],"related_works":["https://openalex.org/W4250630220","https://openalex.org/W4384376816","https://openalex.org/W4210738546","https://openalex.org/W1967753097","https://openalex.org/W2592465853","https://openalex.org/W4233361406","https://openalex.org/W2900754349","https://openalex.org/W2285782125","https://openalex.org/W2387755563","https://openalex.org/W2235104919"],"abstract_inverted_index":{"Logic-based":[0],"Information":[1],"Retrieval":[2],"(IR)":[3],"models":[4],"represent":[5],"the":[6,42,56,62,68,78,87,114,120,124,130],"retrieval":[7],"decision":[8],"as":[9],"a":[10,15,19,32,38,107],"logical":[11,27,63],"implication":[12,64,89,93,135],"d->q":[13,30],"between":[14],"document":[16],"d":[17,23,46],"and":[18,24,71,96,123],"query":[20],"q,":[21,48],"where":[22],"q":[25],"are":[26],"sentences.":[28],"However,":[29],"is":[31,66,90,106,137],"binary":[33],"decision,":[34],"we":[35,54,84,98,118],"thus":[36],"need":[37],"measure":[39],"to":[40,44,112],"estimate":[41],"degree":[43,133],"which":[45],"implies":[47],"denoted":[49],"P(d->q).":[50],"In":[51,110],"this":[52],"study,":[53],"revisit":[55],"Van":[57,115],"Rijsbergen's":[58,116],"assumptions":[59],"about:":[60],"1-":[61],"->'":[65],"not":[67],"material":[69,88],"one,":[70],"2-":[72],"P(d->q)":[73,103],"could":[74],"be":[75],"estimated":[76],"by":[77,104,139],"conditional":[79],"probability":[80],"P(q|d).":[81],"More":[82],"precisely,":[83],"claim":[85],"that":[86,101,136],"an":[91],"appropriate":[92],"for":[94],"IR,":[95],"also":[97,128],"mathematically":[99],"prove":[100,113],"replacing":[102],"P(q|d)":[105],"correct":[108],"choice.":[109],"order":[111],"assumption,":[117],"use":[119],"Propositional":[121],"Logic":[122],"Lattice":[125],"theory.":[126],"We":[127],"exploit":[129],"notion":[131],"of":[132,134],"proposed":[138],"Knuth.":[140]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}