对于拟议的周边界限,最小的减少值
Zhongtao Xie1, Yisong Wang1, Lei Yang2
1State Key Laboratory of Public Big Data, Key Laboratory of Advanced Medical Imaging and Intelligent Computing of Guizhou Province, College of Computer Science and Technology, Guizhou University, Guiyang, China.
Frontiers in artificial intelligence
|December 26, 2025
概括
一种新方法,circ-reduct,使用最小的减值来有效计算环形模型. 这种方法在常识推理和诊断的各种基准上明显优于circ2dlp和aspino等现有解决方案.
科学领域:
- 人工智能的人工智能
- 知识表示和推理.
背景情况:
- 环形是常识知识表示和推理的关键逻辑框架.
- 现有的高效实现,如circ2dlp和aspino,用于基于模型的诊断.
研究的目的:
- 提出一个新的概念的最小减少的命题的限制.
- 开发一个新的算法,circ-reduct,用于计算使用最小减值的环形模型.
主要方法:
- 引入了关于命题界限的最小缩减的概念.
- 证明了一个将环形模型与最小减量联系起来的特征定理.
- 开发并证明了循环减小算法的正确性,用于代模型计算.
主要成果:
- 最小的减少有效地简化了模型计算的限制.
- 与circ2dlp相比,circ-reduct算法可以实现显著更短的CPU时间.
- 在随机和工业CNF基准上,circ-reduct显示了比aspino更好的CPU时间.
结论:
- 最小的减少为计算环形模型提供了一个有效的机制.
- 循环减小算法为现有的循环减小算法提供了一个更有效的替代方案.
- 这项工作推进了在AI领域的局限的实际应用.
相关概念视频
Hückel's Rule Diagram of π MOs: Frost Circle
5.4K
The Frost circle or the inscribed polygon method is a graphical method for determining the relative energies of π molecular orbitals (MOs) for planar, fully conjugated, and monocyclic compounds. This method was first described by A. A. Frost and Boris Musulin in 1953.
A Frost circle is constructed by drawing a polygon whose number of edges is equal to the number of carbons of the given cyclic system, with one of the vertices pointing down. Then, a circle is drawn enclosing the polygon so that...
A Frost circle is constructed by drawing a polygon whose number of edges is equal to the number of carbons of the given cyclic system, with one of the vertices pointing down. Then, a circle is drawn enclosing the polygon so that...
5.4K
Block Diagram Reduction
492
The process of deriving the transfer function of a control system often involves reducing its block diagram to a single block. This simplification can be achieved through a series of strategic operations, including relocating branch points and comparators. These operations preserve the overall function of the system while allowing for easier manipulation and combination of blocks.
The first step in this process is the identification and relocation of a branch point. A branch point, where a...
The first step in this process is the identification and relocation of a branch point. A branch point, where a...
492
Woodward–Hoffmann Selection Rules and Microscopic Reversibility
3.7K
Electrocyclic reactions, cycloadditions, and sigmatropic rearrangements are concerted pericyclic reactions that proceed via a cyclic transition state. These reactions are stereospecific and regioselective. The stereochemistry of the products depends on the symmetry characteristics of the interacting orbitals and the reaction conditions. Accordingly, pericyclic reactions are classified as either symmetry-allowed or symmetry-forbidden. Woodward and Hoffmann presented the selection criteria for...
3.7K
Deductive Reasoning
63.7K
Deductive reasoning, or deduction, is the type of logic used in hypothesis-based science. In deductive reasoning, the pattern of thinking moves in the opposite direction as compared to inductive reasoning, which means that it uses a general principle or law to predict specific results. From those general principles, a scientist can deduce and predict the specific results that would be valid as long as the general principles are valid.
For example, a researcher can deduce specific predictions...
For example, a researcher can deduce specific predictions...
63.7K
Benzene to 1,4-Cyclohexadiene: Birch Reduction Mechanism
2.6K
Birch reduction uses solvated electrons as reducing agents. The reaction converts benzene to 1,4-cyclohexadiene. The reaction proceeds by the transfer of a single electron to the ring to form a benzene radical anion. This anion is highly basic—it abstracts a proton from the alcohol to form a cyclohexadienyl radical. Another single electron transfer gives the cyclohexadienyl anion. A proton transfer from the alcohol forms 1,4-cyclohexadiene. Since this reduction occurs via radical anion...
2.6K
Inductive Reasoning
64.4K
Inductive reasoning is a form of logical thinking that uses related observations to arrive at a general conclusion. It is uncertain and operates in degrees to which the conclusions are credible. As such, inductive arguments can be weak or strong, rather than valid or invalid, and conclusions can be used to formulate testable, falsifiable hypotheses.
Inductive reasoning is common in descriptive science. A life scientist makes observations and records them. This data can be qualitative or...
Inductive reasoning is common in descriptive science. A life scientist makes observations and records them. This data can be qualitative or...
64.4K


