Hlavní navigace

Názor ke článku Answer Set Programming od zboj - @1 Grounding v predikátové logice se dost podstatně...

  • 8. 2. 2014 13:31

    zboj (neregistrovaný) 46.135.126.---

    @1 Grounding v predikátové logice se dost podstatně liší od groundingu v ASP. Spousta optimalizací formulaci problému ve výrokové logice redukuje při zachování sémantiky. Vždy lze vymyslet nějaký teoretický worst case, nicméně u praktických problémů k explozi většinou nedochází. Stěžejní je, jako u všeho, vytipovat takovou množinu problémů, které ASP řeší rychle. Většinou jde o exponenciální problémy, jako třeba plánování, NP-úplné algoritmy v grafech apod.