
isaplaanar

interactive proof asisttantaaya isabelleyude proof plaanaraan isaplanar. eddinberg sarvakalaashaalayile phd theesisinte bhaagamaayi lucas dixon aadyam vikasippichedutha ithu ippol edinburghile informatics skoolile ganithashaasthra nyaayavaada groupile amgangalaanu paripaalikkunnath.
edinbergil ezhuthiya proof plaanarmaarude oru parambarayil ettavum puthiyathaanu isaplanar. munkaala aasoothrakaril klaam, lambdaclam enniva ulppedunnu.
savisheshathakal.
sidhaanthangal oohikkunnathinum theliyikkunnathinum oru kompinettar bhasha upayogichu yukthisahamaya saankethikavidyakal encode cheyyaan isaplaanar upayokthaavine anuvadikkunnu. yukthisahamaya avasthakal, thuranna lakshyangalude rekhakal, nilavile proof plan, mattu pradhana vivarangal enniva kaikaaryam cheythukondu isaplaanar pravartthikkunnu, koodaathe kombinettarukal pingaamikalude yukthisahamaya avasthakalude alasamaaya listtukalilekku yukthisahamaya avasthakal mapp cheiyunna pravarthanangalaanu.
isaaplaanarinte library mattu jolikalkoppam branchingin aavarthanathinumulla kombinettarukal nalkunnu, koodaathe eee kombinettarukalumaayi lalithamaaya reasoning teknikkukal samyojippichu sakthamaaya reasoning teknikkukal srishtikkaan kazhiyum.
isaplaanarinullil niravadhi reasoning teknikkukal nadappilakkaan thayyaaraan, prathyekichu, dynamic repling nadappaakkal, uyarnna krama krameekaranangalil pravartthikkaan kazhivulla oru repling huristic, bestt-phastt repling huristic, induction vazhi thelivukalkkulla oru reasoning technic enniva isaplaanaril ulppedunnu.
adhika savisheshathakalil proof shramangaliloode swamedhayaa chuvaduvekkunnathinulla oru samvedanaathmaka tracing upakaranavum sreniparamaaya proof kaanunnathinum kaikaaryam cheiyunnathinumulla oru module ulppedunnu.
aasootritha savisheshathakal.
nilavil nadappaakkunna allengil bhaaviyilekkulla aasoothrana savisheshathakal, uyarnna oordar domainukalil upayogikkaan anuyojyamaaya vipuleekaricha proof critics, dynamic relational repling, functional expressionukalkku vipareethamaayi relational expressionukalil reple cheyyaan anuyojyamaaya oru reple huristic, veendum uyarnna oordar domainukalil upayogikkaan anuyojyamaanu, koodaathe proof generalumaayi isaplaanarinte samyojanam ennivayaanu.

