Abstract
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.”
NETL
NSTL
Elsevier