truth maintenance

Підтримка вірогідності (бази знань)