Něco o těchto stránkách
Hlavní stránka
Úvod kapitoly
Obsah
Literatura
Rejstřík
Odkazy jinam
|
Redundance
Na problém redundantnosti se můžeme podívat ze dvou pohledů:
- Bázi poznatků můžeme chápat jako funkci, která dává jisté výstupy pro vhodně specifikované vstupy. Můžeme zjednodušit bázi poznatků odstraněním některých pravidel tak, aby funkce zůstala stejná?
- Nechť K je báze poznatků ve stavu, v jakém ji ve skutečnosti máme, a nechť L je báze poznatků, kterou požadujeme. Můžeme zjednodušit K tak, že po tomto zjednodušení bude "blíže" k L?
Typickým příkladem redundance je báze poznatků, která obsahuje pravidla například podle následujícího schématu
jestliže A a B tak C
jestliže A tak C
jestliže B tak C
Ověřování  Nekonzistentnost
|
