科学网—JingdeCheng的博文 - 第2页

设为首页收藏本站

开启辅助访问切换到宽版

科学网 › 我的中心 › 博文 › JingdeCheng的博文

JingdeCheng

https://blog.sciencenet.cn/?2371919

软件工程| 知识工程| 相关逻辑| 信息安全性工程| 数理逻辑| 计算科学| 人工智能| 其它| 他山之石| 逻辑学| 哲学逻辑|

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

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

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

科学发现中认识过程的强相关逻辑模型: 热度 1 程京德 2017-4-10 19:21; 科学发现中认识过程的强相关逻辑模型程京德这是本人十几年前的一篇论文，存放在此，以方便听课学生和有兴趣者获取。顺便把论文概要翻译为中文如下：为科学发现中的认识过程建立一个合理的模型对于科学发现过程自动化来说是不可或缺的一步。本文首先陈述了对科学发现过 ...; 个人分类: 相关逻辑|3031 次阅读|2 个评论热度 1

相关推论与强相关逻辑: 程京德 2016-4-14 10:35; 相关推论与强相关逻辑程京德这篇“相关推论与强相关逻辑”，是应科技导报之邀为其人工智能特集而写的科普文章，当时忙中交稿，现在读来在有些细节之处还应该解说的更清晰些为好。此文可以说是迄今为止对相关推论最全面最通俗的介绍了，待有空余时间时再做修改吧。说明一句，文中的参考文献 ...; 个人分类: 相关逻辑|3430 次阅读|没有评论

会议

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

GMT+8, 2024-5-21 21:01

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部