自动推理

利用算法和逻辑规则自动推导结论的技术，常用于验证代码安全性或证明智能体行为是否符合预设的形式化规范。