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...
Saved in:
Published in | Foundations of Computer Science, 31st Symposium pp. 405 - 410 vol.1 |
---|---|
Main Author | |
Format | Conference Proceeding |
Language | English |
Published |
IEEE Comput. Soc. Press
1990
|
Subjects | |
Online Access | Get full text |
ISBN | 081862082X 9780818620829 |
DOI | 10.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 |