报告题目：孪生图灵机及其蕴含的科学原理（举例说明其作用、价值和意义）

报告嘉宾：邹晓辉

报告时间：2018-4-13上午10点30分至11点30分

报告地点：成都理工大学 …… 智能科学实验室

内容提要：

1.引言

    背景：图灵机、密码学和图灵测试。由中文房间论题引出的强与弱的AI两极对立的理论观点而进一步再上一个台阶导出形式化理论的两大类方略。

    目的：针对信息、智能和数据等方面由技术向科学的跃迁过程遭遇两大类形式化方略的挑战，提出双重形式化方略进而展示其坚实的科学基础理论和可检验的实际场景，即：人机双脑结合的综合实践场景。

2.正文

     直接形式化方略的内部歧义

     （逻辑、数学、编程）

     间接形式化方略的外部歧义

     （算术、语文、双语）

3.结语

    双重形式化方略的独特优势

     （序位、联动、转换）

   孪生图灵机的理论和实际以及实践意义

4.附录一典型用例

     新一轮人机大赛

     新一代精品课程

     知识大生产方式

5.附录二信息安全

    公法的信息安全（主权和人权里的隐私权的保护）

    私法的信息安全（知识产权和各类组织的自主权）

附图：