现代逻辑之未来 – 从相关逻辑到量子逻辑（纲要）

程京德 2022-10-20 21:58

本人保留本文的全部著作权利。如果哪位读者使用本文所陈述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！ 现代逻辑之未来– 从相关逻辑到量子逻辑（纲要） 程京德 ...

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

“规范相关逻辑及其应用”之原始创新论文

程京德 2017-7-22 00:42

“规范相关逻辑及其应用”之原始创新论文 程京德 这是本人及学生 2002 年到 2008 年的四篇论文，开创了“规范相关逻辑及其应用”这一新研究方向，是笔者研究室在这一研究方向上所有工作的初始基础。现将四篇论文存放于此，一方面留作保存记录，另一方面提供给听课学生和有兴趣者获 ...

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

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

程京德 2017-6-14 10:45

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

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

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

程京德 2017-6-11 20:30

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

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

科学发现中认识过程的强相关逻辑模型

热度 1 程京德 2017-4-10 19:21

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

个人分类: 相关逻辑|2981 次阅读|2 个评论 热度 1

相关推论与强相关逻辑

程京德 2016-4-14 10:35

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

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

何谓相关逻辑？

程京德 2015-1-26 17:05

本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！ 何谓相关逻辑？ 程京德 本人自己从事并且指导学生进行强相关逻 ...

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

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