немонотонная логика

Nonmonotonic logic