本文關(guān)鍵詞：作為過程的論證和作為結(jié)果的論證

  更多相關(guān)文章： 論證作為過程 論證作為結(jié)果 論辯框架 語義證明

【摘要】：推理在我們的生活和工作中不可或缺。日常推理最大的特點(diǎn)在于它的非單調(diào)性。當(dāng)今良好發(fā)展的經(jīng)典單調(diào)邏輯仍無法有效處理非單調(diào)性日常類推,而抽象論辯理論則是對各種非單調(diào)推理進(jìn)行形式化研究最有力的理論之一。用來證明各種論辯語義的爭議樹很好地結(jié)合了抽象的論辯框架與具體的推理過程,是研究自然語言論辯推理的有力工具。目前大多數(shù)的爭議樹證明都從論證作為過程的角度出發(fā),對實(shí)時(shí)的論辯推理具有十分現(xiàn)實(shí)的指導(dǎo)意義,但仍存在一些問題。而從論證作為結(jié)果的新角度出發(fā),我們給出了優(yōu)先語義和基語義下的爭議樹證明理論。
【作者單位】： 浙江大學(xué)語言與認(rèn)知研究中心;
【關(guān)鍵詞】： 論證作為過程 論證作為結(jié)果 論辯框架 語義證明
【基金】：國家自然科學(xué)基金(61175058、60773177) 國家重點(diǎn)基礎(chǔ)發(fā)展計(jì)劃(973)(2012CB316400) 浙江省自然科學(xué)基金(Y1100036)
【分類號】：B812.4
【正文快照】： 一、引言推理在我們的生活和工作中不可或缺。日常推理最大的特點(diǎn)在于它的非單調(diào)性。當(dāng)今良好發(fā)展的經(jīng)典單調(diào)邏輯仍無法有效處理非單調(diào)性日常類推,而抽象論辯理論則是對各種非單調(diào)推理進(jìn)行形式化研究最有力的工具之一。抽象論辯理論①很好地捕捉了日常推理的不同特征:有時(shí)我

【共引文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前3條

1 謝凱博;廖備水;;非單調(diào)推理與論辯系統(tǒng)[J];重慶理工大學(xué)學(xué)報(bào)(社會科學(xué)版);2013年09期

2 廖備水;黃華新;;不一致問題與論辯邏輯[J];學(xué)術(shù)月刊;2013年06期

3 梁慶寅;魏斌;;法律論證適用的人工智能模型[J];中山大學(xué)學(xué)報(bào)(社會科學(xué)版);2013年05期

中國重要會議論文全文數(shù)據(jù)庫 前1條

1 Wei Zhang;Yongquan Liang;;A Temporal Based Multilateral Argumentation Dialogue Framework[A];2012年計(jì)算機(jī)應(yīng)用與系統(tǒng)建模國際會議論文集[C];2012年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前2條

1 王春俠;基于Agent的辯論談判中的辯論機(jī)制研究[D];北京工業(yè)大學(xué);2013年

2 余U，

本文編號：648394