信息学基础研究分享 http://blog.sciencenet.cn/u/geneculture 语言理解&知识表达

博文

重温《间接计算模型和间接形式化方法》全文请见纸质版截图(有关各位请各取所需)!

已有 868 次阅读 2021-6-20 10:25 |个人分类:融智学前期探索|系统分类:论文交流

摘 要:本文旨在从人机交互界面与协同计算程序结合而构成协同智能计算系统的角度,论述间接计算模型和间接形式化方法 结合所支持的优化云计算技术原理。本文在系统回顾图灵可计算理论、克莱尼小字符串形式理论、冯诺依曼数字计算机体系结构和 图灵人工智能判定假设等前人理论研究成果对主流数字计算机通用范式影响的基础之上,着重介绍了笔者设计的间接计算模型和 大、小字符串兼容的间接形式化理论,并以中文信息数据为例介绍了协同智能计算系统原型的设计构想。其意义是该成果有利于从 数据中心到知识中心优化云计算。关键词:计算理论 ; 形式理论 ; 人机交互 ; 协同计算中图分类号:TP18     文献标识码:A 

重温《间接计算模型和间接形式化方法》全文请见纸质版截图(有关各位请各取所需)!

致 谢首先,对陆汝黔院士(因其支持并曾鼓励笔者发表自己的 原创成果)和张钹院士(因其关注并在笔者去哈佛大学之前从 百忙中专门抽出时间与笔者交谈并给予鼓励)表示感谢!其 次,要感谢鲁川教授(因其支持、鼓励并重用过笔者的汉语形式 化数据库的二字组结果数据)和黄昌宁教授(因其早在 2002 年 就邀请笔者到微软研究院他老的办公室仔细询问并倾听笔者 关于汉语形式化数据库即字与字组的关系数据库构想)!最后 还要感谢 UC Berkeley(因其提供笔者机会来介绍汉语形式 化数据库即字与字组的关系数据库设计方案及其依据的“言本 位”理论)。

 

 




https://blog.sciencenet.cn/blog-94143-1291927.html

上一篇:融智学通俗讲座第十一讲:产学研用创与八人组的结合(概要)
下一篇:今天上午11点讲授融智学教科书编撰指南,清华大学雨课堂主讲嘉宾邹晓辉公益课邀请码:QJ4K8C
收藏 IP: 120.239.206.*| 热度|

0

该博文允许注册用户评论 请点击登录 评论 (3 个评论)

数据加载中...

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-3-29 17:12

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部