@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.
ČLÁNKY DO MAILU