科学网

 找回密码
  注册
《相关逻辑与人工智能》教学大纲 The Syllabus of “Relevant Logic and AI”
程京德 2023-7-17 05:08
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 《相关逻辑与人工智能》教学大纲 The Syllabus of “Relevant Logic and AI”& ...
个人分类: 相关逻辑|1146 次阅读|没有评论
强相关逻辑及其应用(上)
程京德 2023-6-18 06:58
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 强相关逻辑及其应用(上) 程京德 ...
个人分类: 相关逻辑|5464 次阅读|没有评论
相关逻辑的创始者 – 阿克曼
热度 1 程京德 2023-5-15 05:58
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 相关逻辑的创始者– 阿克 ...
个人分类: 相关逻辑|4524 次阅读|1 个评论 热度 1
相关性逻辑谬误及其实例
程京德 2023-2-18 05:54
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 相关性逻辑谬误及其实例 程京德 本文 ...
个人分类: 相关逻辑|3823 次阅读|没有评论
条件句:逻辑学中的最核心概念及最大难题
程京德 2023-1-29 16:00
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 条件句:逻辑学中的最核心概念及最大难题 程京德 ...
个人分类: 相关逻辑|3117 次阅读|没有评论
现代逻辑之未来 – 从相关逻辑到量子逻辑(纲要)
程京德 2022-10-20 21:58
本人保留本文的全部著作权利。如果哪位读者使用本文所陈述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 现代逻辑之未来– 从相关逻辑到量子逻辑(纲要) 程京德 ...
个人分类: 相关逻辑|1423 次阅读|没有评论
“规范相关逻辑及其应用”之原始创新论文
程京德 2017-7-22 00:42
“规范相关逻辑及其应用”之原始创新论文 程京德 这是本人及学生 2002 年到 2008 年的四篇论文,开创了“规范相关逻辑及其应用”这一新研究方向,是笔者研究室在这一研究方向上所有工作的初始基础。现将四篇论文存放于此,一方面留作保存记录,另一方面提供给听课学生和有兴趣者获 ...
个人分类: 相关逻辑|2941 次阅读|没有评论
“基于强相关逻辑演算的自动定理发现”之原始创新论文
程京德 2017-6-14 10:45
“基于强相关逻辑演算的自动定理发现”之原始创新论文 程京德 这是本人 1994 年和 1995 年的两篇论文,开创了“基于强相关逻辑演算的自动定理发现”这一新研究方向,是笔者研究室在这一研究方向上所有工作的初始基础。现将两篇论文存放于此,一方面留作保存记录,另一方面提 供给听课学生 ...
个人分类: 相关逻辑|2663 次阅读|1 个评论
强相关逻辑:用于知识表达与推论的各种应用逻辑之统一基础
程京德 2017-6-11 20:30
强相关逻辑:用于知识表达与推论的各种应用逻辑之统一基础 程京德 这是本人十年前的一篇论文,存放在此,以方便听课学生和有兴趣者获取。 顺便把论文概要翻译为中文如下: 在计算机科学和人工智能的众多应用之中,为了描述、验证、以及推论各种对象以及它们之间的关系,我们通常需要一 ...
个人分类: 相关逻辑|3692 次阅读|没有评论

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

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

GMT+8, 2024-7-20 13:59

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部