博文

“相关推论”之原始创新论文

2017-6-15 12:59

“相关推论”之原始创新论文 程京德 这是本人 1998 年的两篇论文，开创了“相关推论”这一新研究方向，是笔者研究室在这一研究方向上所有工作的初始基础。现将两篇论文存放于此，一方面留作保存记录，另一方面提供给听课学生和有兴趣者获取。 顺便把论文概要翻译为中文如下： WCES-98 论文 ...

个人分类: 知识工程|2465 次阅读|没有评论

“通用自动前推机” EnCal 和 FreeEnCal 之原始创新论文

2017-6-14 19:26

“通用自动前推机” EnCal 和 FreeEnCal 之原始创新论文 程京德 这是本人 1996 年和 2007 年的两篇论文，开创了“通用自动前推机”这一新研究方向，是笔者研究室在这一研究方向上所有工作的初始基础。现将两篇论文存放于此，一方面留作保存记录，另一方面提供给听课学生和有兴趣者获取。 ...

个人分类: 知识工程|2558 次阅读|没有评论

“基于强相关逻辑演算的自动定理发现”之原始创新论文

2017-6-14 10:45

“基于强相关逻辑演算的自动定理发现”之原始创新论文 程京德 这是本人 1994 年和 1995 年的两篇论文，开创了“基于强相关逻辑演算的自动定理发现”这一新研究方向，是笔者研究室在这一研究方向上所有工作的初始基础。现将两篇论文存放于此，一方面留作保存记录，另一方面提 供给听课学生 ...

个人分类: 相关逻辑|2513 次阅读|1 个评论

他山之石：“世界科学技术突入美中二强时代”

2017-6-13 07:43

他山之石：“世界科学技术突入美中二强时代” 程京德 昨天深夜，日本经济新闻电子版发表文章，报道由日本政府文部省所辖科学技术振兴机构实施的，关于世界各国科学技术论文数量及占比的调查结果，结论为：世界科学技术从 “美国一强” 已经突入了 “美中二强” 时代。 报道说，到2015年 ...

个人分类: 他山之石|2308 次阅读|没有评论

未来软件工程中的新挑战

2017-6-12 17:54

未来软件工程中的新挑战 程京德 这是本人三年前的一篇论文，存放在此，以方便听课学生和有兴趣者获取。 顺便把论文概要翻译为中文如下： 传统软件工程主要注目于软件可靠性。然而，今天，在这个不安全、复杂、变动的世界，任何信息/软件系统的设计、开发 、 运行和维护都必须精心地认真地 ...

个人分类: 软件工程|2997 次阅读|没有评论

强相关逻辑：用于知识表达与推论的各种应用逻辑之统一基础

2017-6-11 20:30

强相关逻辑：用于知识表达与推论的各种应用逻辑之统一基础 程京德 这是本人十年前的一篇论文，存放在此，以方便听课学生和有兴趣者获取。 顺便把论文概要翻译为中文如下： 在计算机科学和人工智能的众多应用之中，为了描述、验证、以及推论各种对象以及它们之间的关系，我们通常需要一 ...

个人分类: 相关逻辑|3577 次阅读|没有评论

人工智能超越人类智能的具体时间（保存为证）

2017-6-10 09:17

人工智能超越人类智能的具体时间（保存为证） 程京德 在2016月1月Google DeepMind 团队公布 AlphaGo 与围棋欧洲冠军的对弈结果之后，全世界就掀起了一股“人工智能”的热潮。在此热潮中，一直有一个很强的声音：“人工智能即将要超越人类智能”，并且有许多预言者甚至给出了准确的“超越 ...

个人分类: 人工智能|3110 次阅读|没有评论

“机器里的心灵”是什么? 它在哪里？

热度 1 2017-6-9 09:28

本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！ “机器里的心灵”是什么? 它在哪里？ -- 对 “The mind in the machine: ...

个人分类: 人工智能|2611 次阅读|2 个评论 热度 1

本页有 2 篇博文因作者的隐私设置或未通过审核而隐藏