图3中的边显示了这些原则之间的依赖关系 ， 例如运行时保证依赖于自省和数据驱动的环境建模 ， 以提取可监测的假设和环境模型 。 同样 ， 为了进行系统级分析 ， 我们需要进行组合推理和抽象 ， 其中一些AI组件可能需要挖掘规范 ， 而其他组件则通过形式化的归纳综合构建生成正确的结构 。
自2016年以来 ， 包括作者在内的几位研究人员一直致力于应对这些挑战 ， 当时本文已发表的原始版本介绍了一些样本进展 。 我们已经开发了开源工具VerifAI和Scenic ， 它们实现了基于本文所述原则的技术 ， 并已应用于自动驾驶和航空航天领域的工业规模系统 。 这些成果只是一个开始 ， 还有很多事情要做 。 在未来的几年里 ， 可验证AI有望继续成为一个富有成效的研究领域 。
原文链接：https://cacm.acm.org/magazines/2022/7/262079-toward-verified-artificial-intelligence/fulltext
雷峰网
文章图片

• 手机同质化一直非常的严重|小米13系列好评满满，骁龙8gen2比苹果a16更强
• 买七彩虹RTX30显卡、整机送大礼了！CF限定礼包快抢来自买七彩虹的消息|买七彩虹rtx30显卡、整机送大礼了！cf限定礼包快抢
• 12月13日消息|苹果appletv4k搭载的a15处理器为5核心
• AMD的RX7900系列显卡昨晚解禁了|RX 7900赢回一波 4K视频生产力终于超越RTX4090
• 月球是哪儿来的？同样是内太阳系行星的水星、金星和火星|月球身世之谜是怎么形成的？
• 当代超级计算机的局限性|量子计算的现在与未来
• 坐在隔壁工位的哔哥最近感慨很深|盘点qq下架的衍生品
• 13代酷睿目前还没有65WTDP型号的主流产品|绝配12代酷睿华擎迷你准系统到手1279元（1.92L体积）
• 12月14日|oppo第二颗自研芯片将到来，网友猜测可能是手环一类的
• 对于最近想要购买手机的小伙伴而言|骁龙8gen2的新旗舰一加acepro值得入手吗？