Terms for subject Artificial intelligence containing deduction

English	German
automatic deduction	automatisches Ableiten
automatic deduction	automatische Deduktion
backward deduction	Rückwärtsableitung
backward deduction	Rückwärtsdeduktion
backward deduction system	Rückwärtsdeduktionssystem
commonsense deduction	allgemeine Ableitung
commonsense deduction	allgemeine Deduktion
computation by deduction	Berechnung durch Deduktion
deduction calculus	Deduktionskalkül
deduction program	Deduktionsprogramm
deduction rule	Deduktionsregel
deduction system	Deduktionssystem
deduction tree	Deduktionsbaum
forward deduction	Vorwärtsdeduktion
input deduction	Input-Deduktion
linear deduction	lineare Deduktion
reasoning by deduction	deduktives Schließen
rule-based deduction system	regelbasiertes Deduktionssystem
set-of-support deduction	Set-of-Support-Deduktion
set-of-support deduction	Stützmengendeduktion
unit deduction	Einer-Klausel-Deduktion