人工智能基础专业委员会成立于2005年，委员覆盖全国近百所高校、研究机构及企事业单位。作为中国人工智能学会的基础理论特色的分支机构，专委会的研究领域主要包括人工智能验证理论、计算机形式化方法、模糊逻辑代数系统、非经典逻辑、智能科学的数学理论、数据智能分析等。专委会自成立伊始就定期召开学术研讨会，每年一次的全国范围的学术研讨会，汇聚了广大从事人工智能基础研究的学者，共同探讨国内外人工智能的研究和发展。专委会旨在以自主创新为根本动力，协同开展学术研究，促进科技创新，开展人工智能科普活动，提高社会各界对人工智能的认知和应用，探讨谋划和推动中国人工智能基础研究及其应用发展。