本文選題：一階謂詞邏輯 + 動態(tài)機制��； 參考：《哲學動態(tài)》2010年09期

[Abstract]:......
【作者單位】： 中國社會科學院研究生院哲學系;中國社會科學院哲學所;
【分類號】：B812

【共引文獻】

相關期刊論文 前10條

1 彭家法;;當代形式語義研究新進展——意義研究從靜態(tài)向動態(tài)的轉(zhuǎn)向[J];安徽大學學報(哲學社會科學版);2007年04期

2 嚴軼倫;;語篇修辭中語篇使用者的知識運作[J];安徽大學學報(哲學社會科學版);2009年04期

3 張曉君;滿海霞;;帶有受限縮并規(guī)則的蘭貝克演算中的照應算子[J];重慶理工大學學報(社會科學);2011年04期

4 潘海華;篇章表述理論概說[J];國外語言學;1996年03期

5 陳紅琳;;自然語言的形式化[J];阜陽師范學院學報(社會科學版);2009年02期

6 姜志軍;張琳;;基于組合式話語表現(xiàn)理論的現(xiàn)代漢語篇章語義形式化[J];電腦知識與技術;2012年13期

7 鄒崇理;;組合原則[J];邏輯學研究;2008年01期

8 彭家法;當代形式語義學的爭鳴與進展[J];外語學刊;2005年03期

9 彭家法;;當代語義研究熱點和動態(tài)謂詞邏輯的解決方案[J];外語學刊;2012年02期

10 彭路,胡越明;一個基于內(nèi)涵邏輯的智能語義解釋系統(tǒng)[J];小型微型計算機系統(tǒng);2001年02期

相關會議論文 前2條

1 于江生;;語義指向的形式模型[A];自然語言理解與機器翻譯——全國第六屆計算語言學聯(lián)合學術會議論文集[C];2001年

2 彭路;壽楓;胡越明;;英語中及物動詞的形式語義及其實現(xiàn)[A];1999年中國智能自動化學術會議論文集（下冊）[C];1999年

相關博士學位論文 前6條

1 馬紅妹;漢英機器翻譯中漢語上下文語境的表示與應用研究[D];中國人民解放軍國防科學技術大學;2002年

2 范莉;兒童和成人語法中的否定和否定轄域[D];北京語言大學;2005年

3 吳平;漢語部分句式的形式語義分析[D];北京語言大學;2005年

4 劉強;先設消解機制的分析[D];北京語言大學;2007年

5 嚴軼倫;基于知識解析體系的語篇綜合分析模式[D];上海外國語大學;2007年

6 徐爾清;基于中心語驅(qū)動短語結(jié)構文法的句法和語義分析[D];上海外國語大學;2007年

相關碩士學位論文 前7條

1 黃愛軍;漢語驢句的篇章表述理論解釋[D];湖南師范大學;2003年

2 羅琳;一詞多義現(xiàn)象的詞匯語用學優(yōu)選語境充實模式研究[D];西南大學;2006年

3 薛彩霞;試論話語表現(xiàn)理論與動態(tài)謂詞邏輯[D];河南大學;2008年

4 王培培;保羅·M·丘奇蘭德的神經(jīng)科學哲學思想研究[D];武漢理工大學;2010年

5 唐明志;順應OT模式[D];西南師范大學;2005年

6 王曉亮;周禮全自然語言邏輯思想研究[D];燕山大學;2011年

7 王城鎮(zhèn);“Every+名詞”和“每+名詞”的句法語義研究[D];湘潭大學;2011年

【相似文獻】

相關期刊論文 前10條

1 夏年喜;;DRS與一階謂詞邏輯公式[J];哲學動態(tài);2005年11期

2 張素琴，，蔣維杜，葉旭東;形式賦值系統(tǒng)的研究[J];清華大學學報(自然科學版);1994年01期

3 王湘云;;一階謂詞邏輯在人工智能知識表示中的應用[J];重慶工學院學報(社會科學版);2007年09期

4 夏年喜;;從知識表示的角度看DRT與一階謂詞邏輯[J];南京社會科學;2006年02期

5 徐頌列;;“所有”和“凡”[J];溫州師范學院學報;1989年02期

6 霍書全;;一個多值邏輯的一階謂詞系統(tǒng)[J];邏輯學研究;2009年01期

7 陳振宇;袁毓林;;漢語親屬關系的語義表示和自動推理[J];中國語文;2010年01期

8 郝一江;張曉君;;動態(tài)邏輯:關于程序的模態(tài)邏輯[J];哲學動態(tài);2009年11期

9 秦曉燕;焦淑云;;有限解釋下一階謂詞公式的相對真度[J];山西師范大學學報(自然科學版);2008年02期

10 馬希文;有關“知道”的邏輯問題的形式化[J];哲學研究;1981年05期

相關會議論文 前10條

1 孫潔林;胡鈞;徐磊;陳圣福;張益;歐陽振乾;胡志強;張桂根;徐耀良;於新根;李民乾;;NaCl晶體表面潮解過程的掃描介電力顯微鏡研究[A];第四屆全國STM學術會議論文集[C];1996年

2 付繼娟;聶銳;;基于有限理性的員工與組織匹配的進化博弈模型分析[A];第九屆中國管理科學學術年會論文集[C];2007年

3 ;中國人才隊伍建設規(guī)劃綱要[A];2006年度中國汽車摩托車配件用品行業(yè)年度報告[C];2006年

4 陳曉紅;曹裕;;我國企業(yè)不同生命周期階段競爭力演化模式實證研究[A];第三屆（2008）中國管理學年會論文集[C];2008年

5 劉書琳;謝敏;孫恩澤;趙海粟;張萬坡;張志凌;王漢中;龐代文;;病毒與細胞相互作用的動態(tài)過程可視化[A];第六屆全國化學生物學學術會議論文摘要集[C];2009年

6 孫丹寧;Moonsik Kang;;無線移動網(wǎng)絡中移動性以及位置管理的有效機制[A];2006全國復雜網(wǎng)絡學術會議論文集[C];2006年

7 湖南省桂陽縣蔡倫中學課題組;歐陽仁宣;何千意;;指導學生心理健康的自我修養(yǎng)，促進整體素質(zhì)自主構建課題實驗報告[A];首屆“健康杯”全國中小學心理健康教育研討暨頒獎大會論文集[C];2002年

8 蘇海潮;;建立圖書館合作的愿景規(guī)劃機制[A];福建省圖書館學會2006年學術年會論文集[C];2006年

9 王君珂;王柏;艾波;;電信運營支撐系統(tǒng)的業(yè)務場景體系結(jié)構模式[A];2004年全國通信軟件學術會議論文集[C];2004年

10 姚永生;陳永年;;演繹數(shù)據(jù)庫的查詢優(yōu)化[A];第九屆全國數(shù)據(jù)庫學術會議論文集(下)[C];1990年

相關重要報紙文章 前10條

1 馬體;動態(tài)機制讓企業(yè)火起來[N];華北電力報;2004年

2 記者 趙彤;建立大學生就業(yè)聯(lián)系動態(tài)機制[N];人民政協(xié)報;2008年

3 實習生 李琴邋記者 吳軍;12.8萬低收入者可享受物價補貼[N];蘇州日報;2008年

4 宋蕾;國務院建動態(tài)機制監(jiān)控鄉(xiāng)鎮(zhèn)債務清理[N];第一財經(jīng)日報;2006年

5 王濤 史超 學進;全力打造學習型團隊[N];焦作日報;2005年

6 ;JRuby：集Java和RoR之所長[N];計算機世界;2007年

7 唐志龍（作者為解放軍南京政治學院上海分院教授）;把發(fā)展作為執(zhí)政興國第一要務[N];文匯報;2002年

8 見習記者 鄭均輝;加大力度治污減排[N];韶關日報;2008年

9 數(shù)技經(jīng)所 樊明太;CGE模型的前沿研究[N];中國社會科學院院報;2006年

10 記者 劉傳佳 通訊員 劉靜;上半年萊鋼焦化廠化產(chǎn)品實現(xiàn)銷售收入2.94億元[N];中國冶金報;2006年

相關博士學位論文 前7條

1 俞東慧;企業(yè)流程變革管理影響因素及其動態(tài)機制研究[D];復旦大學;2005年

2 王小明;時態(tài)角色委托代理授權圖模型及其分析研究[D];西北大學;2004年

3 王核成;基于動態(tài)能力觀的企業(yè)競爭力及其演化研究[D];浙江大學;2005年

4 吳鋼;缺血相關性房性心律失常離子機制的動態(tài)研究[D];武漢大學;2004年

5 陳廣華;菲利普斯曲線動態(tài)機制與我國宏觀經(jīng)濟波動態(tài)勢研究[D];吉林大學;2008年

6 鄭亞楠;展望理論框架下情緒驅(qū)動忠誠的動態(tài)機制研究[D];西南交通大學;2011年

7 潘方卉;基于預期、持續(xù)性和波動性的通貨膨脹動態(tài)機制研究[D];吉林大學;2012年

相關碩士學位論文 前10條

1 胡明輝;關系強化學習的研究與應用[D];長沙理工大學;2008年

2 耿霞;謂詞邏輯推理中的Petri網(wǎng)應用[D];山東科技大學;2007年

3 陳宇;非股權戰(zhàn)略聯(lián)盟動態(tài)機制研究[D];重慶大學;2003年

4 黃斯穎;企業(yè)管理與信息系統(tǒng)戰(zhàn)略匹配動態(tài)機制研究[D];廈門大學;2007年

5 張鵬飛;基于P-path和P-cycle混合配置的光網(wǎng)絡生存性動態(tài)機制研究[D];北京郵電大學;2009年

6 武永軍;分根交替脅迫下玉米木質(zhì)部汁液pH變化的動態(tài)機制[D];西北農(nóng)林科技大學;2002年

7 翟元杰;伏牛山國家級自然保護區(qū)栓皮櫟林植物功能群及其動態(tài)機制[D];河南大學;2008年

8 許輝;IP網(wǎng)絡流量變權組合預測模型研究[D];南華大學;2010年

9 周舒;設計現(xiàn)場重建[D];中央美術學院;2006年

10 池周鋒;粘性信息與中國通貨膨脹動態(tài)機制研究[D];首都經(jīng)濟貿(mào)易大學;2011年

本文編號：1953890