Předpoklad uzavřeného světa (1)

• Př.: S´(y,w) := F(x,y), F(x,w), yw

• Je-li Ftaková, že nejde odvodit S´(Jánošík,Babinský), pak lze prohlásit S´(Jánošík,Babinský)

• Pz.: Nejde o důkaz!

• Df.: Uvažujme Hornovy klauzule (bez ). Předpoklad uzavřeného světa (CWA) říká: kdykoliv tvrzení R(a1,...,ak) není odvoditelné z EDB a pravidel, pak R(a1,...,ak).

• Pz.: CWA je metapravidlo k odvozování negativní informace.

• Značení: