V projektu půjde o studium logických kalkulů pro nové pohledy na informace a znalosti a jejich logickou strukturu. To znamená, že půjde především o formálně logické kalkuly překračující paradigma tzv. klasických logik. Potřeba vyšší vyjadřovací síly k porozumění a reprezentaci je zřejmá, i když je stále diskutabilní, nakolik formální logika sama disponuje adekvátními prostředky. Zde tedy bude důraz kladen na systémy často označované jako neklasické (včetně logik vícehodnotových, modálních, epistemických, deontických a dalších), což ale nevystihuje plně celé spektrum aspektů, které se moderní filosofická logika snaží postihnout. Budou proto též porovnávány jednotlivé dosud v logice a filosofii zkoumané, někdy velmi rozmanité, přístupy k analýze a reprezentaci znalostí, a jejich filosofické zázemí a kořeny. Dále budou kriticky zkoumány logické základy usuzování v přirozeném i umělém kontextu (umělé inteligenci) a při tvorbě inteligentních systémů.