{"id":"https://openalex.org/W4384828700","doi":"https://doi.org/10.1017/s1471068423000157","title":"Toward A Logical Theory Of Fairness and Bias","display_name":"Toward A Logical Theory Of Fairness and Bias","publication_year":2023,"publication_date":"2023-07-01","ids":{"openalex":"https://openalex.org/W4384828700","doi":"https://doi.org/10.1017/s1471068423000157"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068423000157","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068423000157","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/A6818B29C4FA994B071EBD817282E7B5/S1471068423000157a.pdf/div-class-title-toward-a-logical-theory-of-fairness-and-bias-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/A6818B29C4FA994B071EBD817282E7B5/S1471068423000157a.pdf/div-class-title-toward-a-logical-theory-of-fairness-and-bias-div.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5002932153","display_name":"Vaishak Belle","orcid":"https://orcid.org/0000-0001-5573-8465"},"institutions":[{"id":"https://openalex.org/I125680101","display_name":"Turing Institute","ror":"https://ror.org/02x2mw849","country_code":"GB","type":"facility","lineage":["https://openalex.org/I125680101"]},{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"VAISHAK BELLE","raw_affiliation_strings":["University of Edinburgh & Alan Turing Institute, UK, (e-mail:"],"raw_orcid":"https://orcid.org/0000-0001-5573-8465","affiliations":[{"raw_affiliation_string":"University of Edinburgh & Alan Turing Institute, UK, (e-mail:","institution_ids":["https://openalex.org/I125680101","https://openalex.org/I98677209"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5002932153"],"corresponding_institution_ids":["https://openalex.org/I125680101","https://openalex.org/I98677209"],"apc_list":null,"apc_paid":null,"fwci":0.5044,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.71256537,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":"23","issue":"4","first_page":"865","last_page":"883"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10883","display_name":"Ethics and Social Impacts of AI","score":0.9944000244140625,"subfield":{"id":"https://openalex.org/subfields/3311","display_name":"Safety Research"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10883","display_name":"Ethics and Social Impacts of AI","score":0.9944000244140625,"subfield":{"id":"https://openalex.org/subfields/3311","display_name":"Safety Research"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.9789000153541565,"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/T10778","display_name":"Philosophy and History of Science","score":0.9742000102996826,"subfield":{"id":"https://openalex.org/subfields/1207","display_name":"History and Philosophy of Science"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/counterfactual-thinking","display_name":"Counterfactual thinking","score":0.9021813273429871},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.822376012802124},{"id":"https://openalex.org/keywords/parity","display_name":"Parity (physics)","score":0.5191135406494141},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3953249752521515},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3682435154914856},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.3396783173084259},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.09270590543746948}],"concepts":[{"id":"https://openalex.org/C108650721","wikidata":"https://www.wikidata.org/wiki/Q1783253","display_name":"Counterfactual thinking","level":2,"score":0.9021813273429871},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.822376012802124},{"id":"https://openalex.org/C2777151079","wikidata":"https://www.wikidata.org/wiki/Q141160","display_name":"Parity (physics)","level":2,"score":0.5191135406494141},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3953249752521515},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3682435154914856},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.3396783173084259},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.09270590543746948},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C109214941","wikidata":"https://www.wikidata.org/wiki/Q18334","display_name":"Particle physics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1017/s1471068423000157","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068423000157","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/A6818B29C4FA994B071EBD817282E7B5/S1471068423000157a.pdf/div-class-title-toward-a-logical-theory-of-fairness-and-bias-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},{"id":"pmh:oai:pure.ed.ac.uk:publications/2856c833-a6aa-4ba4-bb01-ea513f7c5ce8","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/2856c833-a6aa-4ba4-bb01-ea513f7c5ce8","pdf_url":null,"source":{"id":"https://openalex.org/S4306400321","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Belle, V 2023, 'Toward A Logical Theory Of Fairness and Bias', Theory and Practice of Logic Programming, vol. 23, no. 4, pp. 865-883. https://doi.org/10.1017/S1471068423000157","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1017/s1471068423000157","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068423000157","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/A6818B29C4FA994B071EBD817282E7B5/S1471068423000157a.pdf/div-class-title-toward-a-logical-theory-of-fairness-and-bias-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Life in Land","id":"https://metadata.un.org/sdg/15","score":0.6000000238418579}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4384828700.pdf"},"referenced_works_count":59,"referenced_works":["https://openalex.org/W194658220","https://openalex.org/W1262127546","https://openalex.org/W1499053674","https://openalex.org/W1511767298","https://openalex.org/W1544123977","https://openalex.org/W1587191403","https://openalex.org/W1599910133","https://openalex.org/W1601102605","https://openalex.org/W1636554345","https://openalex.org/W1857325261","https://openalex.org/W1977208552","https://openalex.org/W1991972474","https://openalex.org/W1996387377","https://openalex.org/W2020398501","https://openalex.org/W2025270539","https://openalex.org/W2026019770","https://openalex.org/W2045474169","https://openalex.org/W2070368455","https://openalex.org/W2100960835","https://openalex.org/W2106898966","https://openalex.org/W2115872603","https://openalex.org/W2124600733","https://openalex.org/W2127931207","https://openalex.org/W2139630036","https://openalex.org/W2143544657","https://openalex.org/W2154114149","https://openalex.org/W2188435450","https://openalex.org/W2294750444","https://openalex.org/W2298619263","https://openalex.org/W2569901565","https://openalex.org/W2740289278","https://openalex.org/W2772953505","https://openalex.org/W2778429004","https://openalex.org/W2788936316","https://openalex.org/W2788938373","https://openalex.org/W2809878087","https://openalex.org/W2898965366","https://openalex.org/W2908766589","https://openalex.org/W2910372555","https://openalex.org/W2964031043","https://openalex.org/W2972669077","https://openalex.org/W2973353607","https://openalex.org/W3035523484","https://openalex.org/W3081416561","https://openalex.org/W3083540916","https://openalex.org/W3103118991","https://openalex.org/W3187159960","https://openalex.org/W4220672229","https://openalex.org/W4243435718","https://openalex.org/W4252785764","https://openalex.org/W4289258088","https://openalex.org/W4289389788","https://openalex.org/W4297809285","https://openalex.org/W4300999134","https://openalex.org/W6684072790","https://openalex.org/W6728551298","https://openalex.org/W6744110554","https://openalex.org/W6747445220","https://openalex.org/W6767655497"],"related_works":["https://openalex.org/W3201448254","https://openalex.org/W4286970243","https://openalex.org/W2066431708","https://openalex.org/W3025615835","https://openalex.org/W4384133558","https://openalex.org/W173210993","https://openalex.org/W2390660599","https://openalex.org/W3028847759","https://openalex.org/W2393688264","https://openalex.org/W2392715194"],"abstract_inverted_index":{"Abstract":[0],"Fairness":[1],"in":[2,9,52,79],"machine":[3],"learning":[4],"is":[5],"of":[6,16,37],"considerable":[7],"interest":[8],"recent":[10],"years":[11],"owing":[12],"to":[13,22,43,48],"the":[14,80],"propensity":[15],"algorithms":[17],"trained":[18],"on":[19],"historical":[20,26],"data":[21],"amplify":[23],"and":[24,56,73,76],"perpetuate":[25],"biases.":[27],"In":[28],"this":[29],"paper,":[30],"we":[31,63],"argue":[32],"for":[33,58],"a":[34],"formal":[35],"reconstruction":[36],"fairness":[38,68],"definitions,":[39],"not":[40],"so":[41],"much":[42],"replace":[44],"existing":[45],"definitions":[46],"but":[47],"ground":[49],"their":[50],"application":[51],"an":[53],"epistemic":[54,81],"setting":[55],"allow":[57],"rich":[59],"environmental":[60],"modeling.":[61],"Consequently":[62],"look":[64],"into":[65],"three":[66],"notions:":[67],"through":[69],"unawareness,":[70],"demographic":[71],"parity":[72],"counterfactual":[74],"fairness,":[75],"formalize":[77],"these":[78],"situation":[82],"calculus.":[83]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2025-12-22T23:10:17.713674","created_date":"2025-10-10T00:00:00"}