bizonyítás

Kapcsolódó fogalmak: 
következtetési szabály
Rövid szöveges bemutatás: 
A bizonyítás során általában ismerjük a célt és adottak a kiinduló tényadataink. Ez mellet még adott rengeteg szabály melyek segítségével új tényadatokat tudunk előállítani. A bizonyítás során a tudásbázis adatain a következtetési szabályok segítségével, a tudásbázishoz új adatokat tudunk adni. A folyamatot addig csináljuk, amíg a bizonyítandó tényhez el nem jutunk. A bizonyítás megtalálása egy keresési probléma.