程京德(Jingde Cheng)的博 ...

程京德
访问数:1220230
工作情况:日本 九州大学,埼玉大学,教授
研究领域:信息科学->计算机科学
加为好友
发送消息

全部博文

希望阅读本人科普文章的网友,请关注微信公众号“数理逻辑与哲学逻辑”

希望阅读本人科普文章的网友, 请 关注微信公众号 “ 数理逻辑与哲学逻辑 ”
2025-3-22 10:01

现代模态逻辑的创始者之一 - 刘易斯

本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 现代模态逻辑的创始者之一 - 刘易斯 ...
2025-3-21 18:18

人工智能应用主体问题 -- 人工智能有可能脱离人类行为主体吗?

本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 人工智能应用主体问题 -- 人工智能有可能脱离人类行为主体吗? ...
2025-3-14 09:57

将时态逻辑引入计算机科学的图灵奖获奖者 - 普纽埃利

本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 将时态逻辑引入计算机科学的图灵奖获奖者 ...
2025-3-6 13:18

科学研究规划及实践(1) - 讲座介绍

本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 科学研究规划及实践(1) - ...
2025-1-21 01:56

现代时态逻辑的创始者 - 普莱尔

本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 现代时态逻辑的创始者 - 普莱尔 ...
2025-1-6 06:38

论“幻觉”的误用及大语言模型的正确使用(上)

本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 论“幻觉”的误用及大语言模型的正确使用 ...
2024-12-30 08:18

状况理论及状况语义学的创始者 - 巴怀斯

本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 状况理论及状况语义学的创始者 - 巴怀斯 ...
2024-12-23 06:38

为什么现在的量子计算装置不能被称为“计算机”?

本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 为什么现在的量子计算装置不能被称为“计 ...
2024-12-18 10:19

通过基于强相关逻辑的正向推理自动生成海量合理经验定理 - 对LLM预训练数据枯竭问题的一个解决方案

本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处,恕本人在网上广泛公布侵权者姓名。敬请各位读者注意,谢谢! 通过基于强相关逻辑的正向推理自动生成海 ...
2024-12-17 07:58
全部博文
软件工程
知识工程
相关逻辑
信息安全性工程
数理逻辑
计算科学
人工智能
其它
他山之石
逻辑学
哲学逻辑
科学研究