马蒂亚斯·泰格;弗雷德里克·海因茨 概率信号时序逻辑中的增量推理。 (英语) 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) 全文: 内政部 参考文献: [1] 德尔·阿利奥,D。;Della Valle,E。;范·哈梅伦(F.van Harmelen)。;伯恩斯坦,A.,《流推理:调查与展望》,《数据科学》。,1, 59-83 (2017) [2] Tiger,M。;Heintz,F.,使用时间逻辑和预测概率状态模型的流推理,(第23届时间表示和推理国际研讨会论文集(TIME)(2016),IEEE),196-205 [3] Alqahtani,S。;泰勒,S。;莱利,I。;Gamble,R。;Mailler,R.,使用卡尔曼滤波器和mtl鲁棒性的预测路径规划算法,(2018年IEEE安全、安保和救援机器人(SSRR)国际研讨会(2018),IEEE),1-7 [4] 巴托奇,E。;Falcone,Y。;Francalanza,A。;Reger,G.,《运行时验证简介》,1-33(2018),施普林格国际出版:施普林格出版社 [5] 巴托奇,E。;Deshmukh,J。;唐泽,A。;费内科斯,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.,《放松守时的好处》,美国计算机学会,43,116-146(1996)·兹伯利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。;Vlachou,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] 安德松,O。;Ljungqvist,O。;老虎,M。;Axehill,D。;Heintz,F.,具有动态避障功能的基于Reeding-horizon网格的运动规划,(2018 IEEE决策与控制会议(CDC)(2018)),4467-4474 [29] 卡梅尔,M。;Stastny,T。;Alexis,K。;Siegwart,R.,使用机器人操作系统对无人飞行器轨迹跟踪的模型预测控制,(机器人操作系统(ROS)(2017),Springer),3-39 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。