2023年8月6日上午，中国人工智能学会（以下简称CAAI）人工智能逻辑专业委员会选举大会在吉林大学胜利召开。会议通过了CAAI人工智能逻辑专委会第一届常务委员、副主任委员和主任委员候选人建议名单，当天经会议差额选举，华院计算技术（上海）股份有限公司创始人、董事长宣晓华成功当选CAAI人工智能逻辑专委会第一届常务委员。

人工智能逻辑专业委员会是在中国人工智能学会指导下，由中国科学院和深圳大学两家发起，国内相关高校、科研院所和高新企业支持，经中国人工智能学会批准成立。此次选举大会由CAAI组织工委会刘丽研究员主持，CAAI副理事长王国胤教授以及CAAI人工智能逻辑专委会等42名委员现场出席。之后，专委会将围绕在大数据、大知识、大模型环境下，人工智能逻辑的新理论新方法及实际应用的关键，搭建学术交流与技术合作的广泛平台，进行科技合作，联合承担面向国家和社会需求的重点研发项目，培养具有宽广视野的综合性研发人员。专委会将有目标、有计划地组织召开学术研讨会、科技发展论坛、科技咨询、技术攻关、科普与宣传，撰写人工智能逻辑及应用的科技发展建议，为国家自然基金委等国家科学研究机构提供前沿研究报告。

华院计算以算法研究和创新应用为核心，致力于数学应用与计算技术发展，着力发展认知智能技术，围绕认知智能领域已发表相关论文逾400篇、申请发明专利100多项以及授权专利近40项，此外还携手中国信通院在2023年世界人工智能大会上联合发布国内首本《认知智能技术与应用研究报告》。目前，华院计算为人工智能技术在数字治理、智能制造、零售金融和数字文旅等行业应用场景落地提供标准化产品和服务，以赋能产业数字化转型和智能化升级。