×

兹马思-数学第一资源

在没有决定的情况下解决游戏。(英语) Zbl 1225.68118号
ç植,佐坦(编辑),《计算机科学逻辑》。2006年9月25日,第15届国际学术研讨会,2006年9月29日,国际学术研讨会。柏林:斯普林格出版社(ISBN 978-3-540-45458-8/pbk)。计算机科学课堂讲稿4207395-410(2006)。
摘要:反应系统的综合需要解具有正则目标的图上的两人博弈。当目标由线性时序逻辑公式或非确定性Büchi自动机指定时,以往求解博弈的算法都需要构造一个等价的确定自动机。然而,无限词上自动机的确定是非常复杂的,并且目前的实现无法产生确定自动机,即使是相对较小的输入。我们展示了如何从一个给定的非确定性Büchi自动机构造一个等价的非确定性奇偶自动机(mathcal P}),它有助于解决具有目标的对策。主要的观点是,如果一个不确定自动机能够很好地模拟等价的确定性自动机,那么它对于解决游戏是很有好处的。这样,我们就省略了博弈求解和反应合成中的决定步骤。事实上,我们的自动机是不确定的,这使他们出奇地简单,易于符号化实现,并允许增量搜索获胜策略。
整个系列请参见[Zbl 1130.68007].

理学硕士:
68Q60型 规范和验证(程序逻辑、模型检查等)
03D05年 自动机与形式文法与逻辑问题
91A05型 双人游戏
91A43型 涉及图形的游戏
PDF格式 BibTeX公司 XML 引用
全文: 多伊