Ott, Claire ; Jäkel, Frank (2024)
SimplifEx: Simplifying and Explaining Linear Programs.
In: Cognitive Systems Research, 88
doi: 10.1016/j.cogsys.2024.101298
Artikel, Bibliographie
Kurzbeschreibung (Abstract)
Linear Programming is one of the most common methods for finding optimal solutions to complex problems. Despite its extensive use, solutions are not usually accompanied by explanations, especially explanations for non-experts. Our new tool SimplifEx combines well-known preprocessing techniques with cognitively adequate heuristics to simplify a given linear program, structure its variables, and explain the optimal solution that was found. SimplifEx is meant to improve intuitive understanding of linear programs. In addition, we introduce a generalization of the classical dominance relation in Linear Programming. The order of dominant and dominated variables in an optimal solution can give valuable insights into the structure of a problem and fits well with how humans approach linear programs. The resulting, automatically generated explanations include detailed step-wise listings of processing steps and graphs that provide an overview. The heuristics are based on historical and experimental observations of people solving linear programs by hand. We apply SimplifEx to Stigler’s diet problem as a running example.
| Typ des Eintrags: | Artikel |
|---|---|
| Erschienen: | 2024 |
| Autor(en): | Ott, Claire ; Jäkel, Frank |
| Art des Eintrags: | Bibliographie |
| Titel: | SimplifEx: Simplifying and Explaining Linear Programs |
| Sprache: | Englisch |
| Publikationsjahr: | 2024 |
| Titel der Zeitschrift, Zeitung oder Schriftenreihe: | Cognitive Systems Research |
| Jahrgang/Volume einer Zeitschrift: | 88 |
| DOI: | 10.1016/j.cogsys.2024.101298 |
| Kurzbeschreibung (Abstract): | Linear Programming is one of the most common methods for finding optimal solutions to complex problems. Despite its extensive use, solutions are not usually accompanied by explanations, especially explanations for non-experts. Our new tool SimplifEx combines well-known preprocessing techniques with cognitively adequate heuristics to simplify a given linear program, structure its variables, and explain the optimal solution that was found. SimplifEx is meant to improve intuitive understanding of linear programs. In addition, we introduce a generalization of the classical dominance relation in Linear Programming. The order of dominant and dominated variables in an optimal solution can give valuable insights into the structure of a problem and fits well with how humans approach linear programs. The resulting, automatically generated explanations include detailed step-wise listings of processing steps and graphs that provide an overview. The heuristics are based on historical and experimental observations of people solving linear programs by hand. We apply SimplifEx to Stigler’s diet problem as a running example. |
| Freie Schlagworte: | Linear programming, Explanation, Diet problem, Weak dominance, XAI, Preprocessing |
| Fachbereich(e)/-gebiet(e): | 03 Fachbereich Humanwissenschaften Forschungsfelder Forschungsfelder > Information and Intelligence Forschungsfelder > Information and Intelligence > Cognitive Science 03 Fachbereich Humanwissenschaften > Institut für Psychologie 03 Fachbereich Humanwissenschaften > Institut für Psychologie > Modelle höherer Kognition Zentrale Einrichtungen Zentrale Einrichtungen > Centre for Cognitive Science (CCS) |
| Hinterlegungsdatum: | 04 Nov 2024 10:37 |
| Letzte Änderung: | 04 Nov 2024 10:37 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum