Pokrok v efektivním automatickém uvažovaní se znalostmi o světě

Abstrakt

Článek popisuje zacilování a ovládání uvažovaní systému SPASS-XDB, dále jeho zdroje znalostí o světě a jejich použití při řešení řady testovacích problémů.

Klíčová slova

• automatické uvažovaní
• znalostí o světě