論證挖掘與論證形式化

　　論證是一種具有說理功能的話語序列。在科學研究中，它具有演繹和歸納兩種形式。在日常社會生活中，由于涉及不同的語境（包括文化傳統(tǒng)），論證呈現(xiàn)出千變萬化的形式。為了滿足人與人以及人與機器之間日常交流的需求，本書采用兩種不同的自下而上方法——廣義論證本土化研究程序和機器學習，從具體事例和文本中挖掘或習得不同語境下論證模式、論證元素及結構。進一步，為形式化論證理論——抽象論辯理論具有更廣泛的適用范圍，本書將這兩種自下而上的論證挖掘方法與抽象論辯理論提供的形式方法相結合，符號化處理上述挖掘所得結果，對論證進行合理重建。論證研究對于推動論證科學和人工智能相關領域的發(fā)展具有積極意義。

暫缺《論證挖掘與論證形式化》作者簡介