当前位置:首页 > 报告详情

中国人工智能学会:2023年中国人工智能系列白皮书-人工智能原理(514页).pdf

上传人: AG 编号:601345 2023-09-01 514页 5.08MB

word格式文档无特别注明外均可编辑修改,预览文件经过压缩,下载原文更清晰!
三个皮匠报告文库所有资源均是客户上传分享,仅供网友学习交流,未经上传用户书面授权,请勿作商用。
本文主要介绍了人工智能中的逻辑推理与计算人工智能。首先,文章详细介绍了符号主义人工智能,包括命题知识表示与推理、自动定理证明、约束可满足性求解以及基于模型的诊断等。接着,文章讨论了大数据算法与可信计算理论,包括亚线性时间算法、亚线性空间算法、动态图算法、大规模并行计算以及数据降维等。最后,文章探讨了难解问题的智能算法,包括难解问题图学习方法求解和难解问题强化学习求解等。
自动定理证明如何起源与发展? 归结原理在自动定理证明中起什么作用? 几何定理证明器如何实现?
客服
商务合作
小程序
服务号
折叠