首页|Investigators at Southwest Jiaotong University Report Findings in Automated Reasoning (A Complementary Ratio Based Clause Selection Method for Contradiction Separation Dynamic Deduction)
Investigators at Southwest Jiaotong University Report Findings in Automated Reasoning (A Complementary Ratio Based Clause Selection Method for Contradiction Separation Dynamic Deduction)
扫码查看
点击上方二维码区域，可以放大扫码查看
原文链接
NETL
NSTL
Elsevier
Investigators publish new report on Automated Reasoning. According to news reporting originating in Chengdu, People’s Republic of China, by NewsRx journalists, research stated, “Automated reasoning is a key research area of Artificial Intelligence (AI) and has attracted much greater attention in recent years due to the demands of trustworthy AI, where binary resolution inference rule based firstorder automated reasoning play a crucial role. Recently, a novel multi-clause dynamic standard contradiction separation (S-CS) inference rule and related automated deduction theory were proposed to overcome the limitations of binary resolution-based automated deduction.”
ChengduPeople’s Republic of ChinaAsiaAutomated ReasoningEmerging TechnologiesMachine LearningSouthwest Jiaotong University
NETL
NSTL
Elsevier
