AI 词汇表
人工智能完整词典
多智能体系统的形式化验证
一套数学方法，用于严格证明一个多智能体系统满足形式化规约。这些技术保证了系统在部署前其全局行为的正确性。
多智能体系统的模型检测
一种自动验证技术，通过穷举探索多智能体系统的状态空间来验证时序属性。特别适用于具有有限状态和确定性行为的系统。
多智能体系统的时序逻辑
一种逻辑形式化方法，用于表达关于智能体集体行为时间演变的属性。包括CTL、LTL及其扩展，用于多智能体交互的推理。
涌现性
系统源于智能体间局部交互但并非显式编程而产生的全局特征。对它们的形式化验证是多智能体系统验证中的一个主要挑战。
抽象验证
通过创建一个保留待验证相关属性的简化模型来降低多智能体系统复杂性的方法。该方法有助于规避复杂系统状态空间的组合爆炸问题。
系统不变式
在多智能体系统的整个执行过程中始终为真的数学属性。对它们的识别和证明对于保证集体行为的稳定性和一致性至关重要。
终止性证明
形式化证明一个多智能体系统在有限时间内必然会到达一个终止状态。对于必须保证无无限循环的关键系统而言，这一点至关重要。
多智能体系统中的公平性
一种保证所有智能体最终都能获得资源或行动机会访问权限的属性。公平性验证确保了无饥饿现象以及交互的公正性。
安全性验证
验证多智能体系统在执行过程中永远不会达到危险或不良状态。安全性属性包括无死锁和遵守安全约束。
活性验证
确保多智能体系统最终将达到某些期望条件。活性保证在系统演化过程中好的事情最终会发生。
多智能体系统的有限状态自动机
表示单个智能体或一组智能体行为的数学模型，具有有限数量的状态和转换。作为应用模型检测技术的基础。
形式化仿真
对多智能体系统模型进行受控和数学定义的执行，以观察和验证其行为。与经验仿真不同，它具有确定性和可重复性。
组合性
多智能体系统的全局属性可以从其单个组件的属性推导出来的原则。便于复杂多智能体系统的模块化验证。
认知推理
用于表达和验证多智能体系统中智能体的知识、信念和不确定性的形式逻辑。对于分析基于共享信息的交互至关重要。
共识验证
形式化验证智能体在可能存在故障的情况下达成关于共同值或决策的一致协议。对于需要一致性和可靠性的关键分布式系统至关重要。
一致性属性
确保系统中不同智能体之间信息和行为一致性的形式化保证集合。一致性防止矛盾并确保多智能体系统的整体完整性。
交互协议验证
对智能体之间的通信和协调规则进行形式化分析，以确保其正常运行。包括对协商、合作和竞争协议的验证。