Skip to the content.

πŸ…ƒπŸ„ΈπŸ„»πŸ„΄πŸ…‚

License build

Tiles is a framework to create formal configurations of constraints. Its classes are written in Soda and grouped in packages translated to Scala.

This is an example of a pipeline to detect equality.

equality

The meaning is: for all agents (all-agent), compute how much each agent accumulates (accumulates), and ensure that all of them received the same amount (all-equal). The notation (a) denotes a sequence of agents, (m) denotes a sequence of quantities, and b denotes a single Boolean value.

Publications

Examples

Example Description
Β  Β 
Equality Determines whether every agent receives the same amount of resources.
Β  Β 
Equity Determines whether all agents receive resources according to their needs.
Β  Β 
Envy-Freeness Determines whether the distribution is envy-free.
Β  Β 
Group Fairness Determines whether the distribution preserves fairness across groups.
Β  Β 
Individual Fairness Determines whether the distribution preserves fairness for individuals.
Β  Β 
Scoring Measures the correlation between false positives and a protected attribute.
Β  Β 
Jain’s Index Measures fairness according to the Jain’s index.
Β  Β 
Complement of the Gini Index Measures fairness using the complement of the Gini index.
Β  Β 
Child Care Subsidy Represents a collection of possible pipelines for child care subsidies.
Β  Β 

Executable

This project includes an executable example of Child Care Subsidy pipelines. The script makeall.sh creates the file tiles, which is an executable JAR file that can be directly executed in Linux. Its input is a YAML configuration file, like the configuration file provided for the unit tests.

Author

Julian Alfredo Mendez