bennfoglalás

Rövid szöveges bemutatás: 
A bennfoglalás egy rezolúciós segítség, mely segít kezelhető méretben tartani a Tudásbázist, mely által a keresési tér mérete csökken. A lényege, hogy a tudásbázisba ne vegyünk fel olyan mondatokat melyek már szerepelnek valamely mondatban. Ilyen eset áll fenn amikor van egy általános kijelentésünk, és nem vesszük fel az általános kijelentés konkretizált változatát. Tehát ha Repül(x) szerepel a tudásbázisba, akkor nem vesszük fel külön az összes olyan objektumot mely repül, tehát például a Repül(varjú)-t mert ez már közvetve szerepel a tudásbázisban.