Логика по умолчанию
Логика по умолчанию — немонотонная логика, предложенная Рэймондом Рейтером для формализации рассуждений с допущениями по умолчанию. [Глоссарий искусственного интеллекта. (Электронный ресурс). Режим доступа: http:// hrwiki.ru›wiki/Glossary_of_artificial_intelligence/,