论证是一种具有说理功能的话语序列。在科学研究中,它具有演绎和归纳两种形式。在日常社会生活中,由于涉及不同的语境(包括文化传统),论证呈现出千变万化的形式。为了满足人与人以及人与机器之间日常交流的需求,本书采用两种不同的自下而上方法——广义论证本土化研究程序和机器学习,从具体事例和文本中挖掘或习得不同语境下论证模式、论证元素及结构。进一步,为形式化论证理论——抽象论辩理论具有更广泛的适用范围,本书将这两种自下而上的论证挖掘方法与抽象论辩理论提供的形式方法相结合,符号化处理上述挖掘所得结果,对论证进行合理重建。论证研究对于推动论证科学和人工智能相关领域的发展具有积极意义。