Publication: G-Type Random 3 Satisfiability With Discrete Hopfield Neural Network
Loading...
Date
2025-09
Authors
Gao, Yuan
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Logical relationships are crucial in artificial intelligence, especially in structuring data relations, as logical relationships provide a structured and formal framework. However, existing models often overlook the potential for flexible representations in
satisfiability logical rules. To address this, this thesis proposes a novel logical rule called G-type Random 3 Satisfiability. This rule combines high-order, systematic, and non systematic logic to create a logical framework with high randomness and flexibility. When embedded into Discrete Hopfield neural networks, this logical rule significantly enhances the adaptability of the network in associative memory and complex logical task processing. To improve training efficiency, a novel Binary Optimal Solution Ant Colony Optimization algorithm is introduced as the learning mechanism. By refining the initialization process and update rules, the algorithm achieves a significantly faster convergence speed. For the retrieval phase, a new mutation strategy called Randomized Pairwise-Single Mutation is proposed, which enhances global solution diversity and further optimizes the quality of retrieval results.
Description
Keywords
G-Type Random 3 Satisfiability , Discrete Hopfield Neural Network