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 条
  • [31] On the timed automata-based verification of Ravenscar systems
    Ober, Iulian
    Halbwachs, Nicolas
    RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2008, 2008, 5026 : 30 - +
  • [32] A Cellular Automata-Based Modular Lighting System
    Bandini, Stefania
    Bonomi, Andrea
    Vizzari, Giuseppe
    Acconci, Vito
    CELLULAR AUTOMATA, 2010, 6350 : 334 - +
  • [33] A Technique for Automata-based Verification with Residual Reasoning
    Azzopardi, Shaun
    Colombo, Christian
    Pace, Gordon
    PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD), 2020, : 237 - 248
  • [34] Finite automata-based semantics of CFSM model
    Wu, Z.X.
    Yu, H.Q.
    Huadong Ligong Daxue Xuebao /Journal of East China University of Science and Technology, 2001, 27 (05):
  • [35] Automata-based verification of programs with tree updates
    Peter Habermehl
    Radu Iosif
    Tomáš Vojnar
    Acta Informatica, 2010, 47 : 1 - 31
  • [36] AUTOQ: An Automata-Based Quantum Circuit Verifier
    Chen, Yu-Fang
    Chung, Kai-Min
    Lengal, Ondrej
    Lin, Jyun-Ao
    Tsai, Wei-Lun
    COMPUTER AIDED VERIFICATION, CAV 2023, PT III, 2023, 13966 : 139 - 153
  • [37] Automata-based verification of programs with tree updates
    Habermehl, Peter
    Iosif, Radu
    Vojnar, Tomas
    ACTA INFORMATICA, 2010, 47 (01) : 1 - 31
  • [38] Automata-based verification of programs with tree updates
    Habermehl, P
    Iosif, R
    Vojnar, T
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2006, 3920 : 350 - 364
  • [39] Automata-based symbolic scheduling for looping DFGs
    Haynal, S
    Brewer, F
    IEEE TRANSACTIONS ON COMPUTERS, 2001, 50 (03) : 250 - 267
  • [40] A cellular automata-based learning method for classification
    Wongthanavasu, Sartra
    Ponkaew, Jetsada
    EXPERT SYSTEMS WITH APPLICATIONS, 2016, 49 : 99 - 111