Fairness as a Program Property Article Swipe

PDF

Aws Albarghouthi , Loris D’Antoni , Samuel Drews , Aditya V. Nori ·

YOU? · · 2016 · Open Access · · DOI: https://doi.org/10.48550/arxiv.1610.06067

We explore the following question: Is a decision-making program fair, for some useful definition of fairness? First, we describe how several algorithmic fairness questions can be phrased as program verification problems. Second, we discuss an automated verification technique for proving or disproving fairness of decision-making programs with respect to a probabilistic model of the population.

Related Topics

Computer Science

Theoretical Computer Science

Artificial Intelligence

Epistemology

Demography

Philosophy

Concepts

Property (philosophy) Computer science Probabilistic logic Population Theoretical computer science Artificial intelligence Epistemology Sociology Demography Philosophy

Metadata

Type: preprint
Language: en
Landing Page: http://arxiv.org/abs/1610.06067
PDF: https://arxiv.org/pdf/1610.06067
OA Status: green
Cited By: 2
References: 14
Related Works: 20
OpenAlex ID: https://openalex.org/W2537659625

All OpenAlex metadata

Raw OpenAlex JSON

OpenAlex ID: https://openalex.org/W2537659625

Canonical identifier for this work in OpenAlex
DOI: https://doi.org/10.48550/arxiv.1610.06067

Digital Object Identifier
Title: Fairness as a Program Property

Work title
Type: preprint

OpenAlex work type
Language: en

Primary language
Publication year: 2016

Year of publication
Publication date: 2016-10-19

Full publication date if available
Authors: Aws Albarghouthi, Loris D’Antoni, Samuel Drews, Aditya V. Nori

List of authors in order
Landing page: https://arxiv.org/abs/1610.06067

Publisher landing page
PDF URL: https://arxiv.org/pdf/1610.06067

Direct link to full text PDF
Open access: Yes

Whether a free full text is available
OA status: green

Open access status per OpenAlex
OA URL: https://arxiv.org/pdf/1610.06067

Direct OA link when available
Concepts: Property (philosophy), Computer science, Probabilistic logic, Population, Theoretical computer science, Artificial intelligence, Epistemology, Sociology, Demography, Philosophy

Top concepts (fields/topics) attached by OpenAlex
Cited by: 2

Total citation count in OpenAlex
Citations by year (recent): 2021: 1, 2019: 1

Per-year citation counts (last 5 years)
References (count): 14

Number of works referenced by this work
Related works (count): 20

Other works algorithmically related by OpenAlex

Full payload

id	https://openalex.org/W2537659625
doi	https://doi.org/10.48550/arxiv.1610.06067
ids.doi	https://doi.org/10.48550/arxiv.1610.06067
ids.mag	2537659625
ids.openalex	https://openalex.org/W2537659625
fwci
type	preprint
title	Fairness as a Program Property
biblio.issue
biblio.volume
biblio.last_page
biblio.first_page
topics[0].id	https://openalex.org/T10883
topics[0].field.id	https://openalex.org/fields/33
topics[0].field.display_name	Social Sciences
topics[0].score	0.9958000183105469
topics[0].domain.id	https://openalex.org/domains/2
topics[0].domain.display_name	Social Sciences
topics[0].subfield.id	https://openalex.org/subfields/3311
topics[0].subfield.display_name	Safety Research
topics[0].display_name	Ethics and Social Impacts of AI
topics[1].id	https://openalex.org/T11689
topics[1].field.id	https://openalex.org/fields/17
topics[1].field.display_name	Computer Science
topics[1].score	0.9901000261306763
topics[1].domain.id	https://openalex.org/domains/3
topics[1].domain.display_name	Physical Sciences
topics[1].subfield.id	https://openalex.org/subfields/1702
topics[1].subfield.display_name	Artificial Intelligence
topics[1].display_name	Adversarial Robustness in Machine Learning
topics[2].id	https://openalex.org/T12072
topics[2].field.id	https://openalex.org/fields/17
topics[2].field.display_name	Computer Science
topics[2].score	0.9836999773979187
topics[2].domain.id	https://openalex.org/domains/3
topics[2].domain.display_name	Physical Sciences
topics[2].subfield.id	https://openalex.org/subfields/1702
topics[2].subfield.display_name	Artificial Intelligence
topics[2].display_name	Machine Learning and Algorithms
is_xpac	False
apc_list
apc_paid
concepts[0].id	https://openalex.org/C189950617
concepts[0].level	2
concepts[0].score	0.7995113134384155
concepts[0].wikidata	https://www.wikidata.org/wiki/Q937228
concepts[0].display_name	Property (philosophy)
concepts[1].id	https://openalex.org/C41008148
concepts[1].level	0
concepts[1].score	0.7208321690559387
concepts[1].wikidata	https://www.wikidata.org/wiki/Q21198
concepts[1].display_name	Computer science
concepts[2].id	https://openalex.org/C49937458
concepts[2].level	2
concepts[2].score	0.7133512496948242
concepts[2].wikidata	https://www.wikidata.org/wiki/Q2599292
concepts[2].display_name	Probabilistic logic
concepts[3].id	https://openalex.org/C2908647359
concepts[3].level	2
concepts[3].score	0.4803851246833801
concepts[3].wikidata	https://www.wikidata.org/wiki/Q2625603
concepts[3].display_name	Population
concepts[4].id	https://openalex.org/C80444323
concepts[4].level	1
concepts[4].score	0.35498684644699097
concepts[4].wikidata	https://www.wikidata.org/wiki/Q2878974
concepts[4].display_name	Theoretical computer science
concepts[5].id	https://openalex.org/C154945302
concepts[5].level	1
concepts[5].score	0.2112475335597992
concepts[5].wikidata	https://www.wikidata.org/wiki/Q11660
concepts[5].display_name	Artificial intelligence
concepts[6].id	https://openalex.org/C111472728
concepts[6].level	1
concepts[6].score	0.06667765974998474
concepts[6].wikidata	https://www.wikidata.org/wiki/Q9471
concepts[6].display_name	Epistemology
concepts[7].id	https://openalex.org/C144024400
concepts[7].level	0
concepts[7].score	0.05671095848083496
concepts[7].wikidata	https://www.wikidata.org/wiki/Q21201
concepts[7].display_name	Sociology
concepts[8].id	https://openalex.org/C149923435
concepts[8].level	1
concepts[8].score	0.0
concepts[8].wikidata	https://www.wikidata.org/wiki/Q37732
concepts[8].display_name	Demography
concepts[9].id	https://openalex.org/C138885662
concepts[9].level	0
concepts[9].score	0.0
concepts[9].wikidata	https://www.wikidata.org/wiki/Q5891
concepts[9].display_name	Philosophy
keywords[0].id	https://openalex.org/keywords/property
keywords[0].score	0.7995113134384155
keywords[0].display_name	Property (philosophy)
keywords[1].id	https://openalex.org/keywords/computer-science
keywords[1].score	0.7208321690559387
keywords[1].display_name	Computer science
keywords[2].id	https://openalex.org/keywords/probabilistic-logic
keywords[2].score	0.7133512496948242
keywords[2].display_name	Probabilistic logic
keywords[3].id	https://openalex.org/keywords/population
keywords[3].score	0.4803851246833801
keywords[3].display_name	Population
keywords[4].id	https://openalex.org/keywords/theoretical-computer-science
keywords[4].score	0.35498684644699097
keywords[4].display_name	Theoretical computer science
keywords[5].id	https://openalex.org/keywords/artificial-intelligence
keywords[5].score	0.2112475335597992
keywords[5].display_name	Artificial intelligence
keywords[6].id	https://openalex.org/keywords/epistemology
keywords[6].score	0.06667765974998474
keywords[6].display_name	Epistemology
keywords[7].id	https://openalex.org/keywords/sociology
keywords[7].score	0.05671095848083496
keywords[7].display_name	Sociology
language	en
locations[0].id	pmh:oai:arXiv.org:1610.06067
locations[0].is_oa	True
locations[0].source.id	https://openalex.org/S4306400194
locations[0].source.issn
locations[0].source.type	repository
locations[0].source.is_oa	True
locations[0].source.issn_l
locations[0].source.is_core	False
locations[0].source.is_in_doaj	False
locations[0].source.display_name	arXiv (Cornell University)
locations[0].source.host_organization	https://openalex.org/I205783295
locations[0].source.host_organization_name	Cornell University
locations[0].source.host_organization_lineage	https://openalex.org/I205783295
locations[0].license
locations[0].pdf_url	https://arxiv.org/pdf/1610.06067
locations[0].version	submittedVersion
locations[0].raw_type	text
locations[0].license_id
locations[0].is_accepted	False
locations[0].is_published	False
locations[0].raw_source_name
locations[0].landing_page_url	http://arxiv.org/abs/1610.06067
locations[1].id	mag:2537659625
locations[1].is_oa	True
locations[1].source.id	https://openalex.org/S4306400194
locations[1].source.issn
locations[1].source.type	repository
locations[1].source.is_oa	True
locations[1].source.issn_l
locations[1].source.is_core	False
locations[1].source.is_in_doaj	False
locations[1].source.display_name	arXiv (Cornell University)
locations[1].source.host_organization	https://openalex.org/I205783295
locations[1].source.host_organization_name	Cornell University
locations[1].source.host_organization_lineage	https://openalex.org/I205783295
locations[1].license
locations[1].pdf_url
locations[1].version	submittedVersion
locations[1].raw_type
locations[1].license_id
locations[1].is_accepted	False
locations[1].is_published	False
locations[1].raw_source_name	arXiv (Cornell University)
locations[1].landing_page_url	https://arxiv.org/pdf/1610.06067.pdf
locations[2].id	doi:10.48550/arxiv.1610.06067
locations[2].is_oa	True
locations[2].source.id	https://openalex.org/S4306400194
locations[2].source.issn
locations[2].source.type	repository
locations[2].source.is_oa	True
locations[2].source.issn_l
locations[2].source.is_core	False
locations[2].source.is_in_doaj	False
locations[2].source.display_name	arXiv (Cornell University)
locations[2].source.host_organization	https://openalex.org/I205783295
locations[2].source.host_organization_name	Cornell University
locations[2].source.host_organization_lineage	https://openalex.org/I205783295
locations[2].license
locations[2].pdf_url
locations[2].version
locations[2].raw_type	article
locations[2].license_id
locations[2].is_accepted	False
locations[2].is_published
locations[2].raw_source_name
locations[2].landing_page_url	https://doi.org/10.48550/arxiv.1610.06067
locations[3].id	mag:3180056716
locations[3].is_oa	False
locations[3].source
locations[3].license
locations[3].pdf_url
locations[3].version
locations[3].raw_type
locations[3].license_id
locations[3].is_accepted	False
locations[3].is_published
locations[3].raw_source_name
locations[3].landing_page_url	https://www.microsoft.com/en-us/research/wp-content/uploads/2017/01/fatml16.pdf
indexed_in	arxiv, datacite
authorships[0].author.id	https://openalex.org/A5050593520
authorships[0].author.orcid	https://orcid.org/0000-0003-4577-175X
authorships[0].author.display_name	Aws Albarghouthi
authorships[0].author_position	first
authorships[0].raw_author_name	Aws Albarghouthi
authorships[0].is_corresponding	False
authorships[1].author.id	https://openalex.org/A5089920000
authorships[1].author.orcid	https://orcid.org/0000-0001-9625-4037
authorships[1].author.display_name	Loris D’Antoni
authorships[1].author_position	middle
authorships[1].raw_author_name	Loris D'Antoni
authorships[1].is_corresponding	False
authorships[2].author.id	https://openalex.org/A5026703503
authorships[2].author.orcid
authorships[2].author.display_name	Samuel Drews
authorships[2].author_position	middle
authorships[2].raw_author_name	Samuel Drews
authorships[2].is_corresponding	False
authorships[3].author.id	https://openalex.org/A5111937381
authorships[3].author.orcid
authorships[3].author.display_name	Aditya V. Nori
authorships[3].author_position	last
authorships[3].raw_author_name	Aditya V. Nori
authorships[3].is_corresponding	False
has_content.pdf	False
has_content.grobid_xml	False
is_paratext	False
open_access.is_oa	True
open_access.oa_url	https://arxiv.org/pdf/1610.06067
open_access.oa_status	green
open_access.any_repository_has_fulltext	False
created_date	2025-10-10T00:00:00
display_name	Fairness as a Program Property
has_fulltext	False
is_retracted	False
updated_date	2025-11-06T06:51:31.235846
primary_topic.id	https://openalex.org/T10883
primary_topic.field.id	https://openalex.org/fields/33
primary_topic.field.display_name	Social Sciences
primary_topic.score	0.9958000183105469
primary_topic.domain.id	https://openalex.org/domains/2
primary_topic.domain.display_name	Social Sciences
primary_topic.subfield.id	https://openalex.org/subfields/3311
primary_topic.subfield.display_name	Safety Research
primary_topic.display_name	Ethics and Social Impacts of AI
related_works	https://openalex.org/W3180056716, https://openalex.org/W2075968730, https://openalex.org/W2901804819, https://openalex.org/W1905215637, https://openalex.org/W1557155748, https://openalex.org/W2981167595, https://openalex.org/W1868821056, https://openalex.org/W2770566832, https://openalex.org/W2037473757, https://openalex.org/W2586477948, https://openalex.org/W2956229900, https://openalex.org/W2924538541, https://openalex.org/W2984608727, https://openalex.org/W2165037148, https://openalex.org/W1526884469, https://openalex.org/W3036162431, https://openalex.org/W2145400287, https://openalex.org/W1548945677, https://openalex.org/W111983443, https://openalex.org/W2103865407
cited_by_count	2
counts_by_year[0].year	2021
counts_by_year[0].cited_by_count	1
counts_by_year[1].year	2019
counts_by_year[1].cited_by_count	1
locations_count	4
best_oa_location.id	pmh:oai:arXiv.org:1610.06067
best_oa_location.is_oa	True
best_oa_location.source.id	https://openalex.org/S4306400194
best_oa_location.source.issn
best_oa_location.source.type	repository
best_oa_location.source.is_oa	True
best_oa_location.source.issn_l
best_oa_location.source.is_core	False
best_oa_location.source.is_in_doaj	False
best_oa_location.source.display_name	arXiv (Cornell University)
best_oa_location.source.host_organization	https://openalex.org/I205783295
best_oa_location.source.host_organization_name	Cornell University
best_oa_location.source.host_organization_lineage	https://openalex.org/I205783295
best_oa_location.license
best_oa_location.pdf_url	https://arxiv.org/pdf/1610.06067
best_oa_location.version	submittedVersion
best_oa_location.raw_type	text
best_oa_location.license_id
best_oa_location.is_accepted	False
best_oa_location.is_published	False
best_oa_location.raw_source_name
best_oa_location.landing_page_url	http://arxiv.org/abs/1610.06067
primary_location.id	pmh:oai:arXiv.org:1610.06067
primary_location.is_oa	True
primary_location.source.id	https://openalex.org/S4306400194
primary_location.source.issn
primary_location.source.type	repository
primary_location.source.is_oa	True
primary_location.source.issn_l
primary_location.source.is_core	False
primary_location.source.is_in_doaj	False
primary_location.source.display_name	arXiv (Cornell University)
primary_location.source.host_organization	https://openalex.org/I205783295
primary_location.source.host_organization_name	Cornell University
primary_location.source.host_organization_lineage	https://openalex.org/I205783295
primary_location.license
primary_location.pdf_url	https://arxiv.org/pdf/1610.06067
primary_location.version	submittedVersion
primary_location.raw_type	text
primary_location.license_id
primary_location.is_accepted	False
primary_location.is_published	False
primary_location.raw_source_name
primary_location.landing_page_url	http://arxiv.org/abs/1610.06067
publication_date	2016-10-19
publication_year	2016
referenced_works	https://openalex.org/W2791059564, https://openalex.org/W1987679122, https://openalex.org/W2162670686, https://openalex.org/W2952092676, https://openalex.org/W2100960835, https://openalex.org/W2406252837, https://openalex.org/W2062818807, https://openalex.org/W2295266283, https://openalex.org/W2297259217, https://openalex.org/W2577537660, https://openalex.org/W2951841654, https://openalex.org/W1489298643, https://openalex.org/W2095932468, https://openalex.org/W3123374861
referenced_works_count	14
abstract_inverted_index.a	6, 49
abstract_inverted_index.Is	5
abstract_inverted_index.We	0
abstract_inverted_index.an	34
abstract_inverted_index.as	27
abstract_inverted_index.be	25
abstract_inverted_index.of	14, 43, 52
abstract_inverted_index.or	40
abstract_inverted_index.to	48
abstract_inverted_index.we	17, 32
abstract_inverted_index.can	24
abstract_inverted_index.for	10, 38
abstract_inverted_index.how	19
abstract_inverted_index.the	2, 53
abstract_inverted_index.some	11
abstract_inverted_index.with	46
abstract_inverted_index.fair,	9
abstract_inverted_index.model	51
abstract_inverted_index.First,	16
abstract_inverted_index.useful	12
abstract_inverted_index.Second,	31
abstract_inverted_index.discuss	33
abstract_inverted_index.explore	1
abstract_inverted_index.phrased	26
abstract_inverted_index.program	8, 28
abstract_inverted_index.proving	39
abstract_inverted_index.respect	47
abstract_inverted_index.several	20
abstract_inverted_index.describe	18
abstract_inverted_index.fairness	22, 42
abstract_inverted_index.programs	45
abstract_inverted_index.automated	35
abstract_inverted_index.fairness?	15
abstract_inverted_index.following	3
abstract_inverted_index.problems.	30
abstract_inverted_index.question:	4
abstract_inverted_index.questions	23
abstract_inverted_index.technique	37
abstract_inverted_index.definition	13
abstract_inverted_index.disproving	41
abstract_inverted_index.algorithmic	21
abstract_inverted_index.population.	54
abstract_inverted_index.verification	29, 36
abstract_inverted_index.probabilistic	50
abstract_inverted_index.decision-making	7, 44
cited_by_percentile_year
countries_distinct_count	0
institutions_distinct_count	4
sustainable_development_goals[0].id	https://metadata.un.org/sdg/16
sustainable_development_goals[0].score	0.8399999737739563
sustainable_development_goals[0].display_name	Peace, Justice and strong institutions
citation_normalized_percentile