Computer Science ›› 2021, Vol. 48 ›› Issue (11A): 672-677.doi: 10.11896/jsjkx.210100109
• Interdiscipline & Application • Previous Articles Next Articles
JIANG Hua-nan1, ZHANG Shuai2, LIN Yu-fei2, LI Hao2
CLC Number:
[1]WANG G J.Quantitative logic(I)[J].Chinese Journal of Engineering Mathematics,2006,23(2):191-215. [2]WANG G J.Introduction to Quantitative Logic[J].Fuzzy Systems and Mathematics,2012,26(4):1-11. [3]WANG G J,SONG J S.Graded Method in Propositional Logic[J].Acta Electronica Sinica,2006,34(2):252-257. [4]WANG G J.Introduction to Mathematical Logical and Resolu-tion Principle[M].Beijing:Science Press,2006. [5]WANG G J.Non-classical Mathematical Logic and Approximate Reasoning[M].Beijing:Science Press,2008. [6]WANG G J,FU L,SONG J S.Theory of truth degrees in two-valued propositional logic[J].SCIENCE INCHINA(Series A),2013,31(11):998-1008. [7]WANG G J,LEUNG Y.Integrated semantics and logic metric spaces[J].Fuzzy Sets and Systems,2003,136(1):71-91. [8]SHE Y H.On the rough consistency measures of logic theories and approximate reasoning in rough logic[J].International Journal of Approximate Reasoning,2014,55(1):486-499. [9]WANG G J,QIN X Y,ZHOU X N.Theory of quasi-truth degrees of formulas in two-valued predicate logic[J].Journal of Shaanxi Normal University(Natural Science Edition),2005,33(1):1-6. [10]QIN X Y,XU Y,LIU Y.Vector truth degrees of formula in two-valued predicate logic[J].Pattern Recognition and Artificial Intelligence,2013,26(8):740-744. [11]QIN X Y,LIU Y,XU Y,et al.Theory of approximate reasoning in two-valued predicate logic based on the quasi-truth degrees[J].Journal of Donghua University(English Edition),2012,29(1):23-27. [12]QIN X Y,XU Y,LIU Y.The validity degreevectors of formulae in two-valued predicate logic[J].International Journal of Computational Intelligence Systems,2015,8(5):829-840. [13]WANG G J,QIN X Y,ZHOU X N.An intrinsic fuzzy set on the universe of discourse of predicate formulas[J].Fuzzy Sets and Systems,2006,157(24):3145-3158. [14]PEI D W.First-order formal system K* and its completeness[J].Chinese Annals of Mathematics,2002,23(A):675-684. [15]PEI D W,JIANG H.A new formal deductive system for fuzzy predicate calculus[J].Journal of Northeastern University(Natural Science),2003,35(1):23-30. [16]WANG G J.Axiomatic theory of truth degree for a classs offirst-order formulas and its application[J].Science China Press,2012,42(5):648-662. [17]QING X Y.The quantitative study in first-order logic system[D].Chengdu:Southwest Jiaotong University,2015. [18]QING X Y,JIAO S Y.The relative truth degrees of predicate formulas in the finite interpretation[J].Journal of Shanxi Normal University(Natural Science Edition),2008,22(2):15-17. [19]CAI Y,LIU J M.Discrete mathematics[M].Xidian University Press,2003. |
[1] | ZHANG Jia, DONG Shou-bin. Cross-domain Recommendation Based on Review Aspect-level User Preference Transfer [J]. Computer Science, 2022, 49(9): 41-47. |
[2] | NIE Xiu-shan, PAN Jia-nan, TAN Zhi-fang, LIU Xin-fang, GUO Jie, YIN Yi-long. Overview of Natural Language Video Localization [J]. Computer Science, 2022, 49(9): 111-122. |
[3] | CAO Xiao-wen, LIANG Mei-yu, LU Kang-kang. Fine-grained Semantic Reasoning Based Cross-media Dual-way Adversarial Hashing Learning Model [J]. Computer Science, 2022, 49(9): 123-131. |
[4] | DAI Yu, XU Lin-feng. Cross-image Text Reading Method Based on Text Line Matching [J]. Computer Science, 2022, 49(9): 139-145. |
[5] | FANG Yi-qiu, ZHANG Zhen-kun, GE Jun-wei. Cross-domain Recommendation Algorithm Based on Self-attention Mechanism and Transfer Learning [J]. Computer Science, 2022, 49(8): 70-77. |
[6] | PAN Zhi-yong, CHENG Bao-lei, FAN Jian-xi, BIAN Qing-rong. Algorithm to Construct Node-independent Spanning Trees in Data Center Network BCDC [J]. Computer Science, 2022, 49(7): 287-296. |
[7] | WU Su-jie, ZHOU Jie, WANG Xue-ying, LYU Zhi-kang, SHAO Gen-fu. Study on Characteristics of Millimeter-wave MIMO Channel in Rainfall Environment [J]. Computer Science, 2022, 49(7): 297-303. |
[8] | ZENG Zhi-xian, CAO Jian-jun, WENG Nian-feng, JIANG Guo-quan, XU Bin. Fine-grained Semantic Association Video-Text Cross-modal Entity Resolution Based on Attention Mechanism [J]. Computer Science, 2022, 49(7): 106-112. |
[9] | HUANG Shao-bin, SUN Xue-wei, LI Rong-sheng. Relation Classification Method Based on Cross-sentence Contextual Information for Neural Network [J]. Computer Science, 2022, 49(6A): 119-124. |
[10] | LU Hao-song, HU Yong-hua, WANG Shu-ying, ZHOU Xin-lian, LI Hui-xiang. Study on Hybrid Resource Heuristic Loop Unrolling Factor Selection Method Based on Vector DSP [J]. Computer Science, 2022, 49(6A): 777-783. |
[11] | LI Dan-dan, WU Yu-xiang, ZHU Cong-cong, LI Zhong-kang. Improved Sparrow Search Algorithm Based on A Variety of Improved Strategies [J]. Computer Science, 2022, 49(6A): 217-222. |
[12] | YANG Yue, FENG Tao, LIANG Hong, YANG Yang. Image Arbitrary Style Transfer via Criss-cross Attention [J]. Computer Science, 2022, 49(6A): 345-352. |
[13] | CHEN Yan-bing, ZHONG Chao-ran, ZHOU Chao-ran, XUE Ling-yan, HUANG Hai-ping. Design of Cross-domain Authentication Scheme Based on Medical Consortium Chain [J]. Computer Science, 2022, 49(6A): 537-543. |
[14] | WANG Xian-fang, ZHANG Liang, ZHANG Ning. Evolutionary Game Analysis of WeChat Health Information Quality Optimization Based on Prospect Theory [J]. Computer Science, 2022, 49(6A): 694-704. |
[15] | HAN Hong-qi, RAN Ya-xin, ZHANG Yun-liang, GUI Jie, GAO Xiong, YI Meng-lin. Study on Cross-media Information Retrieval Based on Common Subspace Classification Learning [J]. Computer Science, 2022, 49(5): 33-42. |
|