《人工智能导论》期末复习二、三
《人工智能导论（第5版）》王万良
第二章 知识表示与知识图谱2.1 知识与知识表示的概念
一、什么是知识？有哪些特性？
1、知识：在长期的生活及社会实践中、在科学研究及实验中积累起来的对客观世界的认识与经验。人们把实践中获得的信息关联在一起，就形成了知识。知识反映了客观世界中事物之间的关系，不同事物或者相同事物间的不同关系形成了不同的知识。
2、特性：（1）相对正确性（2）不确定性（3）可表示性与可利用性
二、什么是知识表示？如何选择知识表示方法？
1、知识的表示：将人类知识形式化或者模型化。
2、知识表示方法的原则：
（1）充分表示领域知识。
（2）有利于对知识的利用。
（3）便于对知识的组织、维护与管理。
（4）便于理解与实现。
2.2 一阶谓词逻辑表示法
一、命题？
一个非真即假的陈述句
eg.“3
“101计划”人工智能引论课程核心师资培训开始报名
CCF计算机课程改革导教班
CCFComputingCoursesDevelopment(CCD)
2023年7月20-23日苏州
中国计算机学会（简称CCF）于2013年创建“CCF计算机课程改革导教班”（简称CCD），邀请在课程教学改革方面有心得、有经验的资深教师，就他们在一线教学的课程内容和教学方法做深度讲授和交流。CCD已成功举办九期。CCD旨在促进我国高校计算机课程教学改革，既包括传统课程的新上法，也包括适应时代发展的新课程。2023年，CCD将与“101计划”联手推出核心师资系列培训课程，第一期“人工智能引论课程”将于7月20-23日在CCF业务总部举行。
时间
2023年7月20日-23日
地点
CCF业务总部&学术交流中心
（江苏省苏州市相城区相融路600号）
主办单位
中国计算机学会
承办单位
“101计划”工作组
教育部人工智能专业（AI+X方向）虚拟教研室
“101计划”《人工智能引论》课程虚拟教研室
注册费用
CCF会员2400元，非会员3000元
报名二维码
CCD报名人员资格:CCD面向计算机及相关院系具有教学经历和对计算机教育改革有热情的教师。
课程介绍
为深入贯彻党的二十大精神以及2023年全国教育工作会议精神，落实《教育部办公厅关于做好计算机领域本科教育教学改革试点工作的通知》要求，加快计算机领域本科教育教学改革试点工作计划（以下简称“101计划”）的建设，推进课程、教材、教师、实践、教法等全要素改革，通过课程改革“小切口”带动解决计算机学科人才培养模式“大问题”，“101计划”工作组秘书处拟联合各参与单位组织“101计划”系列课程核心师资培训会，发挥“101计划”品牌力量，培养一批优秀的核心课程授课教师，提高课堂授课效果和教学质量，持续探索计算机学科高质量人才培养新模式。
人工智能引论课程面向计算机科学与技术等相关专业本科生或研究生，以“厚基础、强交叉、养品行、促应用”为理念，培养扎实掌握人工智能基础理论、基本方法、架构系统和应用工程技术，熟悉人工智能相关交叉学科知识和培育学科交叉意识，具备科学素养、伦理涵养、实践能力、创新能力、系统能力与国际视野，能在我国人工智能学科与产业技术发展中发挥重要作用，并有潜力跻身一流的人工智能领域或相关领域人才。本次培训面向有志于在高校开展人工智能教育工作，积极参与人工智能领域交叉创新人才培育，有意开展相关教育教学工作的青年教师，重点围绕人工智能基础理论与方法、人工智能架构与系统、智能计算模型与理论等教学内容和教材体系的设置，开展包含理论与实训相结合的互动式沉浸教学。
课程安排
7月20日下午学员报道签到
7月21日-7月23日培训授课
2023年7月21日（上午）
时间
培训内容
授课专家
08:00-08:30
开幕致辞
08:30-10:30
人工智能引论
吴飞
（浙江大学）
10:30-12:00
视觉与智能学习
赵才荣
（同济大学）
2023年7月21日（下午）
14:30-16:00
智能计算模型与理论（一）
刘若辰
（西安电子科技大学）
16:00-16:10
茶歇
16:10-17:40
智能计算模型与理论（二）
慕彩红
（西安电子科技大学）
17:40-18:00
交流答疑
2023年7月22日（上午）
08:30-10:00
搜索探寻与问题求解
李钦策
（哈尔滨工业大学）
10:00-10:10
茶歇
10:10-11:40
图计算
杨洋
（浙江大学）
2023年7月22日（下午）
14:30-16:00
人工智能架构与系统（一）
刘剑毅
（西安交通大学）
16:00-16:10
茶歇
16:10-17:40
人工智能架构与系统（二）
刘龙军
（西安交通大学）
17:40-18:00
交流答疑
2023年7月23日（上午）
08:30-10:30
人工智能编程
框架和实训平台
吴超
（浙江大学）
10:30-10:40
茶歇
10:40-12:00
经典机器学习建模实训
李骏翔｜张瑞元
（MO平台）
2023年7月23日（下午）
14:30-16:00
深度学习实训-上
李骏翔｜张瑞元
（MO平台）
16:00-16:10
茶歇
16:10-17:40
深度学习实训-下
李骏翔｜张瑞元
（MO平台）
授课专家介绍
（按授课顺序排序）
吴飞
浙江大学教授、浙江大学上海高等研究院常务副院长、浙江大学人工智能研究所所长
专家介绍：吴飞，浙江大学求是特聘教授，博士生导师。主要研究领域为人工智能、多媒体分析与检索。浙江大学上海高等研究院常务副院长、浙江大学人工智能研究所所长。国家杰出青年科学基金获得者（2016年），科技部科技创新2030“新一代人工智能”重大项目管理专家组成员和指南编制专家、教育部人工智能科技创新专家组工作组组长（2018.8-2020.12）、中国工程院院刊《Engineering》信息与电子工程学科执行主编，浙江大学第九届永平杰出教学贡献奖获得者。曾获教育部科技进步一等奖（排名第一）和中国电子学会科技进步一等奖（排名第一），著有《人工智能导论：模型与算法》和《走进人工智能》（高等教育出版社），开设国家级首批线上一流课程《人工智能：模型与算法》。
赵才荣
同济大学教授
专家介绍：赵才荣，工学博士。现任同济大学电子与信息工程学院计算机系教授，博士生导师。曾任香港理工大学兼职研究员（2016-2017）。担任上海市计算机学会计算机视觉专委会主任，中国图象图形学学会青工委副秘书长，中国自动化学会模式识别与机器智能专业委员会副秘书长，中国计算机学会杰出会员。担任IEEETMMGuestEditor、担任IETIPAssociateEditor。研究聚焦于视觉与智能学习，研究方向包括：人工智能、计算机视觉等，主要涉及行人再识别、识别中隐私保护与安全防御、场景文字检测与识别、X光图像智能分类等领域。已在IEEETIP、TIFS、TMM、TCSVT、TNNLS、PR、中国科学.信息科学等国内外重要学术期刊及国际学术会议CVPR，ICLR,ICML,AAAI,ACMMM,ICCV等发表论文40余篇，已受理发明专利18项（其中授权12项），研究成果获上海市科技进步一等奖。主持国家自然科学基金3项，主持国家重点研发计划子课题以及企业横向课题十余项。建设国家级线下精品课程1门。
刘若辰
西安电子科技大学教授
专家介绍：刘若辰，博士，西安电子科技大学教授，博导，一流专业负责人，国家级一流线上课程负责人，人工智能专业思政首席教授，国家教育部重点实验室骨干成员，教育部创新团队骨干成员，国家“111计划”创新引智基地骨干成员，一直致力于计算智能、模式识别及数据挖掘领域的研究，主持国家自然科学基金、教育部博士点基金、陕西省自然科学基金等十余项课题，发表论文50余篇，申请专利30余项。多年从事智能科学与技术相关专业的教学工作，主讲课程包括《人工智能概论》、《自然计算》、《人工智能及其应用》、《计算智能》、《离散数学》等，出版教材2部。
慕彩红
西安电子科技大学教授
专家介绍：慕彩红，教授，博士生导师，西安电子科技大学人工智能学院、智能感知与图像理解教育部重点实验室、智能感知与计算国际联合研究中心成员，国家“111”计划创新引智基地成员，美国电气电子工程师协会(IEEE)高级会员，研究方向为计算智能、机器学习、遥感图像处理及推荐系统等。主持国家自然科学基金项目3项，发表学术论文30余篇，获授权专利10余项。承担《人工智能概论》课程的本科教学及《计算智能》课程的研究生教学工作。获得西安电子科技大学2021年度本科优质教学奖二等奖，第二届西安电子科技大学“微课”教学比赛二等奖，作为核心成员参与建设的《人工智能导论》课程2023年获批第二批国家级一流课程，以及2021年度省级一流本科课程系列之线上一流课程。合作编著《简明人工智能》、《人工智能导论》教材。
李钦策
哈尔滨工业大学计算学部感知计算研究中心副主任
专家介绍：李钦策，副研究员，哈尔滨工业大学计算学部感知计算研究中心副主任。《人工智能导论》课程负责人，“智能基座”项目-哈尔滨工业大学人工智能课程建设负责人。2007年和2012年分别获得曼彻斯特大学物理与天体物理学学士和生物物理学博士学位学位，2013-2015年间于美国阿拉巴马大学-伯明翰分校医学院任博士后研究员，2015年被哈尔滨工业大学以青年拔尖人才聘为副研究员。研究方向包括生物系统建模、医学图像处理、心电信号分析、光遗传学等。在权威国际期刊（MedicalImageAnalysis,IEEEJournalofBiomedicalandHealthInformatics，PlosComputationalBiology,BiophysicalJournal等）和重要国际会议上发表学术论文60余篇，其中SCI期刊20余篇。近五年作为主要人员主持并参与了国家自然科学基金青年、面上、重点项目等多项科研任务。
杨洋
浙江大学计算机学院人工智能系主任
专家介绍：杨洋，浙江大学计算机学院副教授、博导、人工智能系主任，博士毕业于清华大学，师从唐杰教授、李涓子教授。研究方向为图数据上的人工智能问题、大规模时间序列数据建模、计算社会学等，在KDD、WWW、AAAI、TKDE等国际顶级学术期刊及会议上发表论文40余篇，获AAAI2023杰出论文奖，担任国际权威期刊IEEETBDAssociateEditor、2020年全国社会媒体处理大会程序委员会主席、多个国际学术会议程序委员会委员。
刘剑毅
西安交通大学人工智能学院副教授
专家介绍：刘剑毅，西安交通大学人工智能学院，副教授，院长助理。西安交通大学获得本科、硕士及博士学位，曾赴美国佛罗里达大学认知神经工程实验室、新加坡南洋理工大学计算机工程学院、法国高等电力大学从事访问学者研究工作。目前研究方向为计算机视觉、无人驾驶智能车、人工智能教育。曾获陕西省科学技术二等奖、中国自动化学会科普奖，现任中国自动化学会共融机器人专委会高级会员。
刘龙军
西安交通大学副教授
专家介绍：刘龙军，西安交通大学人工智能学院副教授，2015年毕业于西安交通大学模式识别与智能系统专业，获工学博士学位。在人工智能、智能系统体系架构、数字集成电路SoC设计等领域发表四十余篇SCI期刊与国际会议论文。获得中国自动化学会“CAA自然科学奖”一等奖（“从芯片到系统的高效智能计算架构关键技术研究”），研究兴趣包括计算机视觉相关的智能算法模型设计、优化与高能效计算体系架构研究，图像/视频智能处理系统等。
吴超
浙江大学长聘副教授
专家介绍：吴超，浙江大学长聘副教授，人工智能协同创新中心研究员，博士生导师，计算社会科学研究中心主任，伦敦帝国理工学院计算机系荣誉研究员。研究方向为联邦学习和分布式建模、数据隐私保护和数据定价、计算社会科学等。在AAAI、ICCV、KDD等国际会议和期刊上发表论文60余篇，主持包括国家自然科学基金重点类项目在内的多个科研项目。
缴费方式
在报名系统中在线缴费或者通过银行转账（支持网银、支付宝转账。银行转账后，请在报名系统中上传转账凭证）。请务必注明：姓名+CCD2023第一期。报名缴费后，报名系统中显示缴费完成，即为报名成功。
转账信息：
户名：中国计算机学会
开户行：招商银行北京海淀支行
账号：110943026510701
退款条款
1. 如因报名人员自身无法参加，可取消报名并申请退款，申请退款应在活动开始前进行。
(1)申请日离活动开始时间超过30日的退款70%，收取30%的管理费；
(2)活动举办前8-30日取消注册，退款50%，收取50%管理费。
(3)活动举办前7日（含7日）内取消注册，所缴费用不予退还。
2. 报名人员重复缴费时，对于重复缴费部分收取30%管理费，退款70%。
3. 如CCF责任原因导致报名人员无法参加活动的，全额退款。
交通信息
铁路出行：
苏州北站 1公里 驾车5分钟或轨交2号线3分钟富翔路站
苏州站 16公里 驾车25分钟或轨交2号线30分钟富翔路站
苏州园区站 22公里 驾车30分钟
飞机出行：
苏南硕放机场 35公里 驾车50分钟
上海虹桥机场 85公里 驾车1小时15分钟
上海浦东机场 140公里 驾车2小时15分钟
推荐入住酒店
苏州国际会议酒店
（苏州市相城区相融路699号，距离CCF业务总部步行5分钟）
协议价格：大床500元/晚（含1份早餐）、双床550元/晚（含2份早餐）
联系方式：0512-65928888
7月20日-23日入住报“CCF”可享受协议价格
CCF秘书处联系信息
陆老师jxlu@ccf.org.cn