基于线性误差断言的推理方法

• 作者: 武鹏 吴尽昭
• 来源期刊: 计算机应用
• 关键词: 形式化方法 定理证明 推理方法 蕴含关系 误差理论
• 年，卷（期）: 2021,（8）
• 所属期刊栏目: 人工智能|Artificial intelligence
• 页码范围: 2199-2204
• 页数: 6页
• 分类号: TP311.5
• 语种: 中文
• DOI: 10.11772/j.issn.1001-9081.2021030390

摘要

误差在系统中是普遍存在的.在安全关键系统中,对误差的定量分析是必要的,而以往的推理验证方法较少考虑误差.误差通常用区间数来刻画,从而推广了线性断言,并给出了线性误差断言的概念.此外,结合凸集的性质,提出了求解线性误差断言顶点的具体方法,并验证了该方法的正确性.通过分析相关概念及定理,将判断线性误差断言之间的蕴含关系的问题转化为前驱断言的顶点是否被包含在后驱断言的零点集的判断问题,从而给出了判断线性误差断言的蕴含关系的具体方法步骤,且该方法易于在计算机上编程实现.最后,给出该方法在火车加速状态上的应用,并且用大量随机实例测试了该方法的正确性.与不含误差语义的推理方法相比,该方法在含误差参数的系统的推理验证领域是有优势的.