Competing with Automata-based Expert Sequences

被引:0
|
作者
Mohri, Mehryar [1 ,2 ]
Yang, Scott [3 ,4 ]
机构
[1] Courant Inst, New York, NY 10012 USA
[2] Google Res, New York, NY 10012 USA
[3] DE Shaw & Co, New York, NY 10036 USA
[4] Courant Inst Math Sci, New York, NY USA
关键词
PREDICTION; TRACKING;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
consider a general framework of online learning with expert advice where regret is defined with respect to sequences of experts accepted by a weighted automaton. Our framework covers several problems previously studied, including competing against k-shifting experts. We give a series of algorithms for this problem, including an automata-based algorithm extending weighted-majority and more efficient algorithms based on the notion of failure transitions. We further present efficient algorithms based on an approximation of the competitor automaton, in particular n-gram models obtained by minimizing the infinity-Renyi divergence, and present an extensive study of the approximation properties of such models. Finally, we also extend our algorithms and results to the framework of sleeping experts.
引用
收藏
页数:9
相关论文
共 50 条
  • [41] Automata-Based Software Model Checking of Hyperproperties
    Finkbeiner, Bernd
    Frenkel, Hadar
    Hofmann, Jana
    Lohse, Janine
    NASA FORMAL METHODS, NFM 2023, 2023, 13903 : 361 - 379
  • [42] Dealing with Incompleteness in Automata-Based Model Checking
    Menghi, Claudio
    Spoletini, Paola
    Ghezzi, Carlo
    FM 2016: FORMAL METHODS, 2016, 9995 : 531 - 550
  • [43] Automata-based analysis of recursive cryptographic protocols
    Küsters, R
    Wilke, T
    STACS 2004, PROCEEDINGS, 2004, 2996 : 382 - 393
  • [44] Automata-Based Model Counting for String Constraints
    Aydin, Abdulbaki
    Bang, Lucas
    Bultan, Tevfik
    COMPUTER AIDED VERIFICATION, PT I, 2015, 9206 : 255 - 272
  • [45] Automata-based Optimal Planning with Relaxed Specifications
    Kamale, Disha
    Karyofylli, Eleni
    Vasile, Cristian-Ioan
    2021 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), 2021, : 6525 - 6530
  • [46] Designing cellular automata-based scheduling algorithms
    Seredynski, F
    Janikow, CZ
    GECCO-99: PROCEEDINGS OF THE GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, 1999, : 587 - 594
  • [47] SPATIO-TEMPORAL CELLULAR AUTOMATA-BASED FILTERING FOR IMAGE SEQUENCE DENOISING: APPLICATION TO FLUOROSCOPIC SEQUENCES
    Priego, Blanca
    Veganzones, Miguel A.
    Chanussot, Jocelyn
    Amiot, Carole
    Prieto, Abraham
    Duro, Richard
    2013 20TH IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP 2013), 2013, : 548 - 552
  • [48] Logic programming approach to automata-based decision procedures
    Unel, Gulay
    Toman, David
    LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 165 - +
  • [49] Sequential and parallel cellular automata-based scheduling algorithms
    Seredynski, F
    Zomaya, AY
    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2002, 13 (10) : 1009 - 1023
  • [50] An automata-based approach to property testing in event traces
    Hallal, H
    Boroday, S
    Ulrich, A
    Petrenko, A
    TESTING OF COMMUNICATING SYSTEMS, PROCEEDINGS, 2003, 2644 : 180 - 196