Следование логическое, прямое — один из двух основных методов логического вывода при использовании механизма логического вывода, который можно описать логически как многократное применение модус поненс. Прямое логическое следование — популярная стратегия реализации экспертных систем, бизнеса и систем продукционных правил. Противоположностью прямого логического следования является обратное логическое следование. Цепочка рассуждений начинается с имеющихся данных и использует правила логического вывода для получения дополнительных данных (например, от конечного пользователя) до тех пор, пока не будет достигнута цель. Механизм логического вывода, использующий цепочку рассуждений, просматривает правила логического вывода до тех пор, пока не найдет то, в котором антецедент (часть «Если») известен как истинный. Найдя такое правило, механизм может сделать вывод о консеквенте (части «Тогда»), что приведет к добавлению новой информации в его данные.
[Глоссарий по искусственному интеллекту. (Электронный ресурс). Режим доступа: http:// en.wikipedia.org›wiki/Glossary_of_artificial_intelligence/, свободный.]