• академический
• вычисления

Логика по умолчанию

Логика по умолчанию - это немонотонная логика, предложенная Раймондом Рейтером для формализации рассуждений с предположениями о по умолчанию. Логика по…