File size: 3,314 Bytes
bacb17b |
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 |
import json
import numpy as np
import os,sys
# sys.path.append(os.path.join(os.path.dirname(__file__), '../../'))
from ... import utils as util
class DataPreprocess():
def __init__(self,data_path="LTL_datasets/collect") -> None:
self.data_path=data_path
self.train_valid_split=0.1
pass
def txtdataReader(self):
LTL_list=[
# 'ltl_mid_order_ascii.txt',
# 'ltl_mid_order_ascii_gpt_auged.txt',
# 'ltl_mid_order_ascii_gpt_auged2.txt',
'Cleaned_LTL.txt'
]
ENG_list=[
# 'eng.txt',
# 'eng_gpt_auged.txt',
# 'eng_gpt_auged2.txt'
'Cleaned_ENG.txt'
]
content=[]
for filename in LTL_list:
with open(os.path.join(self.data_path,filename)) as txt:
content += txt.readlines()
txt.close()
self.ltl =np.array(content)
content=[]
for filename in ENG_list:
with open(os.path.join(self.data_path,filename)) as txt:
content += txt.readlines()
txt.close()
self.eng =np.array(content)
print(len(self.ltl))
def JSONdataCreate(self):
self.txtdataReader()
self.JSONWriter()
def JSONWriter(self):
np.random.seed(42)
# idx=np.random.shuffle( np.arange(len(ltl)))
self.idx=np.arange(len(self.ltl))
np.random.shuffle(self.idx)
with open(self.data_path+"/ltl_eng_train_mid_ascii_gptAuged.jsonl","w") as f:
for i in range(int(len(self.ltl)*(1-self.train_valid_split))):
json.dump({"natural":self.eng[self.idx[i]],"raw_ltl":self.ltl[self.idx[i]],"id":str(self.idx[i])},f)
f.write('\n')
with open(self.data_path+"/ltl_eng_test_mid_ascii_gptAuged.jsonl","w") as f:
for i in range(int(len(self.ltl)*(1-self.train_valid_split)),len(self.ltl)):
json.dump({"natural":self.eng[self.idx[i]],"raw_ltl":self.ltl[self.idx[i]],"id":str(self.idx[i])},f)
f.write('\n')
def dataCheck(self):
self.txtdataReader()
checker=util.LTLChecker()
with open(os.path.join(self.data_path,"Cleaned_LTL.txt"),"a") as passed_LTL:
with open(os.path.join(self.data_path,"Cleaned_ENG.txt"),"a") as passed_ENG:
with open(os.path.join(self.data_path,"UNCleaned_num.txt"),"a") as unpassed_row:
with open(os.path.join(self.data_path,"UNCleaned_LTL.txt"),"a") as unpassed_LTL:
with open(os.path.join(self.data_path,"UNCleaned_ENG.txt"),"a") as unpassed_ENG:
for id in range(len(self.ltl)):
if checker.AP_CorrCheck(self.ltl[id],self.eng[id]):
passed_LTL.write(self.ltl[id])
passed_ENG.write(self.eng[id])
else:
unpassed_row.write("{}\n".format(id))
unpassed_LTL.write(self.ltl[id])
unpassed_ENG.write(self.eng[id])
if __name__=="__main__":
# DataPreprocess().dataCheck()
DataPreprocess().JSONdataCreate()
|