在焊接领域应用的计算机技术中，( )是人工智能的一个分支，它是一组具有逻辑推理能力的计算机程序。