Turing Meets Machine Learning: Uncomputability of Zero-Error Classifiers
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Abstract
In almost all areas of information technology, the importance of automated decision-making based on intelligent algorithms has been increasing steadily within recent years. Since many of the envisioned near-future applications of these algorithms involve critical infrastructure or sensitive human goods, a sound theoretical basis for integrity assessment is required, if for no other reason than the legal accountability of system operators. This article aims to contribute to the understanding of integrity of automated decision-making under the aspect of fundamental mathematical models for computing hardware. To this end, we apply the theory of Turing machines to the problem of separating the support sets of smooth functions, which provides a simple yet mathematically rigorous framework for support-vector machines on digital computers. Further, we investigate characteristic quantities and objects, such as the distance between two separated support sets, or separating hyperplanes themselves, with regards to their computability properties, and provide non-technical interpretations of our findings in the context of machine learning and technological trustworthiness.
Details
Originalsprache | Englisch |
---|---|
Titel | 2023 62nd IEEE Conference on Decision and Control, CDC 2023 |
Herausgeber (Verlag) | Institute of Electrical and Electronics Engineers Inc. |
Seiten | 8559-8566 |
Seitenumfang | 8 |
ISBN (elektronisch) | 9798350301243 |
Publikationsstatus | Veröffentlicht - 2023 |
Peer-Review-Status | Ja |
Publikationsreihe
Reihe | Proceedings of the IEEE Conference on Decision and Control |
---|---|
ISSN | 0743-1546 |
Konferenz
Titel | 62nd IEEE Conference on Decision and Control, CDC 2023 |
---|---|
Dauer | 13 - 15 Dezember 2023 |
Stadt | Singapore |
Land | Singapur |