feltételezésalapú igazságkarbantartó rendszer (ATMS)

Rövid szöveges bemutatás: 
Amikor logikai következtetéseket végzünk elképzelhető, hogy egy régebben igaznak hitt állítást vissza kell vonni. Ezzel nem is lenne probléma, de ez maga után vonja azt a konklúziót, hogy az összes olyan állítást is vissza kell vonni, ami az eredetileg visszavont állításból következett. Ezek a fajta visszavonások és új következtetések levonása nagy rendszerek esetén lehetetlen kézzel időben elvégezni, ezért dolgozták ki az igazságkarbantartó rendszereket. Ennek egyik fajtája a feltételezésalapú rendszer (ATMS). Az ATMS rendszerek már igen előrehaladott verziói az igazságkarbantartó rendszereknek. Képes megvalósítani a "verziókövetést", tehát képes reprezentálni az összes olyan állapotot ami valaha is előfordult. Továbbá képes nyomon követni, hogy egy mondatot mely más állítások esetén elégülni ki.