论析数学逻辑推理的三种方法Analysis on the Three Methods of Mathematical Logic Reasoning
李 琪, 郭继东 下载量: 819 浏览量: 3,300 科研立项经费支持
理论数学 Vol.10 No.5, May 18 2020, PDF, HTML, XML DOI:10.12677/PM.2020.105060 被引量
人工智能中的自动逻辑推理Automatic Logic Reasoning in Artificial Intelligence
邱德钧 下载量: 1,414 浏览量: 6,619
人工智能与机器人研究 Vol.8 No.1, December 26 2018, PDF, HTML, XML DOI:10.12677/AIRR.2019.81002 被引量
推理规则链的确定性构建Creating a Reasoning Chain Determinately
张亦舜 下载量: 1,547 浏览量: 4,054
计算机科学与应用 Vol.6 No.9, September 29 2016, PDF, , XML DOI:10.12677/CSA.2016.69068 被引量
Markov逻辑网研究综述Survey of Markov Logic Networks
徐元子, 张迎新, 刘登第 下载量: 3,171 浏览量: 19,174
软件工程与应用 Vol.4 No.3, June 30 2015, PDF, , XML DOI:10.12677/SEA.2015.43010 被引量
数字认知和数学能力及其内在神经机制的关系The Relationship among Number Cognition, Mathematical Ability and Their Intrinsic Neural Mechanisms
卢 奕 下载量: 162 浏览量: 317
心理学进展 Vol.14 No.3, March 27 2024, PDF, HTML, XML DOI:10.12677/ap.2024.143165 被引量
民事裁判文书说理问题研究Study on the Reasoning of Civil Adjudication Documents
张庆庆 下载量: 338 浏览量: 469
法学 Vol.11 No.5, September 13 2023, PDF, HTML, XML DOI:10.12677/OJLS.2023.115598 被引量
六元语言真值模态命题逻辑及其归结自动推理研究6-Element Linguistic Truth-Valued Modal Proposition Logic and Resolution Automated Reasoning
王诗慧, 王艳芳, 崔晓松 下载量: 359 浏览量: 523
计算机科学与应用 Vol.12 No.5, May 31 2022, PDF, HTML, XML DOI:10.12677/CSA.2022.125141 被引量
条件句推理与基于Bayes法则的概率模型Conditional Reasoning and Probabilistic Model Based on Bayes Rule
费定舟 下载量: 3,309 浏览量: 9,322
心理学进展 Vol.2 No.5, November 27 2012, PDF, , XML DOI:10.12677/AP.2012.25040 被引量
ProofsNavigator:基于引导的可解释知识推理方法ProofsNavigator: A Bootstrap Base Method for Explainable Knowledge Reasoning
韦泽杨, 贾旭东, 陈 涛, 钟甫广 下载量: 10 浏览量: 23
计算机科学与应用 Vol.14 No.7, July 12 2024, PDF, , XML DOI:10.12677/csa.2024.147159 被引量
演绎与归纳推理比较的神经机制:问题与趋势The Neural Mechanisms of Comparison between Deductive and Inductive Reasoning: Problems and Trends
李晓芳, 张明明, 龙长权 下载量: 2,209 浏览量: 13,137 国家自然科学基金支持
心理学进展 Vol.6 No.4, April 11 2016, PDF, , XML DOI:10.12677/AP.2016.64049 被引量