您现在的位置: 首页>>科学研究>>科技信息>>正文

学术报告题目:Buechi自动机的学习算法

2017年04月21日 09:16 教科办 点击:[]


自动机的学习算法

学术报告题目:Buechi自动机的学习算法

报告人:中国科学院软件研究所计算机国家重点实验室研究员张立军

时间:2017.4.13下午1:30

地点:1c06-233

报告内容:由Dana Angluin于1987年首次提出的学习算法,能够在多项式时间内,使用成员资格查询(membership query)和等价查询(equivalence query)学习出未知的正则语言。该学习算法已在多项领域显示其用途,包括人工智能,神经网络,数据挖掘,程序验证领域等等。特别地,这个学习算法为我们提供了一个新的方法来解决实际中形式化验证及模型检验问题。最近,Farzan等人以Buechi自动机为目标学习正则语言,以及Angluin等人也提出以有穷自动机族为目标来学习$omega$正则语言。但是至今为止,还没有对直接学习Buechi自动机的算法。这篇文章我们将给出一个新的学习Buechi自动机的算法。

关闭