PRO2SAT: Systematic Probabilistic Satisfiability logic in Discrete Hopfield Neural Network
Chen Ju, Mohd Shareduwan Mohd Kasihmuddin, Yuan Gao, Yueling Guo, Mohd. Asyraf Mansor, Nurul Atiqah Romli, Weixiang Chen, Chengfeng Zheng
Topics & Concepts
SatisfiabilityProbabilistic logicHopfield networkArtificial neural networkComputer scienceBoolean satisfiability problemProbabilistic argumentationTheoretical computer scienceProbability distributionArtificial intelligenceAlgorithmContext (archaeology)MathematicsBiologyPaleontologyStatisticsNeural Networks and ApplicationsAdvanced Neural Network ApplicationsFuzzy Logic and Control Systems