2018
DOI: 10.17576/jsm-2018-4706-30
|View full text |Cite
|
Sign up to set email alerts
|

Discrete Hopfield Neural Network in Restricted Maximum k-Satisfiability Logic Programming

Abstract: Maximum k-Satisfiability ( MAX-kSAT)

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
28
0

Year Published

2020
2020
2023
2023

Publication Types

Select...
7
1

Relationship

2
6

Authors

Journals

citations
Cited by 40 publications
(28 citation statements)
references
References 25 publications
0
28
0
Order By: Relevance
“…In another perspective, the proposed model only considers satisfiable SAT logic. Other SAT representations such as MAX k -SAT [ 18 ] require major restructuring, especially in terms logical redundancy. Furthermore, this experiment only employs a nonrestricted learning environment where the CSA and ES will iterate until .…”
Section: Resultsmentioning
confidence: 99%
See 1 more Smart Citation
“…In another perspective, the proposed model only considers satisfiable SAT logic. Other SAT representations such as MAX k -SAT [ 18 ] require major restructuring, especially in terms logical redundancy. Furthermore, this experiment only employs a nonrestricted learning environment where the CSA and ES will iterate until .…”
Section: Resultsmentioning
confidence: 99%
“…Note that HNN can be split into continuous HNN (CHNN) and discrete HNN (DHNN). The structure of DHNN consists of input and output neurons that store bipolar or binary pattern [ 18 ]. In addition, DHNN utilizes the Lyapunov energy function to determine degree of convergence of the solution [ 19 ].…”
Section: Introductionmentioning
confidence: 99%
“…In the aspect of the 2SAT logical rule, we only utilize the satisfiable logical rule, where the Min f (w i ) − y i is always zero. The use of other non-satisfiable logic, such as maximum satisfiability [75], is only compatible for P learn = 0. The lists of parameters used in each RBFNN-2SATRA model are summarized in Table 1.…”
Section: Methodsmentioning
confidence: 99%
“…as the states. The spin points of the neuron flip until equilibrium is reached (Kasihmuddin et al, 2018). In terms of 3-SAT representation, each variable in 3-SAT formula will be represented in terms of N neurons.…”
Section: Hopfield Neural Networkmentioning
confidence: 99%
“…Theoretically, the Hopfield neural network is a powerful network due to the flexibility of the network to works with metaheuristics and data mining approach (Kasihmuddin et al, 2018). The capabilities of the Hopfield neural network to truncate the outliers and store the data effectively via Content Addressable Memory are essential in knowledge discovery or logic mining (Sathasivam, 2010).However, on the theoretical side, Cabrera and Sossa (2018) have enhanced the stable states of HNN to be a robust network.…”
Section: Introductionmentioning
confidence: 99%