1. рассуждение, рассуждения 2. мышление 3. обоснование 4. логический вывод 1.В экспертных системах - новый факт (заключение), полученный по имеющимся фактам и правилам вывода, хранящимся в базе знаний. 2.Формальный метод доказательства, лежащий в основе логической дедукции. 5. рассуждения, вывод В экспертных системах и искусственном интеллекте - процесс получения новых фактов (заключений) по имеющимся фактам и правилам вывода.
Phrases with reasonings
approximate reasoning приблизительные рассуждения
bottom up reasoning
commonsense reasoning рассуждения на основе здравого смысла
deductive reasoning дедуктивные рассуждения
default reasoning рассуждение по умолчанию
direct reasoning прямой вывод Метод определения значения переменной цели в экспертных системах, основанный на обработке правил базы знаний в направлении от посылки к заключению.
enumerative reasoning доказательство методом перебора вариантов
evidential reasoning рассуждения по очевидности (в СИИ)
exact reasoning строгие рассуждения
formal reasoning формальные рассуждения, рассуждения на формальном уровне
fully reasoning полный вывод Вывод предложения из аксиомы порождающей грамматики.
hypothetical reasoning рассуждения на основе гипотез, рассуждения на основе выдвижения и проверки гипотез
immediate reasoning непосредственный вывод Пара цепочек ахb и ауb, если среди правил порождающей грамматики имеется правило х -> у.
inexact reasoning нестрогие рассуждения
integrating reasoning обобщающие рассуждения
line of reasoning цепочка рассуждений, цепь рассуждений (приводящая к решению задачи)
meta-level reasoning рассуждения на мета-уровне
model-based reasoning рассуждения на основе модели (предметной области)
monotonic reasoning монотонный вывод В интеллектуальных системах
nonmonotonic reasoning немонотонный вывод В интеллектуальных системах
plausible reasoning правоподобные рассуждения
procedural reasoning рассуждения с использованием процедур
reasoning agent мыслящее исполнительное устройство
reasoning by analogy рассуждения по аналогии
reasoning chain цепочка рассуждения (в СИИ)
reasoning system система , реализующая механизм рассуждений; разумная система, система , способная к рассуждениям
reasoning technique метод рассуждений, метод автоматических рассуждений
reverse reasoning обратный вывод Метод определения значения переменной цели в экспертных системах, основанный на обработке правил базы знаний в направлении от заключения к посылке.