202
Mathematical Aspects of Logic Programming Semantics
P 1 :
1.0
0.5
e(a)
−0.5
0.5
e(a)
P 2 :
-1 .0
1.0
1.0
0.5
e(a)
0.5
o(a)
−0.5
0.5
0.5
e(a)
0.5
o(a)
P 3 :
-1
.0
1.
0
1.0
1.0
1.0
0.5
e(a)
0.5
o(a)
0.5
e(s(a))
−0.5
0.5
0.5
0.5
e(a)
0.5
o(a)
0.5
e(s(a))
FIGURE 7.7: The networks corresponding to P 1 , P 2 , and P 3 from Example 7.5.7.
0. ¯ 3
0. ¯ 3
0. ¯ 3
0. ¯ 3
0. ¯ 3
0. ¯ 3
FIGURE 7.8: The embedding of the T P -operator of Program 7.5.1 is shown
on the left. In the middle and on the right, approximations using threshold
and sigmoidal functions are depicted.