Robust separations in inductive inference

Results in recursion-theoretic inductive inference have been criticized as depending on unrealistic self-referential examples. J.M. Barzdin (1974) proposed a way of ruling out such examples and conjectured that one of the earliest results of inductive inference theory would fall if his method were u...

Full description

Saved in:
Bibliographic Details
Published inFoundations of Computer Science, 31st Symposium pp. 405 - 410 vol.1
Main Author Fulk, M.A.
Format Conference Proceeding
LanguageEnglish
Published IEEE Comput. Soc. Press 1990
Subjects
Online AccessGet full text
ISBN081862082X
9780818620829
DOI10.1109/FSCS.1990.89560

Cover

Abstract Results in recursion-theoretic inductive inference have been criticized as depending on unrealistic self-referential examples. J.M. Barzdin (1974) proposed a way of ruling out such examples and conjectured that one of the earliest results of inductive inference theory would fall if his method were used. The author refutes Barzdin's conjecture and proposes a new line of research examining robust separations which are defined using a strengthening of Barzdin's original idea. Preliminary results are presented, and the most important open problem is stated as a conjecture. The extension of this work from function learning to formal language learning is discussed.< >
AbstractList Results in recursion-theoretic inductive inference have been criticized as depending on unrealistic self-referential examples. J.M. Barzdin (1974) proposed a way of ruling out such examples and conjectured that one of the earliest results of inductive inference theory would fall if his method were used. The author refutes Barzdin's conjecture and proposes a new line of research examining robust separations which are defined using a strengthening of Barzdin's original idea. Preliminary results are presented, and the most important open problem is stated as a conjecture. The extension of this work from function learning to formal language learning is discussed.< >
Author Fulk, M.A.
Author_xml – sequence: 1
  givenname: M.A.
  surname: Fulk
  fullname: Fulk, M.A.
  organization: Rochester Univ., NY, USA
BookMark eNotT01LAzEUDKigrT2Lt1497PrysdmXoyy2CoVCq-CtZJMXiGi2bLaC_96gDgMzMMPAzNh5GhIxdsOh5hzM_Wrf7WtuDNRoGg1nbAbIUQtA8XbJFjm_Q0HToBTyit3thv6Up2Wmox3tFIeUlzEV-pOb4hcVF2ik5OiaXQT7kWnxr3P2unp86Z6qzXb93D1sqshBTpULrTbeO1Ktbg23iqvWCAIVFCpA9C5o773osaQCuXBGOg-ljoJTH-Sc3f7tRiI6HMf4acfvw-8X-QO3F0B7
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/FSCS.1990.89560
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Xplore POP ALL
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://proxy.k.utb.cz/login?url=https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
EndPage 410 vol.1
ExternalDocumentID 89560
GroupedDBID 6IE
6IK
6IL
AAJGR
AAWTH
ACGHX
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
IERZE
OCL
RIB
RIC
RIE
RIL
ID FETCH-LOGICAL-i103t-cf769ddce476791a414792e04f484088dcf6ddd2b87912812c93cd0e47821ebf3
IEDL.DBID RIE
ISBN 081862082X
9780818620829
IngestDate Tue Aug 26 17:02:10 EDT 2025
IsPeerReviewed false
IsScholarly false
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i103t-cf769ddce476791a414792e04f484088dcf6ddd2b87912812c93cd0e47821ebf3
ParticipantIDs ieee_primary_89560
PublicationCentury 1900
PublicationDate 19900000
PublicationDateYYYYMMDD 1990-01-01
PublicationDate_xml – year: 1990
  text: 19900000
PublicationDecade 1990
PublicationTitle Foundations of Computer Science, 31st Symposium
PublicationTitleAbbrev SFCS
PublicationYear 1990
Publisher IEEE Comput. Soc. Press
Publisher_xml – name: IEEE Comput. Soc. Press
SSID ssj0000558323
Score 1.2155851
Snippet Results in recursion-theoretic inductive inference have been criticized as depending on unrealistic self-referential examples. J.M. Barzdin (1974) proposed a...
SourceID ieee
SourceType Publisher
StartPage 405
SubjectTerms Formal languages
Gold
Inference algorithms
Machine learning
Robustness
Title Robust separations in inductive inference
URI https://ieeexplore.ieee.org/document/89560
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV3PS8MwFA5uJ086nPibHrx4aJemSZqch2MIijgHu40meYEhdOLai3-9L-k2UTwIPbTpD5rkkS_vJd_3CLkF8JUCoVIvFDooVhapYXmRMldyWSkcD33gOz8-yemcPyzEYiuTE7kwABA3n0EWTuNavlvbNoTKRipM5nukh0bWMbX20RQqBJpmEQUec5ykI7Dt5HV213or7JNTPZrMxrPA06NZ_OSPzCoRWCZHXYaiTdQjDPtJ3rK2MZn9_KXW-L9_PibDbwJf8ryHpgE5gPqE3L2sTbtpkg10et9ob8mqxiNIvuKgl6x27w7JfHL_Op6m20wJ6SqnRZNaX0rtnAVeylLnFc95qRlQ7jk6cEo566VzjhmFdxliutWFdRQfVywH44tT0q_XNZyRRBhWSYqOKw9rnthb2jjBROXQ6_aeuXMyCJVcvndiGMtYv4u_Ci_JYWjiLl5xRfrNRwvXiOCNuYmd9wWYrZfj
linkProvider IEEE
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1NT8MgGCY6D3rSxRm_7cGLh3aUAoXz4jJ1W4zbkt2W8pUsJp1x7cVf7wvdNBoPJj30AwgUwsP7wvO8CN1a6wphmYgdE2CgaJ7FiqRZTExOeSFgPnSe7zwa88GMPs7ZfCOTE7gw1tpw-Mwm_jbs5ZuVrr2rrCv8Yn4X7QHqU9Zwtb78KZgxGJxZkHhMYZkO0LYV2Nk-y420T4pltz_pTTxTDyeh0B-xVQK09A-bGEXroEjoT5S8JnWlEv3xS6_xf7U-Qp1vCl_0_AVObbRjy2N097JS9bqK1rZR_IYRFy1LuLzoK0x70XKbt4Nm_ftpbxBvYiXEyxRnVaxdzqUx2tKc5zItaEpzSSymjoIJJ4TRjhtjiBLwlQCqa5lpgyG5IKlVLjtBrXJV2lMUMUUKjsF0pX7XE_pLKsMIKwzY3c4Rc4bavpGLt0YOYxHad_7Xyxu0P5iOhovhw_jpAh343914Ly5Rq3qv7RXgeaWuQ0d-AsSLmzA
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Foundations+of+Computer+Science%2C+31st+Symposium&rft.atitle=Robust+separations+in+inductive+inference&rft.au=Fulk%2C+M.A.&rft.date=1990-01-01&rft.pub=IEEE+Comput.+Soc.+Press&rft.isbn=9780818620829&rft.spage=405&rft.epage=410+vol.1&rft_id=info:doi/10.1109%2FFSCS.1990.89560&rft.externalDocID=89560
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818620829/lc.gif&client=summon&freeimage=true
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818620829/mc.gif&client=summon&freeimage=true
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818620829/sc.gif&client=summon&freeimage=true