Σπύρο, όχι επαγωγή ούτε συμπέρασμα (που είναι το αποτέλεσμα της inference).
Είναι διεργασία της λογικής που εφαρμόζεται και στην τεχνητή νοημοσύνη. Η ΤΕ48/ΟΕ1 (Βάση INFORTERM) έχει υιοθετήσει τον όρο συναγωγή (= συμπερασμός, συλλογιστική). Για να μη βλέπουμε τον όρο αποσπασματικά, δες μερικούς από τους σχετικούς όρους μαζί με τις πηγές τους (για να μη μας ...φάει η Βαλεντίνη :-):
συναγωγή → inference ISO/IEC 2382-28:1995
απαγωγή, απαγωγική συναγωγή → abduction, abductive inference ISO/IEC 2382-28:1995
παραγωγή, παραγωγική συναγωγή → deduction, deductive inference ISO/IEC 2382-28:1995
επαγωγή, επαγωγική συναγωγή → induction, inductive inference ISO/IEC 2382-28:1995
μοντελοδηγούμενη συναγωγή → model-driven inference ISO/IEC 2382-28:1995
μαθηματική επαγωγή → mathematical induction ISO 2382.02: 1976
μάθηση μέσω επαγωγής, επαγωγική μάθηση → learning by induction, inductive learning ISO/IEC 2382-31
παραγωγική μάθηση, μάθηση μέσω παραγωγής → deductive learning, learning by deduction ISO/IEC 2382-31
συνεπαγωγή, πράξη "ΑΝ ΤΟΤΕ" → implication, IF-THEN operation, conditional implication, ISO 2382.02: 1976