Поддержание истинности

Алгоритм маркировки

Алгоритмическая процедура, присваивающая состояния (истина, ложь, неизвестно) предложениям базы знаний в зависимости от их логических зависимостей. Эти метки динамически обновляются при поддержке истинности.

← Назад