https://github.com/julianmendez/tiles
Framework to create formal configurations of constraints.
https://github.com/julianmendez/tiles
responsible-ai soda-language umea-university
Last synced: 8 months ago
JSON representation
Framework to create formal configurations of constraints.
- Host: GitHub
- URL: https://github.com/julianmendez/tiles
- Owner: julianmendez
- Created: 2024-02-11T12:17:34.000Z (over 1 year ago)
- Default Branch: master
- Last Pushed: 2024-11-20T22:29:38.000Z (11 months ago)
- Last Synced: 2024-12-20T09:10:33.593Z (10 months ago)
- Topics: responsible-ai, soda-language, umea-university
- Language: Scala
- Homepage: https://julianmendez.github.io/tiles/
- Size: 138 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: docs/README.md
Awesome Lists containing this project
README
# [Tiles](https://julianmendez.github.io/tiles/)
[][license]
[][build-status]
**Tiles** is a framework to create formal configurations of constraints. Its classes are
written in [Soda][soda] and grouped in packages translated to
[Scala][scala].
The fairness tiles are defined in [package tile][package-tile]
[(Scala translation)][package-tile-scala] and they use entities and other tools defined in
[package tool][package-tool] [(Scala translation)][package-tool-scala].
## Publications
*
Julian Alfredo Mendez, Timotheus Kampik, Andrea Aler Tubella, and Virginia Dignum. **A Clearer View on Fairness: Visual and Formal Representation for Comparative Analysis**. In Florian Westphal, Einav Peretz-Andersson, Maria Riveiro, Kerstin Bach, and Fredrik Heintz, editors, *14th Scandinavian Conference on Artificial Intelligence, SCAI 2024*, pages 112-120. Swedish Artificial Intelligence Society, June 2024.
DOI:[10.3384/ecp208013][tiles-doi]
[Abstract][tiles-abstract]
[BibTeX][tiles-bibtex]
[PDF][tiles-pdf]
[Implementation][tiles-impl]
*
Julian Alfredo Mendez.
**Soda: An Object-Oriented Functional Language for Specifying Human-Centered Problems**.
arXiv
DOI:[10.48550/arXiv.2310.01961][soda-doi]
[Abstract][soda-abstract]
[BibTeX][soda-bibtex]
[PDF][soda-pdf]
[Implementation][soda-impl]
## Example
This project includes an executable example of [Child Care Subsidy][ccs-example] 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][yaml] configuration file, like the
[configuration file][test-yaml-conf] provided for the unit tests. For more details, see the
[Child Care Subsidy example][ccs-example].
## Resource Allocation Scenarios
These are some of the implemented fairness tiles for resource allocation scenarios:
| Tile | Class |
|:----------------------------------------------------|:-----------------------------------------|
| all-actor *(a)* | [AllActorTile][AllActorTile] |
| *(a)* received *(m)* | [ReceivedSigmaPTile][ReceivedSigmaPTile] |
| *(m)* all-equal *b* | [AllEqualTile][AllEqualTile] |
| *(a)* needed *(m)* | [NeededPTile][NeededPTile] |
| *(m0), (m1)* all-at-least *b* | [AllAtLeastTile][AllAtLeastTile] |
| equality *b* | [EqualityPipeline][EqualityPipeline] |
| equity *b* | [EquityPipeline][EquityPipeline] |
A specific scenario is given as an example
in [ResourceAllocationScenarioExample][ResourceAllocationScenarioExample].
This scenario is used to test the equality tile
with [EqualityPipelineSpec][EqualityPipelineSpec]
and the equity tile
with [EquityPipelineSpec][EquityPipelineSpec].
### Example of Equality
```mermaid
graph LR
all-actor(all-actor) --> received
received(received) --> all-equal(all-equal)
```
### Example of Equity
```mermaid
graph LR
all-actor(all-actor) --> received
all-actor --> needed
received(received) --> all-at-least(all-at-least)
needed(needed) --> all-at-least
```
### Auxiliary Tiles
The auxiliary tiles are used in the construction of other tiles. Some of the auxiliary tiles
are:
| Tile | Class |
|:-------------------------------------------------------------------------|:-------------------------------------|
| *(a)* attribute *(m)* | [AttributePTile][AttributePTile] |
| *(m0), (m1)* σ *(m)* | [SigmaTile][SigmaTile] |
| *(α0),(α1)* zip *(α0, α1)* | [ZipTile][ZipTile] |
| *(α0, α1)* unzip-0 *(α0)* | [UnzipPairFstTile][UnzipPairFstTile] |
| *(α0, α1)* unzip-1 *(α1)* | [UnzipPairSndTile][UnzipPairSndTile] |
### More examples
* [Scoring Example][scoring-example]
## Author
[Julian Alfredo Mendez][author]
[tiles-doi]: https://doi.org/10.3384/ecp208013
[tiles-abstract]: https://ecp.ep.liu.se/index.php/sais/article/view/1005
[tiles-bibtex]: https://julianmendez.github.io/tiles/bibtex-2024.html
[tiles-pdf]: https://ecp.ep.liu.se/index.php/sais/article/view/1005/913
[tiles-impl]: https://github.com/julianmendez/tiles
[soda-doi]: https://doi.org/10.48550/arXiv.2310.01961
[soda-abstract]: https://arxiv.org/abs/2310.01961
[soda-bibtex]: https://julianmendez.github.io/soda/bibtex-2023.html
[soda-pdf]: https://arxiv.org/pdf/2310.01961
[soda-impl]: https://github.com/julianmendez/soda
[author]: https://julianmendez.github.io
[license]: https://www.apache.org/licenses/LICENSE-2.0.txt
[build-status]: https://github.com/julianmendez/tiles/actions
[release-notes]: https://julianmendez.github.io/tiles/RELEASE-NOTES.html
[soda]: https://github.com/julianmendez/soda
[scala]: https://scala-lang.org
[yaml]: https://yaml.org
[package-tile]: https://github.com/julianmendez/tiles/tree/master/core/src/main/scala/soda/tiles/fairness/tile
[package-tile-scala]: https://github.com/julianmendez/tiles/blob/master/core/src/main/scala/soda/tiles/fairness/tile/Package.scala
[package-tool]: https://github.com/julianmendez/tiles/tree/master/core/src/main/scala/soda/tiles/fairness/tool
[package-tool-scala]: https://github.com/julianmendez/tiles/blob/master/core/src/main/scala/soda/tiles/fairness/tool/Package.scala
[AllActorTile]: https://github.com/julianmendez/tiles/blob/master/core/src/main/scala/soda/tiles/fairness/tile/AllActorTile.soda
[ReceivedSigmaPTile]: https://github.com/julianmendez/tiles/blob/master/core/src/main/scala/soda/tiles/fairness/tile/ReceivedSigmaPTile.soda
[AllEqualTile]: https://github.com/julianmendez/tiles/blob/master/core/src/main/scala/soda/tiles/fairness/tile/AllEqualTile.soda
[NeededPTile]: https://github.com/julianmendez/tiles/blob/master/core/src/main/scala/soda/tiles/fairness/tile/NeededPTile.soda
[AllAtLeastTile]: https://github.com/julianmendez/tiles/blob/master/core/src/main/scala/soda/tiles/fairness/tile/AllAtLeastTile.soda
[EqualityPipeline]: https://github.com/julianmendez/tiles/blob/master/core/src/main/scala/soda/tiles/fairness/pipeline/EqualityPipeline.soda
[EquityPipeline]: https://github.com/julianmendez/tiles/blob/master/core/src/main/scala/soda/tiles/fairness/pipeline/EquityPipeline.soda
[AttributePTile]: https://github.com/julianmendez/tiles/blob/master/core/src/main/scala/soda/tiles/fairness/tile/AttributePTile.soda
[SigmaTile]: https://github.com/julianmendez/tiles/blob/master/core/src/main/scala/soda/tiles/fairness/tile/SigmaTile.soda
[ZipTile]: https://github.com/julianmendez/tiles/blob/master/core/src/main/scala/soda/tiles/fairness/tile/ZipTile.soda
[UnzipPairFstTile]: https://github.com/julianmendez/tiles/blob/master/core/src/main/scala/soda/tiles/fairness/tile/UnzipPairFstTile.soda
[UnzipPairSndTile]: https://github.com/julianmendez/tiles/blob/master/core/src/main/scala/soda/tiles/fairness/tile/UnzipPairSndTile.soda
[ResourceAllocationScenarioExample]: https://github.com/julianmendez/tiles/blob/master/core/src/test/scala/soda/tiles/fairness/pipeline/ResourceAllocationScenarioExample.soda
[EqualityPipelineSpec]: https://github.com/julianmendez/tiles/blob/master/core/src/test/scala/soda/tiles/fairness/pipeline/EqualityPipelineSpec.soda
[EquityPipelineSpec]: https://github.com/julianmendez/tiles/blob/master/core/src/test/scala/soda/tiles/fairness/pipeline/EquityPipelineSpec.soda
[ccs-example]: https://julianmendez.github.io/tiles/ccs_example.html
[test-yaml-conf]: https://github.com/julianmendez/tiles/blob/master/examples/src/test/resources/example/example0.yaml
[scoring-example]: https://julianmendez.github.io/tiles/scoring_example.html
window.mermaid.init(undefined, document.querySelectorAll('.language-mermaid'));