六元语言真值模态命题逻辑及其归结自动推理研究6-Element Linguistic Truth-Valued Modal Proposition Logic and Resolution Automated Reasoning
王诗慧, 王艳芳, 崔晓松 下载量: 317 浏览量: 463
计算机科学与应用 Vol.12 No.5, May 31 2022, PDF, HTML, XML DOI:10.12677/CSA.2022.125141 被引量
人工智能中的自动逻辑推理Automatic Logic Reasoning in Artificial Intelligence
邱德钧 下载量: 1,379 浏览量: 6,560
人工智能与机器人研究 Vol.8 No.1, December 26 2018, PDF, HTML, XML DOI:10.12677/AIRR.2019.81002 被引量
R0-代数的几类反犹豫模糊滤子Several Types of Anti-Hesitation Fuzzy Filters for R0-Algebras
郑苗苗 下载量: 319 浏览量: 431
理论数学 Vol.12 No.5, May 24 2022, PDF, HTML, XML DOI:10.12677/PM.2022.125090 被引量