-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathGetClauses.py
122 lines (100 loc) · 3.9 KB
/
GetClauses.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
from TsetlinMachineScripts import ChessTM
import numpy as np
paral = False
machinepath = "Dataset/data/results/machines/"
def FormClauseConv(clause, winx, winy, bits, playermoving):
size = int(len(clause[0])/2)
WindowX = winx
if playermoving:
WindowX = winx*2
clauseBitsInc = clause[0][:size]
clauseBitsExc = clause[0][size:]
placement = clause[1]
#np.reshape(np.array( ), (WindowX, winy, bits))
clause = []
for i in range(size):
if clauseBitsInc[i] and clauseBitsExc[i]:
clause.append(2)
elif clauseBitsInc[i]:
clause.append(1)
elif clauseBitsExc[i]:
clause.append(-1)
else:
clause.append(0)
board = np.reshape(np.array(clause), (WindowX, winy, bits))
#for x in board:
# for piece in x:
# print(piece)
return (board, placement)
def GetCla(machi, clas, stuff):
def sort(inp):
return inp[1]
machines = [[] for i in range(len(machi.Machine))]
for mach in range(len(machines)):
machine = machi.Machine[mach]
print(len(machine.machine.get_state()[clas]))
weights = machine.machine.get_state()[clas][0]
clauses = machi.Machine[mach].GetClauses(clas)
claus = []
for i in range(len(weights)):
positive = False
if i%2==0:
positive = True
claus.append((FormClauseConv(clauses[i], stuff[0], stuff[1], stuff[2], stuff[3]), weights[i],positive))
claus.sort(key=sort, reverse=True)
#print(claus)
machines[mach] = claus[:15]
return machines
def WriteFile(filename, clauses):
clausefile = open(filename, "w")
for machine in range(len(clauses)):
clausefile.write("=====================\n")
clausefile.write("Machine: " + str(machine) + "\n")
clausefile.write("=====================\n")
for i in clauses[machine]:
#print(i)
clausefile.write("Weights: " + str(i[1]) + " Vote: ")
if i[2]:
clausefile.write("For")
else:
clausefile.write("Against")
clausefile.write(" Placement " + str(i[0][1]))
clausefile.write("\n")
clausefile.write(str(i[0][0]))
clausefile.write("\n")
clausefile.write("----------------------------\n")
clausefile.close()
def tsmFp3M():
Tsm1 = ChessTM.RevConvolutional()
Tsm1.parallel = paral
Tsm1.Load(machinepath + "3pieces-3x3")
'''states = Tsm1.Machine[0].machine.get_state()
claues = Tsm1.Machine[0].GetClauses(0)
print(len(states[0][0]),len(claues))
for i in range(len(states[0][0])):
print("---------")
print(states[0][0][i])
print(FormClauseConv(claues[i], (3, 3, 12, False)))'''
#print(clauses[0][1])
WriteFile("3pieces-3x3-rev-win.txt", GetCla(Tsm1, 1, (3, 3, 12, False)))
WriteFile("3pieces-3x3-rev-loss.txt", GetCla(Tsm1, 0, (3, 3, 12, False)))
WriteFile("3pieces-3x3-rev-draw.txt", GetCla(Tsm1, 2, (3, 3, 12, False)))
def tsmFp4M():
Tsm2 = ChessTM.RevConvolutional()
Tsm2.parallel = paral
Tsm2.double_bits = True
Tsm2.Load(machinepath + "4pieces-5x5-BitsTest")
WriteFile("4pieces-5x5-BitsTest-rev-loss.txt", GetCla(Tsm2, 0, (5, 5, 12, False)))
WriteFile("4pieces-5x5-BitsTest-rev-win.txt", GetCla(Tsm2, 1, (5, 5, 12, False)))
#WriteFile("4pieces-5x5-BitsTest-rev-draw.txt", GetCla(Tsm2, 2, (5, 5, 12, False)))
def tsmSp4M():
Tsm3 = ChessTM.SideSplit()
Tsm3.parallel = paral
Tsm3.double_bits = True
Tsm3.Load(machinepath + "4pieces-5x5-BitsTest")
WriteFile("4pieces-5x5-BitsTest-sidesplit-loss.txt", GetCla(Tsm3, 0, (5, 5, 12, False)))
WriteFile("4pieces-5x5-BitsTest-sidesplit-win.txt", GetCla(Tsm3, 1, (5, 5, 12, False)))
#WriteFile("3pieces-3x3-sidesplit-draw.txt", GetCla(Tsm3, 2, (5, 5, 12, False)))
tsmFp3M()
tsmFp4M()
tsmSp4M()