Učení plánovacích modelů

Abstract

In AI planning, planners typically require a precise description of the input model. Creation of such model is a difficult task, so methods that automatically generate models from input plans are also created. However, a lot of them make assumptions about the model or are imprecise. In this thesis, we present a new method called LOUGA (Learning operators using genetic algorithms), which uses genetic algorithms to learn models. Unlike other methods, LOUGA does not make any assumptions about the model and works precisely even with small amount of predicates in input plans. In the first step, LOUGA generates all such pairs operator-predicate, that the operator can add or remove the predicate from the world. Every such pair is represented by one gene. In the second step, evolution is being performed until such model that explains input data without errors is found. In this paper, we have also proved empirically that LOUGA works faster and more precisely than existing method ARMS. 1

Programy generující plány vyžadují přesný popis plánovacího modelu. Vytvo- ření takového modelu je ale náročný proces, proto se vytváří postupy, které gene- rují modely automaticky ze vzorových plánů. Mnoho z nich však klade speciální požadavky na učený model nebo nepracuje zcela přesně. V této práci představu- jeme nový přístup LOUGA (Learning operators using genetic algorithms), který se automaticky učí modely za pomoci genetických algoritmů. Na rozdíl od ji- ných přístupů neklade LOUGA žádné speciální požadavky na vlastnosti učených modelů a dokáže pracovat přesně i s malým množstvím predikátů ve vstupních plánech. Přístup v prvním kroku vygeneruje všechny možné dvojice operátor- predikát takové, že operátor může predikát přidat nebo odebrat ze světa. Každá tato dvojice je reprezentována jedním genem. V druhém kroku provádí evoluci jedinců, dokud nenalezne takový model, který vysvětluje vstupní data bez chyb. V experimentech jsme ověřili, že LOUGA pracuje znatelně přesněji a rychleji než existující přístup ARMS. 1