DOC PREVIEW
UT Dallas CS 6375 - CNF-DNF

This preview shows page 1 out of 2 pages.

Save
View full document
View full document
Premium Document
Do you want full access? Go Premium and unlock all 2 pages.
Access to all documents
Download any document
Ad free experience
Premium Document
Do you want full access? Go Premium and unlock all 2 pages.
Access to all documents
Download any document
Ad free experience

Unformatted text preview:

Representation of CNF and DNF by a neural netConsider neural nets with thresholds (and not sigmoids) at each node. These can easily com-pute CNF and DNF Boolean functions. A Boolean function of n Boolean variables is a functionf(x1, . . . xn) that produces as output either 0 or 1. Special cases are CNF and DNF.A DNF is a Boolean function of the form:f = t1∨ t2∨ . . . ∨ tmEach tjis of the form q1∧ q2∧ . . . ∧ qnj, and each qiis either a variable or a negation of a variable.For example, the following is a DNF:(x1∧ x2∧ x3) ∨ (x1∧ x2∧ x3) ∨ (x1∧ x2)A CNF is a Boolean function of the form:f = c1∧ c2∧ . . . ∧ cmEach cjis of the form q1∨ q2∨ . . . ∨ qnj, and each qiis either a variable or a negation of a variable.For example, the following is a DNF:(x1∨ x2∨ x3) ∧ (x1∨ x2∨ x3) ∧ (x1∨ x2)It is known (and very easy to show) that any Boolean function can be expressed as CNF and asDNF. In the worst case a Boolean function may require 2nDNF terms, or 2nCNF clauses.PerceptronsTheorem 1: A perceptron with inputs x1, . . . , xnand bias can compute any 1-term of a DNF.Constructive procedure: Let t = q1∧. . .∧qrbe a DNF term. The following algorithm convertsit into a single linear inequality that can be implemented by a single threshold unit.Step 1. Write the the inequalityX1+ . . . + Xr≥ r − 0.5, Xi=(xiif qi= xi1 − xiif qi= xiStep 2. Simplify the above inequality to the form:w0+ w1x1+ . . . + wrxr≥ 0Example: x1∧ x2∧ x3x1+ x2+ (1 − x3) ≥ 3 − 0.5−1.5 + x1+ x2− x3≥ 0Theorem 2: A perceptron with inputs x1, . . . , xnand bias cannot compute all 2-DNF.Proof: Observe that the xor function can be written as a 2-DNF: (x1∧ x2) ∨ (x1∧ x2).Theorem 3: A perceptron with inputs x1, . . . , xnand bias can compute any 1-clause of a CNF.1Constructive procedure: Let c = q1∨ . . . ∨ qrbe a CNF clause. The following algorithmconverts it into a single linear inequality that can be implemented by a single threshold unit.Step 1. Write the the inequalityX1+ . . . + Xr≥ 0.5, Xi=(xiif qi= xi1 − xiif qi= xiStep 2. Simplify the above inequality to the form:w0+ w1x1+ . . . + wrxr≥ 0Example: x1∨ x2∨ x3x1+ x2+ (1 − x3) ≥ 0.50.5 + x1+ x2− x3≥ 0Theorem 4: A perceptron with inputs x1, . . . , xnand bias cannot compute all 2-CNF.Proof: Observe that the xor function can be written as a 2-CNF: (x1∨ x2) ∧ (x1∨ x2)Neural Nets (multi layer perceptrons)Theorem 5: A neural-net with one hidden layer, given inputs x1, . . . , xnand bias can computeany DNF. An r-term DNF requires no more than r nodes in the hidden layer.Constructive pro cedure: Suppose f = t1∨ t2∨ . . . ∨ tm. The neural net has the hidden layernodes V1, . . . , Vm. The node Vjis connected to the inputs following the procedure in Theorem 1.The nodes V1, . . . , Vmare connected to the output node using the procedure of Theorem 3.Theorem 6: A neural-net with one hidden layer, given inputs x1, . . . , xnand bias can computeany CNF. An r-clause CNF requires no more than r nodes in the hidden layer.Constructive procedure: Suppose f = c1∧ c2∧ . . . ∧ cm. The neural net has the hidden layernodes V1, . . . , Vm. The node Vjis connected to the inputs following the procedure in Theorem 3.The nodes V1, . . . , Vmare connected to the output node using the procedure of Theorem 1.What if network vaiables are −1/1?x1∨ x2∨ . . . ∨ xn⇔nXi=1xi> −n + 0.5x1∧ x2∧ . . . ∧ xn⇔nXi=1xi> n − 0.5¬x ⇔


View Full Document

UT Dallas CS 6375 - CNF-DNF

Documents in this Course
ensemble

ensemble

17 pages

em

em

17 pages

dtree

dtree

41 pages

cv

cv

9 pages

bayes

bayes

19 pages

vc

vc

24 pages

svm-2

svm-2

16 pages

svm-1

svm-1

18 pages

rl

rl

18 pages

mle

mle

16 pages

mdp

mdp

19 pages

knn

knn

11 pages

intro

intro

19 pages

hmm-train

hmm-train

26 pages

hmm

hmm

28 pages

hmm-train

hmm-train

26 pages

hmm

hmm

28 pages

ensemble

ensemble

17 pages

em

em

17 pages

dtree

dtree

41 pages

cv

cv

9 pages

bayes

bayes

19 pages

vc

vc

24 pages

svm-2

svm-2

16 pages

svm-1

svm-1

18 pages

rl

rl

18 pages

mle

mle

16 pages

mdp

mdp

19 pages

knn

knn

11 pages

intro

intro

19 pages

vc

vc

24 pages

svm-2

svm-2

16 pages

svm-1

svm-1

18 pages

rl

rl

18 pages

mle

mle

16 pages

mdp

mdp

19 pages

knn

knn

11 pages

intro

intro

19 pages

hmm-train

hmm-train

26 pages

hmm

hmm

28 pages

ensemble

ensemble

17 pages

em

em

17 pages

dtree

dtree

41 pages

cv

cv

9 pages

bayes

bayes

19 pages

vc

vc

24 pages

svm-2

svm-2

16 pages

svm-1

svm-1

18 pages

rl

rl

18 pages

mle

mle

16 pages

mdp

mdp

19 pages

knn

knn

11 pages

intro

intro

19 pages

hmm-train

hmm-train

26 pages

hmm

hmm

28 pages

ensemble

ensemble

17 pages

em

em

17 pages

dtree

dtree

41 pages

cv

cv

9 pages

bayes

bayes

19 pages

hw2

hw2

2 pages

hw1

hw1

4 pages

hw0

hw0

2 pages

hw5

hw5

2 pages

hw3

hw3

3 pages

20.mdp

20.mdp

19 pages

19.em

19.em

17 pages

16.svm-2

16.svm-2

16 pages

15.svm-1

15.svm-1

18 pages

14.vc

14.vc

24 pages

9.hmm

9.hmm

28 pages

5.mle

5.mle

16 pages

3.bayes

3.bayes

19 pages

2.dtree

2.dtree

41 pages

1.intro

1.intro

19 pages

21.rl

21.rl

18 pages

ID3

ID3

4 pages

mlHw6

mlHw6

3 pages

MLHW3

MLHW3

4 pages

MLHW4

MLHW4

3 pages

ML-HW2

ML-HW2

3 pages

vcdimCMU

vcdimCMU

20 pages

hw0

hw0

2 pages

hw3

hw3

3 pages

hw2

hw2

2 pages

hw1

hw1

4 pages

9.hmm

9.hmm

28 pages

5.mle

5.mle

16 pages

3.bayes

3.bayes

19 pages

2.dtree

2.dtree

41 pages

1.intro

1.intro

19 pages

15.svm-1

15.svm-1

18 pages

14.vc

14.vc

24 pages

hw2

hw2

2 pages

hw1

hw1

4 pages

hw0

hw0

2 pages

hw3

hw3

3 pages

9.hmm

9.hmm

28 pages

5.mle

5.mle

16 pages

3.bayes

3.bayes

19 pages

2.dtree

2.dtree

41 pages

1.intro

1.intro

19 pages

Load more
Download CNF-DNF
Our administrator received your request to download this document. We will send you the file to your email shortly.
Loading Unlocking...
Login

Join to view CNF-DNF and access 3M+ class-specific study document.

or
We will never post anything without your permission.
Don't have an account?
Sign Up

Join to view CNF-DNF 2 2 and access 3M+ class-specific study document.

or

By creating an account you agree to our Privacy Policy and Terms Of Use

Already a member?