論證挖掘與論證形式化

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

暫缺《論證挖掘與論證形式化》作者簡(jiǎn)介