科学网

 找回密码
  注册
自动定理发现领域的创始者 - 沃斯
程京德 2024-6-29 06:18
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 自动定理发现领域的创始者 - 沃斯 ...
个人分类: 相关逻辑|2075 次阅读|没有评论
相关逻辑 (4) - 形式语言
程京德 2024-6-25 08:18
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 相关逻辑 (4) - 形式语言 程京德 自2 ...
个人分类: 相关逻辑|2393 次阅读|没有评论
相关逻辑 (3) - 特征
程京德 2024-6-18 06:18
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 相关逻辑 (3) - 特征 程京德 自20世 ...
个人分类: 相关逻辑|3278 次阅读|没有评论
相关逻辑 (2) - 创建
程京德 2024-6-9 06:18
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 相关逻辑 (2) - 创建 程京德 自20世纪 ...
个人分类: 相关逻辑|3296 次阅读|没有评论
相关逻辑 (1) - 背景和前史
程京德 2024-5-28 08:18
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 相关逻辑(1) - 背景和前史 程京德 &n ...
个人分类: 相关逻辑|2476 次阅读|没有评论
实现人工通用智能的关键必由之路 -- 基于强相关逻辑的形式理论自动定理发现
程京德 2023-10-20 08:59
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 实现人工通用智能的关键必由之路 -- 基于强相关逻辑的形式理论自动定理发现 程 ...
个人分类: 相关逻辑|878 次阅读|没有评论
强相关逻辑及其应用(简约版)
程京德 2023-8-14 06:18
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 强相关逻辑及其应用(简约版) 程京德 概要 ...
个人分类: 相关逻辑|1032 次阅读|没有评论
强相关逻辑及其应用(下)
程京德 2023-8-13 05:08
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 强相关逻辑及其应用(下) 程京德 ...
个人分类: 相关逻辑|4883 次阅读|没有评论
强相关逻辑及其应用(中)
程京德 2023-8-9 05:08
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 强相关逻辑及其应用(中) 程京德 &nbs ...
个人分类: 相关逻辑|3537 次阅读|没有评论
现代逻辑之未来 – 从相关逻辑到量子逻辑(纲要)
程京德 2023-7-25 06:08
本人保留本文的全部著作权利。如果哪位读者使用本文所陈述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 现代逻辑之未来– 从相关逻辑到量子逻辑(纲要) 程京德 &nb ...
个人分类: 相关逻辑|961 次阅读|没有评论

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

GMT+8, 2024-7-27 13:08

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部