文件Open Access徽标

基于区间时态逻辑模型检验的时态数据集评估

作者 达里奥·德拉·莫妮卡, 大卫·德·弗鲁托斯·埃斯克里格, 安吉洛·蒙塔纳里, 阿尼埃洛·穆拉诺, Guido Sciavicco公司

PDF格式
缩略图PDF

文件

LIPIcs公司。时间2017.11.pdf
  • 文件大小：0.59 MB
  • 18页

文件标识符

作者详细信息

达里奥·德拉·莫妮卡
大卫·德·弗鲁托斯·埃斯克里格
安吉洛·蒙塔纳里
阿尼埃洛·穆拉诺
Guido Sciavicco公司

引用为获取BibTex

达里奥·德拉·莫妮卡（Dario Della Monica）、大卫·德·弗鲁托斯·埃斯克里格（David de Frutos-Escrig）、安吉洛·蒙塔纳里（Angelo Montanari）、阿尼埃洛·穆拉诺（Aniello Murano）和吉多·西亚维。通过时间间隔逻辑模型检查评估时间数据集。第24届时间表征与推理国际研讨会（TIME 2017）。莱布尼茨国际信息学论文集（LIPIcs），第90卷，第11:1-11:18页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2017）
https://doi.org/10.4230/LIPIcs.TIME.2017.11

摘要

时态数据集评估的问题在于确定一组时态数据（历史）在多大程度上符合给定的时态条件。它与模型检查问题非常相似，该问题通过根据公式对模型的符合程度进行评级的能力来增强。在本文中，我们通过适当地结合根据历史集（有限区间模型）对区间时序逻辑公式进行模型检查的结果来解决时序数据集评估问题，可能会考虑到域相关的度量/标准，例如敏感性、特异性和准确性。从技术角度来看，本文的主要贡献是一种（确定性）多项式时间算法，用于在有限区间模型上检查区间时间逻辑模型。据我们所知，这是（真正的）区间时序逻辑模型检查在时序数据库和数据挖掘领域的首次应用，而不是在正式验证设置中。
关键词
  • 数据集评估
  • 时态数据库
  • 模型检查
  • 时间间隔逻辑

韵律学

工具书类

  1. L.Aceto、D.Della Monica、A.Ingólfsdóttir、A.Montanari和Guido Sciavicco。关于有限和离散线性阶上Allen关系的区间逻辑的表示性。程序中。第14届欧洲人工智能逻辑会议（JELIA），LNAI第8761卷，第267-281页，2014年。谷歌学者
  2. J.F.艾伦。保持对时间间隔的了解。ACM通讯，26（11）：832-8431983。谷歌学者
  3. P.Balbiani、V.Goranko和G.Sciavicco。两种排序的时间间隔点逻辑。程序中。第七届模态方法研讨会（M4M），ENTCS第278卷，第31-45页。施普林格，2011年。谷歌学者
  4. M.H.Böhlen、J.Gamper和C.S.Jensen。您希望如何聚合时间数据？程序中。第13届时间表征与推理国际研讨会（TIME），第121-136页。IEEE计算机学会，2006年。谷歌学者
  5. A.Bottrighi、L.Giordano、G.Molino、S.Montani、P.Terenziani和M.Torchio。采用模型检验技术进行临床指南验证。医学中的人工智能，48（1）：1-192010。谷歌学者
  6. L.Bozzelli、A.Molinari、A.Montanari、A.Peron和P.Sala。间隔时间逻辑模型检查：好的和坏的HS片段之间的边界。程序中。第八届国际自动推理联合会议（IJCAR），LNCS第9706卷，第389-405页。斯普林格，2016年。谷歌学者
  7. L.Bozzelli、A.Molinari、A.Montanari、A.Peron和P.Sala。时间间隔与时间点逻辑模型检查：表达性比较。程序中。第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS），LIPIcs第65卷，第26:1-26:14页。Dagstuhl Schloss-Leibniz-Zentrum für Informatik，2016年。网址：http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2016.26.
  8. L.Bozzelli、A.Molinari、A.Montanari、A.Peron和P.Sala。模型检查allen关系的逻辑满足并启动完成。程序中。第七届游戏、自动化、逻辑和形式验证国际研讨会（GandALF），EPTCS第226卷，第76-90页，2016年。谷歌学者
  9. A.Chaves、M.Vellasco和R.Tanscheit。从支持向量机中提取模糊规则用于多类分类。神经计算与应用，22（7-8）：1571-15802013。谷歌学者
  10. 简·乔米奇（Jan Chomicki）、大卫·托曼（David Toman）和迈克尔·波伦（Michael H.Böhlen）。使用时态逻辑查询atsql数据库。ACM事务处理。数据库系统。，26（2）:145-1782001年6月。网址：http://dx.doi.org/10.1145/383891.383892.
  11. E.M.Clarke、O.Grumberg和D.Peled。模型检查。麻省理工学院出版社，2002年。谷歌学者
  12. C.Combi和A.Montanari。具有多时间维度的数据模型：完成图片。程序中。第13届国际先进信息系统工程会议（CAiSE），LNCS第2068卷，第187-202页。斯普林格，2001年。谷歌学者
  13. C.Combi和P.Sala。挖掘基于时间间隔的近似相关性。《信息学报》，53（6-8）：547-5852016年。谷歌学者
  14. K.Deb.公司。使用进化算法的多目标优化。威利，英国伦敦，2001年。谷歌学者
  15. 爱默生。时间逻辑和模态逻辑。《理论计算机科学手册》B卷：形式模型和语义，995-1072页。爱思唯尔麻省理工学院出版社，1990年。谷歌学者
  16. V.Goranko和M.Otto。模态逻辑的模型理论。在P.Blackburn、J.van Benthem和F.Wolter编辑的《模态逻辑手册》中，第249-329页。Elsevier，2007年。谷歌学者
  17. J.Y.Halpern和Y.Shoham。时间间隔的命题模态逻辑。美国医学会杂志，38（4）：935-9621991。谷歌学者
  18. Y.Hayashi、S.Nakano和S.Fujisawa。使用具有连续属性的递归规则提取算法提高甲状腺疾病的诊断准确性。《医学信息学》，2015年1月1日至8日。谷歌学者
  19. F.Jiménez、G.Sánchez和J.M.Juárez。生存预测中模糊分类的多目标进化算法。医学中的人工智能，60（3）：197-2192014。谷歌学者
  20. V.Khatri、S.Ram、R.T.Snodgrass和P.Terenziani。捕获远程/atelic时态数据语义：概括传统概念模型。IEEE传输。知识。数据工程，26（3）：528-5482014。谷歌学者
  21. K.Kulkarni和J.E.Michels。SQL:2011中的时间特性。ACM SIGMOD记录，41（3）：34-432012。谷歌学者
  22. S.le Cessie和J.C.van Houwelingen。逻辑回归中的岭估计。应用统计学，41（1）：191-201992。谷歌学者
  23. L.Liu和M.T.Özsu，编辑。数据库系统百科全书。纽约施普林格出版社，2017年第2版。谷歌学者
  24. A.Lomuscio和J.Michaliszyn。一种认知的halpern-shoham逻辑。程序中。第23届国际人工智能联合会议（IJCAI），第1010-1016页，2013年。谷歌学者
  25. A.Lomuscio和J.Michaliszyn。根据一类EHS规范对多代理系统进行模型检查的决策性。程序中。第21届欧洲人工智能会议（ECAI），第543-548页，2014年。谷歌学者
  26. A.Lomuscio和J.Michaliszyn。使用正则表达式根据认知HS规范对多代理系统进行模型检查。程序中。第15届知识表示与推理原则国际会议（KR），第298-308页。AAAI出版社，2016。谷歌学者
  27. N.Markey和P.Schnoebelen。模型检查路径。程序中。第14届并行理论国际会议（CONCUR），第251-265页。斯普林格，2003年。谷歌学者
  28. M.Mashayekhi和R.Gras。从随机森林中提取规则：RF+HC方法。程序中。第28届加拿大人工智能进展会议，第223-237页，2015年。谷歌学者
  29. A.Molinari、A.Montanari、A.Murano、G.Perelli和A.Peron。检查计算的间隔属性。《信息学报》，53（6-8）：587-6192016年。谷歌学者
  30. A.Molinari、A.Montanari和A.Peron。ITL模型检查的复杂性：区间逻辑HS的一些表现良好的片段。程序中。第22届时间表征与推理国际研讨会（TIME），第90-100页。IEEE计算机学会，2015年。谷歌学者
  31. A.Molinari、A.Montanari和A.Peron。基于航迹表示的区间时序逻辑模型检验过程。程序中。第24届EACSL计算机科学逻辑年会（CSL），LIPIcs第41卷，第193-210页，2015年。谷歌学者
  32. A.Molinari、A.Montanari、A.Peron和P.Sala。模型检查HS表现良好的片段：（几乎）最后的图片。程序中。第15届知识表示与推理原则国际会议（KR），第473-483页。AAAI出版社，2016年。谷歌学者
  33. A.Montanari、A.Murano、G.Perelli和A.Peron。检查计算的间隔属性。程序中。第21届时间表征与推理国际研讨会（TIME），第59-68页。IEEE计算机学会，2014年。谷歌学者
  34. A.普努利。程序的时序逻辑。程序中。第18届计算机科学基础年度研讨会（FOCS），第46-57页，1977年。谷歌学者
  35. A.普努利。并发程序的时间语义。理论计算机科学，13（1）：45-601981。谷歌学者
  36. D.M.W.Powers公司。评价：从精确性、召回率和F-测量到ROC、信息性、标记性和相关性。机器学习技术杂志，2（1）：37-632011。谷歌学者
  37. J.R.昆兰。C45：机器学习程序。摩根·考夫曼，1992年。谷歌学者
  38. E.昆塔雷利。基于模型检验的数据检索，半结构化和时态数据的应用，LNCS第2917卷。斯普林格，2004年。谷歌学者
  39. P.施诺贝伦。时序逻辑模型检查的复杂性。程序中。第四届模态逻辑进展会议，第393-436页，2002年。谷歌学者
  40. R.T.Snodgrass，编辑。TSQL2时态查询语言。Kluwer学术出版社，1995年。谷歌学者
  41. R.T.Snodgrass、I.Ahn、G.Ariav、D.S.Batory、J.Clifford、C.E.Dyreson、R.Elmasri、F.Grandi、C.S.Jensen、W.Käfer、N.Kline、K.Kulkarni、T.Y.C.Leung、N.Lorentzos、J.F.Roddick、A.Segev、M.D.Soo和S.M.Sripada。TSQL2语言规范。SIGMOD记录，23（1）：65-861994。谷歌学者
  42. A.U.Tansel、J.Clifford、S.K.Gadia、S.Jajodia、A.Segev和R.T.Snodgrass，编辑。时态数据库：理论、设计和实现。本杰明/卡明斯，1993年。谷歌学者
  43. M.Y.瓦尔迪。数据库理论家的模型检查。程序中。第十届国际数据库理论会议（ICDT），LNCS第3363卷，第1-16页。斯普林格，2005年。谷歌学者
  44. I.H.Witten、E.Frank和M.A.Hall。数据挖掘：实用的机器学习工具和技术。摩根考夫曼出版社，2011年第3版。谷歌学者
问题/备注/反馈
X（X）

Dagstuhl出版社反馈


感谢您的反馈！

已提交反馈

无法发送消息

请稍后再试或发送电子邮件
© 2023-2024Schloss Dagstuhl–LZI股份有限公司 印记 隐私 联系人