Аргументатор — это часть программного обеспечения, способная делать логические выводы из набора утвержденных фактов или аксиом.