Cílem této bakalářské práce je navrhnout, formalizovat a implementovat nové domény a problémy pro multi-agentní plánování s privátní znalostí. Práce se zaměřuje na formalizaci a implementaci multi-agentních plánovacích ...

V této práci se pokusíme využít metody induktivního logického programování k vytěžení numerických hodnot v komplexní prostředí reprezentované pomocí jazyku prvořádové logiky a následně tyto hodnoty využít k řešení regresní ...