Pattern extraction improves automata-based syntax analysis in songbirds

被引:0
|
作者
Kakishita, Yasuki [1 ]
Sasahara, Kazutoshi [2 ]
Nishino, Tetsuro [1 ]
Takahasi, Miki [2 ]
Okanoya, Kazuo [2 ]
机构
[1] Univ Electrocommun, Grad Sch Electrocommun, Dept Informat & Commun Engn, 1-5-1 Chofugaoka, Tokyo 1828585, Japan
[2] RIKEN BSI, Lab Biolinguistics, Saitama, Japan
来源
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
We propose an automata induction approach to modeling birdsongs on the basis of Angluin's induction algorithm, which ensures that k-reversible languages can be learned from positive samples in polynomial time. There are similarities between Angluin's algorithm and the vocal learning of songbirds; for example, during a critical period, songbirds learn songs from positive samples of conspecific birds. In our previous method, we could not construct song syntaxes for complex songs. In this paper, we introduce a pattern extraction method to improve our previous method and propose a new birdsong modeling method. We estimate the robustness and properness of our method by using artificial song data, and demonstrate that the song syntaxes of the Bengalese finch can be successfully represented as reversible automata. As a result, almost all Bengalese finchs' song syntaxes can be represented with lower k-reversibility; further, one song has 3-reversibility song syntax showing the highest reversibility.
引用
收藏
页码:320 / +
页数:2
相关论文
共 50 条
  • [1] Specification and analysis of automata-based designs
    Bryans, J
    Blair, L
    Bowman, H
    Derrick, J
    INTEGRATED FORMAL METHODS, PROCEEDINGS, 2000, 1945 : 176 - 193
  • [2] MONAA: a Tool for Timed Pattern Matching with Automata-Based Acceleration
    Waga, Masaki
    Hasuo, Ichiro
    Suenaga, Kohei
    2018 IEEE 3RD WORKSHOP ON MONITORING AND TESTING OF CYBER-PHYSICAL SYSTEMS (MT-CPS 2018), 2018, : 14 - 15
  • [3] Pattern Classification with Rejection Using Cellular Automata-Based Filtering
    Jastrzebska, Agnieszka
    Sluzhenko, Rafael Toro
    COMPUTER INFORMATION SYSTEMS AND INDUSTRIAL MANAGEMENT (CISIM 2017), 2017, 10244 : 3 - 14
  • [4] Efficient Online Timed Pattern Matching by Automata-Based Skipping
    Waga, Masaki
    Hasuo, Ichiro
    Suenaga, Kohei
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS 2017), 2017, 10419 : 224 - 243
  • [5] Cellular automata-based test pattern generators with phase shifters
    Mrugalski, G
    Rajski, J
    Tyszer, J
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2000, 19 (08) : 878 - 893
  • [6] Online Parametric Timed Pattern Matching with Automata-Based Skipping
    Waga, Masaki
    Andre, Etienne
    NASA FORMAL METHODS (NFM 2019), 2019, 11460 : 371 - 389
  • [7] Cellular automata-based recursive pseudoexhaustive test pattern generator
    Dasgupta, P
    Chattopadhyay, S
    Chaudhuri, PP
    Sengupta, I
    IEEE TRANSACTIONS ON COMPUTERS, 2001, 50 (02) : 177 - 185
  • [8] AUTOMATA-BASED APPROACH FOR KERNEL TRACE ANALYSIS
    Matni, Gabriel
    Dagenais, Michel
    2009 IEEE 22ND CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1 AND 2, 2009, : 219 - 222
  • [9] Automata-based analysis of recursive cryptographic protocols
    Küsters, R
    Wilke, T
    STACS 2004, PROCEEDINGS, 2004, 2996 : 382 - 393
  • [10] Research on Code Pattern Automata-based Code Error Pattern Automatic Detection Technique
    Hu, Xuan
    Liu, Bin
    Wang, Yichen
    PROCEEDINGS OF 2009 8TH INTERNATIONAL CONFERENCE ON RELIABILITY, MAINTAINABILITY AND SAFETY, VOLS I AND II: HIGHLY RELIABLE, EASY TO MAINTAIN AND READY TO SUPPORT, 2009, : 754 - 760