https://terms-en.ai-term-hub.com/zh/tags/verification/Recent content in Verification on 中文AI术语词典Hugozh-cnSat, 18 Jul 2026 11:44:45 +0000https://terms-en.ai-term-hub.com/zh/terms/agent_verification/Sat, 18 Jul 2026 11:04:26 +0000https://terms-en.ai-term-hub.com/zh/terms/agent_verification/<h2 id="definition">Definition</h2> <p>这涉及使用数学方法确保智能体的行为符合预定义的约束，如安全边界或伦理准则。这对于在关键环境中运行的智能体尤为重要。</p> <h3 id="summary">Summary</h3> <p>智能体验证是通过形式化方法证明自主智能体在所有指定条件下都能正确和安全地运行的过程。</p> <h2 id="key-concepts">Key Concepts</h2> <ul> <li>形式化方法</li> <li>安全保证</li> <li>模型检测</li> <li>正确性证明</li> </ul> <h2 id="use-cases">Use Cases</h2> <ul> <li>自动驾驶汽车安全</li> <li>医疗决策支持系统</li> <li>关键基础设施控制</li> </ul> <h2 id="related-terms">Related Terms</h2> <ul> <li><a href="https://terms-en.ai-term-hub.com/en/terms/formal_verification-%E5%BD%A2%E5%BC%8F%E5%8C%96%E9%AA%8C%E8%AF%81/">formal_verification (形式化验证)</a></li> <li><a href="https://terms-en.ai-term-hub.com/en/terms/safety_critical_ai-%E5%AE%89%E5%85%A8%E5%85%B3%E9%94%AE%E5%9E%8Bai/">safety_critical_ai (安全关键型AI)</a></li> <li><a href="https://terms-en.ai-term-hub.com/en/terms/runtime_monitoring-%E8%BF%90%E8%A1%8C%E6%97%B6%E7%9B%91%E6%8E%A7/">runtime_monitoring (运行时监控)</a></li> <li><a href="https://terms-en.ai-term-hub.com/en/terms/trustworthy_ai-%E5%8F%AF%E4%BF%A1ai/">trustworthy_ai (可信AI)</a></li> </ul>