inverz vonzatreláció

Kapcsolódó fogalmak: 
rezolúció
Rövid szöveges bemutatás: 
Az inverz vonzatreláció a rezolúció egy átalakítása. A rezolúcióban a háttértudás segítségével állítunk elő konkrét példákat. A háttértudáshoz hozzátartoznak hipotézisek, leírások, egyéb információs források. Ezeknek a következményei a példák. Az inverz vonzatreláció ötlete egy logikai átalakításból adódik. Azaz, ha adottak a különböző források, leírások és adottak rossz példák, akkor abból elő lehet állítani rossz hipotézist. Ez egy segédmódszer csupán, nem bizonyítási eljárás. De jó segítség lehet a továbblépésekhez, kiszűrésekhez. Elsősorban könnyítést jelent pár helyzetben, például lehet alkalmazni modellellenőrzést és nincs szükség elsőrendű logikára csupán ítéletklózokra.