本文關(guān)鍵詞：基于ASP邏輯的偏好多語境系統(tǒng)

  更多相關(guān)文章： 回答集編程 多語境系統(tǒng) 偏好 刪除

【摘要】：多語境系統(tǒng)(MCS)是對分布式系統(tǒng)(如多知識庫系統(tǒng))的一種形式刻畫。在現(xiàn)有MCS的基礎(chǔ)上,一方面提出一種基于ASP(回答集編程)邏輯的偏好多語境系統(tǒng)PMCS;另一方面,利用其偏好語義實(shí)現(xiàn)MCS的橋規(guī)則的刪除功能,以及使用偏好橋規(guī)則處理MCS的不一致性問題。
【作者單位】： 南京大學(xué)哲學(xué)系;
【關(guān)鍵詞】： 回答集編程 多語境系統(tǒng) 偏好 刪除
【分類號】：B81
【正文快照】： 一、背景與動(dòng)機(jī)多語境系統(tǒng)(Multi-Context System,簡寫為MCS)的形式化研究始于1994年,當(dāng)時(shí)Giunchiglia等人把它叫做多語言層級邏輯[1]。2001年,Giunchiglia等人針對MCS給出了一種不同于可能世界語義學(xué)的局部模型語義學(xué)[2]。2004年,Roelofsen等人從算法的角度研究了多語境系統(tǒng)

【相似文獻(xiàn)】

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

1 葉忠文;網(wǎng)上教材管理系統(tǒng)的開發(fā)[J];嘉應(yīng)學(xué)院學(xué)報(bào);2001年03期

2 高昆;基于ASP的WEB站點(diǎn)開發(fā)技術(shù)分析[J];北華大學(xué)學(xué)報(bào)(社會科學(xué)版);1999年05期

3 林澤明;因特網(wǎng)環(huán)境中圖書館電子出版物的聯(lián)合管理[J];安徽大學(xué)學(xué)報(bào)(哲學(xué)社會科學(xué)版);2002年03期

4 劉冬杰;保持Internet中的數(shù)據(jù)庫完整性[J];嘉應(yīng)大學(xué)學(xué)報(bào);2002年06期

5 王九紅;ASP與Web數(shù)據(jù)庫編程技術(shù)[J];江漢大學(xué)學(xué)報(bào)(自然科學(xué)版);2002年02期

6 陳延文;基于B/S結(jié)構(gòu)的高校畢業(yè)證管理系統(tǒng)的實(shí)現(xiàn)[J];天水師范學(xué)院學(xué)報(bào);2002年05期

7 袁婧;;Web語料庫在外語聽力教學(xué)中的應(yīng)用[J];數(shù)字技術(shù)與應(yīng)用;2010年06期

8 黃立華;淺談網(wǎng)上電子圖書的收集與開發(fā)利用[J];五邑大學(xué)學(xué)報(bào)(社會科學(xué)版);2001年04期

9 李炳安;基于Web的數(shù)據(jù)庫訪問技術(shù)[J];襄樊學(xué)院學(xué)報(bào);2000年05期

10 王海波;耿暉;;企業(yè)門戶中信息內(nèi)容的定制[J];中文信息;2003年07期

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

1 劉桂榮;;基于ASP的網(wǎng)上人事管理系統(tǒng)[A];創(chuàng)新·融合·發(fā)展——?jiǎng)?chuàng)新型煤炭企業(yè)發(fā)展與信息化高峰論壇論文集[C];2010年

2 席桂華;;基于ASP的網(wǎng)絡(luò)辦公系統(tǒng)[A];中國水力發(fā)電工程學(xué)會信息化專委會2007年學(xué)術(shù)交流會論文集[C];2007年

3 潘娟;王玉潔;劉瑩瑩;;網(wǎng)絡(luò)教學(xué)系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[A];都市型高等農(nóng)業(yè)教育教學(xué)改革論文專輯[C];2007年

4 黃明迪;;利用ASP自行構(gòu)建動(dòng)態(tài)校園網(wǎng)[A];教育技術(shù)應(yīng)用與整合研究論文[C];2005年

5 黃明迪;;利用ASP自行構(gòu)建動(dòng)態(tài)校園網(wǎng)[A];中國教育技術(shù)協(xié)會2004年年會論文集[C];2004年

6 袁毅樺;黃耀威;周子凡;朱英q;;有機(jī)化學(xué)網(wǎng)絡(luò)考試系統(tǒng)開發(fā)與應(yīng)用[A];中國教育技術(shù)協(xié)會2004年年會論文集[C];2004年

7 莫嵐;;基于ASP的查新數(shù)據(jù)庫管理系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[A];廣西圖書館學(xué)會2008年年會暨第26次科學(xué)討論會論文評選集[C];2008年

8 金光華;黃大慶;陳楨銘;;在企業(yè)信息化環(huán)境中的會計(jì)信息化定位研究(續(xù))[A];中國會計(jì)學(xué)會第四屆全國會計(jì)信息化年會論文集（下）[C];2005年

9 牟琦;馬憲民;;面向電子商務(wù)的企業(yè)網(wǎng)站建設(shè)方案[A];第十五屆全國煤礦自動(dòng)化學(xué)術(shù)年會和中國煤炭學(xué)會煤礦自動(dòng)化專業(yè)委員會學(xué)術(shù)會議論文集[C];2005年

10 魯嬈;;基于Web的圖像數(shù)據(jù)庫系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[A];探索創(chuàng)新交流－－中國航空學(xué)會青年科技論壇文集[C];2004年

中國重要報(bào)紙全文數(shù)據(jù)庫 前10條

1 黃興;中小企業(yè)需要個(gè)性化的ASP[N];中國計(jì)算機(jī)報(bào);2000年

2 本報(bào)記者 吳限;為中國ASP產(chǎn)業(yè)鼓與呼[N];計(jì)算機(jī)世界;2000年

3 鐘志敏;財(cái)務(wù)ASP從哪里入手？[N];中國計(jì)算機(jī)報(bào);2000年

4 本報(bào)記者 王宏;ASP接手企業(yè)信息化[N];中國計(jì)算機(jī)報(bào);2001年

5 百度在線網(wǎng)絡(luò)技術(shù)有限公司總裁 李彥宏;核心技術(shù)是ASP制勝的關(guān)鍵[N];光明日報(bào);2001年

6 美國IDC公司;ASP將如何深刻影響IT業(yè)？[N];計(jì)算機(jī)世界;2000年

7 本報(bào)記者 童銘;8月綻放ASP花[N];中國計(jì)算機(jī)報(bào);2001年

8 ;全球ASP市場分析[N];中國計(jì)算機(jī)報(bào);2001年

9 記者 曹開彬;中軟5000萬進(jìn)軍ASP[N];中國計(jì)算機(jī)報(bào);2000年

10 網(wǎng)路神公司市場總經(jīng)理 項(xiàng)方偉;ASP應(yīng)該如何定位自己？[N];計(jì)算機(jī)世界;2000年

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

1 任懷飛;ASP模式下IT外包中的風(fēng)險(xiǎn)緩解策略研究[D];重慶大學(xué);2012年

2 陳瑋;基于ASP的國有林區(qū)區(qū)域信息化模式研究[D];東北林業(yè)大學(xué);2009年

3 吉建民;提高ASP效率的若干途徑及服務(wù)機(jī)器人上應(yīng)用[D];中國科學(xué)技術(shù)大學(xué);2010年

4 林建宗;應(yīng)用服務(wù)提供商模式外包關(guān)系的建立與協(xié)調(diào)[D];廈門大學(xué);2007年

5 姜康;網(wǎng)絡(luò)聯(lián)盟企業(yè)生產(chǎn)管理關(guān)鍵技術(shù)及ASP支持平臺研究[D];合肥工業(yè)大學(xué);2006年

6 盧曉紅;面向ASP的協(xié)同設(shè)計(jì)與車間生產(chǎn)物流精益規(guī)劃研究[D];大連理工大學(xué);2007年

7 董新建;山東省信息產(chǎn)業(yè)競爭力評價(jià)及信息化推廣策略研究[D];天津大學(xué);2012年

8 李林;蛋白質(zhì)—蛋白質(zhì)對接方法的研究和應(yīng)用[D];華中科技大學(xué);2011年

9 唐國鋒;不對稱信息下應(yīng)用服務(wù)外包合同與應(yīng)用服務(wù)供應(yīng)鏈風(fēng)險(xiǎn)分擔(dān)合同[D];重慶大學(xué);2011年

10 耿旭;馬來酰亞胺聚谷氨酸天冬氨酸聚合物藥物載體系統(tǒng)的建立及裝載順鉑應(yīng)用[D];華東師范大學(xué);2012年

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

1 付蘇嘉;基于ASP的高校網(wǎng)上選課系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D];云南大學(xué);2010年

2 李敏;網(wǎng)上考試系統(tǒng)[D];電子科技大學(xué);2005年

3 劉培躍;基于Web的工藝信息管理系統(tǒng)研究與設(shè)計(jì)[D];華北電力大學(xué)（河北）;2005年

4 齊艷茹;貿(mào)易公司網(wǎng)上辦公自動(dòng)化系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D];吉林大學(xué);2005年

5 何峰;ASP技術(shù)設(shè)計(jì)在企業(yè)內(nèi)部辦公自動(dòng)化系統(tǒng)中的應(yīng)用[D];吉林大學(xué);2005年

6 徐世河;高等院校電子商務(wù)模擬實(shí)驗(yàn)系統(tǒng)的研究與實(shí)現(xiàn)[D];蘇州大學(xué);2005年

7 陳輝;ASP模式下的多視圖系統(tǒng)權(quán)限管理研究[D];廣東工業(yè)大學(xué);2006年

8 郝莉萍;電子商務(wù)教學(xué)實(shí)驗(yàn)?zāi)M系統(tǒng)的研究與設(shè)計(jì)[D];吉林大學(xué);2006年

9 周雪燕;在線考試系統(tǒng)的開發(fā)及應(yīng)用研究[D];陜西師范大學(xué);2006年

10 王偉宇;基于WebGIS的旅游信息網(wǎng)站設(shè)計(jì)[D];陜西師范大學(xué);2005年

，

本文編號：918095