×

时间粒度的紧凑且可处理的基于自动机的表示。 (英语) Zbl 1111.68053号

摘要:文献中提出的大多数时间粒度方法都基于代数和逻辑形式[J.尤泽纳A.蒙塔纳里,“时间粒度”,载于:M.Fisher,D.Gabbay,L.Vila(编辑),《人工智能时间推理手册》,59–118(2005;Zbl 1099.68106号)]. 这里我们遵循一种替代的基于自动化的方法,最初在[U.Dal Lago公司A.蒙塔纳里,“日历、时间粒度和自动机”,Lect。注释计算。科学。2121, 279–298 (2001;Zbl 0997.68567号)]这使得以有效的方式处理无限时间粒度成为可能。这种方法为基本算法问题提供了一个简洁的解决方案,例如粒度等价和粒度转换问题,这些问题在文献中经常被忽略。在本文中,我们重点关注基于自动机的时间粒度表示的两个基本优化问题,即计算时间粒度的最小表示和计算时间粒度最易处理表示的问题,即关键算法、,如颗粒转换算法,运行速度最快。

MSC公司:

65年第68季度 形式语言和自动机
第68页,共15页 数据库理论
60年第68季度 规范和验证(程序逻辑、模型检查等)

软件:

拉戈
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Bettini,C。;Dyreson,C.E。;Evans,W.S。;雪草,R.T。;Wang,X.S.,时间粒度概念词汇表,(Etzion,O.;Jajodia,S.;Sripada,S.,《时态数据库:研究与实践》,时态数据库,LNCS,第1399卷(1998),Springer),406-413
[2] Bettini,C。;贾约迪亚,S。;Wang,X.S.,数据库中的时间粒度,数据挖掘和时间推理(2000年7月),Springer
[3] 贝蒂尼,C。;Wang,X.S。;Jajodia,S.,求解多粒度时间约束网络,人工智能,140,1-2,107-152(2002)·Zbl 0999.68204号
[4] Calbrix,H。;尼瓦特,M。;Podelski,A.,有理(omega)语言的最终周期词,(第九届程序设计语义学数学基础国际会议论文集,第九届编程语义学国际会议论文集中,LNCS,第802卷(1994),Springer),554-566·Zbl 1509.68128号
[5] Combi,C。;Franceschet,M。;Peron,A.,关于时间粒度的表示和推理,《逻辑与计算杂志》,14,51-77(2004)·Zbl 1085.68087号
[6] 科尔曼,T.H。;Leiserson,C.E。;Rivest,R.L。;Stein,C.,算法导论(2001),麻省理工学院出版社·Zbl 1047.68161号
[7] 美国达拉戈。;Montanari,A.,日历、时间粒度和自动机, (第七届空间和时间数据库国际研讨会会议记录。第七届时空数据库国际研讨会(SSTD)会议记录l.2121(2001),施普林格),279-298·Zbl 0997.68567号
[8] U.Dal Lago,A.Montanari,G.Puppis,《时间粒度、日历代数和自动机》,研究报告UDMI/2003/04,意大利乌迪内大学信息学院,2003年;U.Dal Lago,A.Montanari,G.Puppis,《时间粒度、日历代数和自动机》,研究报告UDMI/2003/04,Matematica e Informatica学院,意大利乌迪内大学,2003年·Zbl 1257.68063号
[9] 美国达拉戈。;蒙塔纳里,A。;Puppis,G.,《时间粒度的紧凑和可控制的基于自动机的表示法》,(第八届意大利理论计算机科学会议论文集。第八届理论计算机科学意大利会议论文集,ICTCS, 72-85 ·Zbl 1257.68063号
[10] Dyreson,C.E。;Evans,W.S。;Lin,H。;Snodgrass,R.T.,《有效支持时间粒度》,IEEE知识与数据工程汇刊,12,4,568-587(2000)
[11] 尤泽纳特,J。;Montanari,A.,《时间粒度》(Fisher,M.;Gabbay,D.;Vila,L.,《人工智能中的时间推理手册》(2005),Elsevier),59-118
[12] 新泽西州Fine。;Wilf,H.S.,周期函数的唯一性定理,《美国数学学会学报》,第16期,第109-114页(1965年)·兹伯利0131.30203
[13] M.Franceschet,《划分和征服分层土地》,博士论文,意大利乌迪内大学信息学专业,2001年;M.Franceschet,《分割和征服分层土地》,意大利乌迪内大学信息学研究生院博士论文,2001年
[14] Franceschet,M。;Montanari,A.,时间粒度的时序逻辑和自动机,逻辑编程理论与实践,4,5-6,621-658(2004)·Zbl 1088.68105号
[15] Knuth,D.E。;莫里斯,J.H。;Pratt,V.R.,字符串中的快速模式匹配,SIAM计算杂志,6323-350(1977)·Zbl 0372.68005号
[16] 勒班,B。;麦克唐纳。;Foster,D.,时间间隔集合的表示,(《美国人工智能学会人工智能全国会议记录》,第1卷(1986年),美国人工智能出版社),367-371
[17] Montanari,A.,《时间粒度的度量和分层时序逻辑》,ILLC论文系列1996-02(1996),阿姆斯特丹大学逻辑、语言和计算研究所
[18] 尼泽特,M。;Stevenne,J.,《周期时间的有效符号表示法》,(《信息和知识管理国际会议论文集》,信息与知识管理国际大会论文集(1992年),ACM出版社),161-168
[19] 宁,P。;贾约迪亚,S。;Wang,X.S.,《历法的代数表示法》,《数学与人工智能年鉴》,36,5-38(2002)·Zbl 1001.68034号
[20] (Snodgrass,R.T.,《TSQL2时态查询语言》(1995),Kluwer学术出版社)·Zbl 0859.68014号
[21] Thomas,W.,《语言、自动机和逻辑》(Rozenberg,G.;Salomaa,A.,《形式语言手册》,第3卷(1997),Springer),389-455
[22] Wijsen,J.,无限粒度的基于字符串的模型,(Bettini,C.;Montanari,A.,《AAAI时空粒度研讨会论文集》(2000),AAAI出版社),9-16
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。