Invitation to the Logic Seminar at the National University of Singapore
Date: Wednesday, 14 January 2015, 17:00 hrs
Room: S17#05-22, Department of Mathematics, NUS
Speaker: Frank Stephan
Title: Recent progress on partial learning and related notions.
Inductive inference investigates the learnability of classes
of r.e. sets or classes of recursive functions from presentations
of the data in a natural form. While it is known that the basic
criterion of explanatory learning does not permit to learn the
class of all recursive functions or all r.e. sets, Osherson,
Stob and Weinstein showed that a more general criterion of
partial learning permits to learn these two classes. These
findings motivated the study of combining partial learning with
additional constraints such as confidence, consistency and conservativeness.
The present talk provides additional insights on this topic
based on recent findings.
This is joint work with Gao Ziyuan and Sandra Zilles
Note: The talk will be combined with an organisatorial meeting
for the upcoming logic seminars.