V predikátové logice žádné implicitní výjimky u predikátů nejsou. Přidání abn je trik, jak umožnit na úrovni prvního řádu abdukci. V bázi znalostí se takový predikát nevyskytuje. Reasoning s abn zachází bez rozdílu. Pouze při tvorbě konkrétního modelu se rozlišuje mezi abdukcí a dedukcí. A právě zde je místo, kde hrozí exponenciální exploze. Predikáty pro abnormalitu této explozi zamezí a reasoning je zachráněno.
Sečteno a podtrženo, formální logika nic implicitního nezná. A že vám abn nepřijde užitečné? V IBM jsou jiného názoru a proto mají Watson.
ČLÁNKY DO MAILU