自动推理

2020-11-22

自动推理是人工智能领域的重要分支，是在给定知识及有关推理策略和方法的前提下，研究用计算机帮助人们进行推理的一门融合计算机和数学的交叉学科，其目标是使机器能够具备人脑一样根据已知信息推导出已知或未知信息的处理能力和思维能力。自动推理中的定理自动证明和定理自动发现，程序自动生成、逻辑程序设计以及更一般的智能系统中的推理问题研究是演绎数据库、软件验证、专家系统、知识库、智能机器人等研究领域的重要基础，它已成为当代科学技术研究的热点领域。本方向面向国际科技前沿，以国家的重大战略需求为牵引，致力于研究自动推理的新理论、新方法

查看详情

大数据智能计算

2020-11-22

大数据智能计算涵盖对大规模数据的有效获取和管理、对大数据的挖掘和分析，以及利用大数据解决实际应用问题。大数据是人工智能的基石，事实上最近人工智能所获得的成功主要取决于有效的大数据计算。大数据提供了人类认识和处理复杂系统的新思维和新手段，蕴含着巨大的社会和经济价值。作为国家基础性战略资源，大数据正日益对全球生产、流通、分配、消费活动以及经济运行机制、社会生活方式和国家治理能力产生重要影响。本方向以国家的重大战略需求为牵引，致力于大数据感知与获取、存储与管理、分析与挖掘等方面的基础理论、关键技术与应用研究。主要研究方向

查看详情

计算机视觉技术

2020-11-22

计算机视觉是信息科学和人工智能不可或缺的重要组成部分，是指用计算机来模拟人的视觉系统，让机器代替人眼来识别物体、确认物体形状和方位、判断物体运动等，从而让机器来理解、适应外界环境和控制自身运动。计算机视觉技术已广泛应用于自主无人系统、生物特征识别、虚拟现实等多个领域和国防、安防、制造、金融、服务等多个行业。随着我国《新一代人工智能发展规划》的发布，计算机视觉作为人工智能领域的研究焦点，其发展已受到国家的大力支持和重视。本方向遵循产学研一体化发展模式，专注于计算机视觉基础理论、关键技术和工程应用研究：(1)计算机视觉

查看详情

智能机器人技术

2020-11-22

智能机器人是一个在感知、认知、决策等方面全面模拟人的机器系统，是机械技术、电子技术、信息技术、生物技术的有机结合。本学科方向面向国家及重庆市重大战略需求，结合计算机科学与控制、智能制造等领域，从事机器人的智能感知、智能控制、智能测评、工业辅助设计方面的基础理论、关键技术及其应用研究，已在智能发育，机器人视觉、力触觉、导航定位、检测、辅助设计等方面具有自主知识产权，开发的教育机器人、医用检测机器人、3D打印机器人、三峡水下探测机器人、无人救援车、无人微耕机、无人割草机、智能设计、减速器测试仪等产品，达到国内领先水平。

查看详情