Аргумент семантический — часть программного обеспечения, способная вывести логические следствия из набора утвержденных фактов или аксиом. Понятие семантического аргумента обобщает понятие механизма вывода, обеспечивая более богатый набор механизмов для работы. Правила вывода обычно задаются с помощью языка онтологий и часто языка логики описания. Многие авторы рассуждений используют логику предикатов первого порядка для выполнения рассуждений; логический вывод обычно осуществляется с помощью прямой цепочки и обратной цепочки.
[Глоссарий искусственного интеллекта. (Электронный ресурс). Режим доступа: http:// hrwiki.ru›wiki/Glossary_of_artificial_intelligence/, свободный.]