Система дедуктивная — аксиоматическая система, в которой имеет место теорема дедукции, обеспечивающая вывод всего множества выражений, которое допускается аксиомами и правилами вывода (и только ими). При этом предполагается, что выводимые выражения обладают априорным свойством (например, тождественной истинностью или истинностью с оценкой правдоподобия не менее заданной).
[Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256 с.]
Система дедуктивная (deduction system) — система, включающая формальный язык, выделенные объекты — аксиомы и правила построения новых объектов из некоторого количества исходных или уже построенных объектов. с.д. — это формальная основа для организации системы знаний.
[Словарь понятий по информатике от А до З. (Электронный ресурс). Режим доступа: http:// nsportal.ru›user/415987/page/slovar-kompyuternyh-…/, свободный.]