Distributed Assumption Based Truth Maintenance System for Scalable Reasoning
gajeonggibanjinrigwanri siseutem(ATMS)eun curon siseutemyi curon gwajeongeul jeojanghago bidanjocuroneul jiweonhal su issneun doguida ddohan yijongiban backtrackingeul jiweonhameuro maeu neolbeun gonggan tamsaeg munjereul haegyeol hal su issneun gangryeoghan doguida. modeun curon gwajeongeul giroghago, teugjeonghan keontegseuteueseo jineunghyeongsiseutemyi Beliefreul maeu bbareuge hwaginhago bidanjo curon munjee daehan haegyeolcaegeul hyoyuljeogeuro jegonghal su issge handa. geureona coegeun deiteoyi yangi bangdaehaejimyeonseo gijonyi danil meosineul sayonghaneun gyeongu munje haegyeol peurogeuraemyi daeyongryangyi curongwajeongeul jeojanghaneun geosi bulganeunghage doeeossda. daeyongryang deiteoe daehan munje haegyeol gwajeongeul giroghaneun geoseun manheun yeonsangwa memori obeohedeureul yagihanda. ireohan danjeomeul geugboghagi wihae bon nonmuneseoneun Apache Spark hwangyeongeseo functional mic gaegcejihyang bangsig gibanyi jeomjinjeog keontegseuteu curoneul yujihal su issneun bangbeobeul jeanhanda. ineun gajeong(Assumption)gwa yudogwajeongeul bunsan hwangyeonge jeojanghamyeo, silcehwadoen daeyongryang deiteosesyi byeonhwareul hyoyuljeogeuro sujeongganeunghage handa. ddohan ATMSyi Label, Environmentreul bunsan ceorihayeo daegyumoyi curon gwajeongeul hyogwajeogeuro gwanrihal su issneun banganeul jesihago issda. jeanhaneun siseutemyi seongneungeul ceugjeonghagi wihae 5gaeyi nodeuro guseongdoen keulreoseuteoeseo LUBM deiteosese daehan OWL/RDFS curoneul suhaenghago, deiteoyi cuga, seolmyeong, jegeoe daehan silheomeul suhaenghayeossda. LUBM2000e daehayeo curoneul suhaenghan gyeolgwa 80GBdeiteoga curondoeeossgo, ATMSe jeogyonghayeo cuga, seolmyeong, jegeoe daehayeo suco naee ceorihaneun seongneungeul boyeossda.