-
题名命题知识库演化中的新知识特征
- 1
-
-
作者
王以松
刘蕻
张颖
张明义
李丹宁
杨佳佳
-
机构
贵州大学计算机科学与技术学院
贵州大学人工智能研究院
天津大学智能与计算学部
贵州科学院
-
出处
《贵州大学学报（自然科学版）》
2024年第1期1-19,共19页
-
基金
国家自然科学基金资助项目(62376066,61976065,61370161)
-
文摘
逻辑差概念在表征基于逻辑的知识库中起到重要作用,这些知识库持续受到动态变化的影响,它们之间存在实质性差异。这一概念与遗忘密切相关,它在各种逻辑中得到了广泛探讨。针对命题理论的相关符号,提出了3种差概念——逻辑差异、子句差异和素子句差异,以分别捕获逻辑推理、子句推理和素子句推理的差异;研究了它们的性质和计算复杂性。结果表明,涉及逻辑差的各种决策问题在多项式层次结构中比相应的可满足性问题高一个层次,除了2-CNF理论,其相关决策问题是易处理的。随机3-CNF、2-CNF和Horn理论的大量实验结果揭示了子句差和素子句差的一些有趣现象:在随机3-CNF理论和2-CNF理论中,子句和素子句差的子句数量都表现出与它们的可满足性类似的相变特征。然而,在随机Horn理论中,尽管子句差的子句数量表现出与其可满足性类似的相变,但素子句差的子句数量与子句差情形十分不同,这些结果揭示了随机命题知识库演化中其可满足性相变现象的新特征:在相变阈值附近的知识库演变会产生更多的差异。
-
关键词
逻辑差
子句差
素子句差
计算复杂性
相变
知识管理
-
Keywords
logical difference
clausal diference
prime difference
computational complexity
phase transition
knowledge managrment
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
TP39
[自动化与计算机技术—计算机科学与技术]
-
-
题名关于Coldbach问题的证明
- 2
-
-
作者
倪家泰
-
机构
攀枝花市第十五中学
-
出处
《楚雄师范学院学报》
2010年第3期1-17,共17页
-
文摘
Coldbach问题是著名的世界数学难题,一百多年以来未曾有人能证明它。用初等数论能不能证明这一问题,现在也争论不休。我的论文成功的证明了这一问题,并且解决了这个争论。本文以自然数N>2为等差中项,寻求素公差d。对于3≤N≤421的等差中项,一一列举其素公差,对于N>421的等差中项,证明其素公差存在。孪生素数对问题是哥氏问题的特殊情况,同时进行证明。
-
关键词
Coldbach问题
素公差
同余式
孙子定理
孪生素数
-
Keywords
Goldbach problem
prime number common difference
congruence
Chinese Remainder Theorem
twin primes
-
分类号
O156
[理学—数学]
-
