Autonomní agenti

Skupina provádí základní a aplikovaný výzkum v oblastech splnitelnosti problémů omezených podmínkami a diskrétních optimalizačních problémů pomocí technik, jako je CSP a booleovská splnitelnost, logické programování (s omezujícími podmínkami) a znalostní uvažování. Provádíme výzkum obecných technik řešení problémů včetně algoritmů vyhledávání a konzistence (motivovaných umělou inteligencí), algoritmů pro řešení konkrétních problémů kombinatorické optimalizace, jako je plánování, a formálních vlastností problémů, jako je složitost problému. V současné době jsou hlavními oblastmi využití našeho výzkumu plánování a rozvrhování. Pracujeme na obecně použitelných plánovacích a rozvrhovacích systémech, na formální specifikaci problémů (modelování problémů) a na automatizovaném získávání znalostí z modelů, které jsou užitečné pro řešení problémů. V současnosti se zaměřujeme na techniky integrující čas, zdroje a logické uvažování.

kontakt: prof. Roman Barták