paper-with-me

Papers

PAC-learning is Undecidable

2018-08-20 · Sairaam Venkatraman, S. Balasubramanian, R. Raghunatha Sarma

The problem of attempting to learn the mapping between data and labels is the crux of any machine learning task. It is, therefore, of interest to the machine learning community on practical as well as theoretical counts to consider the existence of a test or criterion for deciding the feasibility of attempting to learn. We investigate the existence of such a criterion in the setting of PAC-learning, basing the feasibility solely on whether the mapping to be learnt lends itself to approximation by a given class of hypothesis functions. We show that no such criterion exists, exposing a fundamental limitation in the decidability of learning. In other words, we prove that testing for PAC-learnability is undecidable in the Turing sense. We also briefly discuss some of the probable implications of this result to the current practice of machine learning.

📄 PDF Abstract BibTeX arXiv:1808.06324

Code (0)

등록된 구현이 없습니다.

Tasks

BIG-bench Machine LearningPAC learning

Similar Papers 제목 키워드 기반

A Note on Quantum Markov Models

2019-11-05 · Christino Tamon, Weichen Xie

The study of Markov models is central to control theory and machine learning. A quantum analogue of partially observable Markov decision process was studied in (Barry, Barry, and Aaronson, Phys. Rev. A, 90, 2014). It was…

Kleene algebra with commutativity conditions is undecidable

2024-11-24 · Arthur Azevedo de Amorim, Cheng Zhang, Marco Gaboardi

We prove that the equational theory of Kleene algebra with commutativity conditions on primitives (or atomic terms) is undecidable, thereby settling a longstanding open question in the theory of Kleene algebra. While thi…

Conservative Extensions for Existential Rules

2022-02-11 · Jean Christoph Jung, Carsten Lutz, Jerzy Macinkowski

We study the problem to decide, given sets T1,T2 of tuple-generating dependencies (TGDs), also called existential rules, whether T2 is a conservative extension of T1. We consider two natural notions of conservative exten…

Query Inseparability for ALC Ontologies

2019-01-31 · Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter 외

We investigate the problem whether two ALC ontologies are indistinguishable (or inseparable) by means of queries in a given signature, which is fundamental for ontology engineering tasks such as ontology versioning, modu…

Turing or Cantor: That is the Question

2026-04-12 · Eugene Eberbach arxiv

Alan Turing is considered as a founder of current computer science together with Kurt Godel, Alonzo Church and John von Neumann. In this paper multiple new research results are presented. It is demonstrated that there wo…