paper-with-me

홈 › Papers

On the Computability of Multiclass PAC Learning

2025-02-10 · Pascale Gourdeau, Tosca Lechner, Ruth Urner

We study the problem of computable multiclass learnability within the Probably Approximately Correct (PAC) learning framework of Valiant (1984). In the recently introduced computable PAC (CPAC) learning framework of Agarwal et al. (2020), both learners and the functions they output are required to be computable. We focus on the case of finite label space and start by proposing a computable version of the Natarajan dimension and showing that it characterizes CPAC learnability in this setting. We further generalize this result by establishing a meta-characterization of CPAC learnability for a certain family of dimensions: computable distinguishers. Distinguishers were defined by Ben-David et al. (1992) as a certain family of embeddings of the label space, with each embedding giving rise to a dimension. It was shown that the finiteness of each such dimension characterizes multiclass PAC learnability for finite label space in the non-computable setting. We show that the corresponding computable dimensions for distinguishers characterize CPAC learning. We conclude our analysis by proving that the DS dimension, which characterizes PAC learnability for infinite label space, cannot be expressed as a distinguisher (even in the case of finite label space).

📄 PDF Abstract BibTeX arXiv:2502.06089

Code (0)

등록된 구현이 없습니다.

Tasks

PAC learning

Methods 이 논문이 사용한 방법론

Focus 설명 없음

Similar Papers 제목 키워드 기반

Extending and Automating Basic Probability Theory with Propositional Computability Logic

2019-09-16 · Keehang Kwon

Classical probability theory is formulated using sets. In this paper, we extend classical probability theory with propositional computability logic. Unlike other formalisms, computability logic is built on the notion of …

On the Computability of Solomonoff Induction and Knowledge-Seeking

2015-07-15 · Jan Leike, Marcus Hutter

Solomonoff induction is held as a gold standard for learning, but it is known to be incomputable. We quantify its incomputability by placing various flavors of Solomonoff's prior M in the arithmetical hierarchy. We also …

reinforcement-learningReinforcement LearningReinforcement Learning (RL)

How To Solve Moral Conundrums with Computability Theory

2018-05-22 · Min Baek

Various moral conundrums plague population ethics: the Non-Identity Problem, the Procreation Asymmetry, the Repugnant Conclusion, and more. I argue that the aforementioned moral conundrums have a structure neatly account…

EthicsPhilosophy

Implementing Agent-Based Systems via Computability Logic CL2

2020-10-18 · Keehang Kwon

Computability logic(CoL) is a powerful computational model. In this paper, we show that CoL naturally supports multi-agent programming models where resources (coffee for example) are involved. To be specific, we discuss …

Is Complexity Important for Philosophy of Mind?

2021-11-02 · Kristina Šekrst, Sandro Skansi

Computational complexity has often been ignored in philosophy of mind, in philosophical artificial intelligence studies. The purpose of this paper is threefold. First and foremost, to show the importance of complexity ra…

Philosophy