马蒂亚斯·泰格;弗雷德里克·海因茨 概率信号时序逻辑中的增量推理。 （英语） Zbl 1434.68562号 国际J近似推理 119, 325-352 (2020). 概述：鉴于智能自治系统的最新发展，机器人安全问题日益受到关注。对于在不确定、复杂和快速变化的环境中运行的复杂代理，在不施加不切实际的假设和限制的情况下，很难保证安全。因此，有必要在部署后对正在运行的系统进行监测，以补充传统的正式验证。运行时验证可用于监视代理是否按照正式规范进行行为。规范可以包含有关环境、环境代理交互和代理交互的安全相关需求和假设。一个关键问题是环境的不确定性和变化性。这就需要对某种结果的可能性以及对未来状态的预测提出要求。我们提出概率信号时序逻辑（ProbSTL），通过用子语言扩展信号时序逻辑，允许对概率、观察和预测进行陈述。我们进一步介绍并证明了ProbSTL中格式良好的公式上增量流推理技术级数的正确性。实验评估证明了ProbSTL在机器人安全方面的适用性和优势。 引用于2文件 MSC公司： 68立方英尺 知识表示 03B44号 时间逻辑 68T27型 人工智能中的逻辑 68T40型 机器人人工智能 关键词：知识表示;流推理;增量推理;概率逻辑;时序逻辑;运行时验证 PDF格式BibTeX公司 XML格式引用 \textit{M.Tiger}和\textit{F.Heintz}，国际J.近似推理119，325--352（2020；Zbl 1434.68562） 全文： 内政部 OA许可证 参考文献： [1] 德尔·阿利奥，D。；Della Valle，E。；范·哈梅伦（F.van Harmelen）。；伯恩斯坦，A.，《流推理：调查与展望》，《数据科学》。，1，59-83（2017） [2] Tiger，M。；Heintz，F.，使用时间逻辑和预测概率状态模型的流推理，（第23届时间表示与推理国际研讨会论文集（2016），IEEE），196-205 [3] Alqahtani，S。；泰勒，S。；莱利，I。；Gamble，R。；Mailler，R.，使用卡尔曼滤波器和mtl鲁棒性的预测路径规划算法，（2018年IEEE安全、安保和救援机器人（SSRR）国际研讨会（2018），IEEE），1-7 [4] Bartocci，E。；Falcone，Y。；Francalanza，A。；Reger，G.，《运行时验证简介》，1-33（2018），施普林格国际出版：施普林格出版社 [5] Bartocci，E。；杰·德斯穆赫（J.Deshmukh）。；A.Donzé。；费内科斯，G。；马勒，O。；尼科维奇，D。；Sankaranarayanan，S.，《基于规范的网络物理系统监测：理论、工具和应用调查》（《运行时验证讲座》（2018年），施普林格出版社），135-175 [6] 拉明，K.B。；Kabanza，F.，《使用模糊时间逻辑监测基于行为的移动机器人》，（国际机器人与应用会议论文集（IASTED）（2000）），116-121 [7] 佩雷斯，J。；杰梅内斯。；拉巴纳尔，A。；阿斯塔洛亚，A。；Lázaro，J.，《Ftl-cfree：用于运行时验证的模糊实时语言》，IEEE Trans。Ind.通知。，10, 3, 1670-1683 (2014) [8] Schön，T。；Gustafsson，F。；Nordlund，P.-J.，混合线性/非线性状态空间模型的边缘化粒子滤波器，IEEE Trans。信号处理。，53, 7, 2279-2289 (2005) ·Zbl 1370.94229号 [9] 福克斯，D。；J.Hightower。；Liao，L。；舒尔茨，D。；Borriello，G.，位置估计的贝叶斯滤波，IEEE普适计算。，3, 24-33 (2003) [10] Nitti，D。；莱特·T·D。；Raedt，L.D.，混合关系域的粒子过滤器，（《智能机器人和系统（IROS）国际会议论文集》（2013）） [11] Kovtunova，A。；Penaloza，R.，切割钻石：具有概率分布的时间逻辑，（第十六届知识表示与推理原则国际会议（KR）（2018）） [12] De Raedt，L。；Kimmig，A.，概率（逻辑）编程概念，马赫。学习。，100, 1, 5-47 (2015) ·Zbl 1346.68050号 [13] 多尔蒂，P。；Kvarnström，J。；Heintz，F.，《无人飞机系统基于时序逻辑的规划和执行监控框架》，Auton。Agent多Agent系统。，19, 3, 332-377 (2009) [14] Koymans，R.，用度量时态逻辑指定实时属性，实时系统。，2, 4, 255-299 (1990) [15] 阿鲁尔（Alur，R.）。；费德，T。；Henzinger，T.A.，《放松守时的好处》，J.ACM，43，1，116-146（1996）·Zbl 0882.68021号 [16] 马勒，O。；Nickovic，D.，《连续信号的时间特性监测》，（形式化技术，定时和容错系统的建模和分析（2004），Springer），152-166·Zbl 1109.68518号 [17] Brim，L。；德卢霍什，P。；萨夫拉内克，D。；Vejpustek，T.，Stl:使用信号值冻结运算符扩展信号时序逻辑，Inf.Compute。，236，52-67（2014）·Zbl 1311.68085号 [18] Yoo，C。；Belta，C.，《使用时序逻辑的丰富时间序列分类》（Robotics:科学与系统（RSS），2017年） [19] 萨迪格，D。；Kapoor，A.，《概率信号时序逻辑在不确定性下的安全控制》（Robotics:科学与系统学报。Robotics：科学与系统杂志，密歇根州安纳波（2016）） [20] 巴克斯，F。；Kabanza，F.，《临时扩展目标的规划》，《数学年鉴》。Artif公司。智力。，22, 1-2, 5-27 (1998) ·Zbl 1034.68549号 [21] 马基，N。；Schnoebelen，P.，《模型检查路径》（2003年并发理论国际会议，Springer），251-265·Zbl 1274.68197号 [22] 盆地，D。；Bhatt，B.N。；Traytel，D.，《度量时序逻辑的几乎事件速率独立监测》，（第23届系统构建与分析工具和算法国际会议论文集（2017）），94-112·Zbl 1452.68278号 [23] 塞拉·R。；Arzelier，D。；Joldes，M。；Lasserre，J.-B。；Rondepierre，A。；Salvy，B.，《短期碰撞轨道碰撞概率的快速准确计算》，J.Guid。控制动态。，1009-1021（2016） [24] 桑提潘塔基斯，G.M。；弗拉乔，A。；杜尔凯里迪斯，C。；Artikis，A。；Kontopoulos，I。；Vouros，G.A.，《海上监测流推理系统》（第25届时间表示与推理国际研讨会（TIME）（2018年）） [25] Novak，E.，《关于数值积分复杂性的一些结果》（Springer Proceedings in Mathematics and Statistics，vol.163（2016）），161-183·Zbl 1356.65085号 [26] Thrun，S.，《机器人中的粒子过滤器》，（第十八届人工智能不确定性会议论文集（2002），摩根考夫曼出版社），511-518 [27] 奈奎斯特，H.，《电报传输理论的某些主题》。美国电气学会。工程师，47，2617-644（1928） [28] Andersson，O。；O.Ljungqvist。；Tiger，M。；Axehill，D。；Heintz，F.，具有动态避障功能的基于后退水平栅格的运动规划，（2018 IEEE决策与控制会议（CDC）（2018）），4467-4474 [29] 卡梅尔，M。；Stastny，T。；Alexis，K。；Siegwart，R.，使用机器人操作系统对无人飞行器轨迹跟踪的模型预测控制，（机器人操作系统（ROS）（2017），Springer），3-39 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。