动态谓词逻辑的动态机制

发布时间：2018-05-30 04:18

  本文选题：一阶谓词逻辑 + 动态机制　； 参考：《哲学动态》2010年09期

[Abstract]:......
【作者单位】： 中国社会科学院研究生院哲学系;中国社会科学院哲学所;
【分类号】：B812

【共引文献】

相关期刊论文 前10条

1 彭家法;;当代形式语义研究新进展——意义研究从静态向动态的转向[J];安徽大学学报(哲学社会科学版);2007年04期

2 严轶伦;;语篇修辞中语篇使用者的知识运作[J];安徽大学学报(哲学社会科学版);2009年04期

3 张晓君;满海霞;;带有受限缩并规则的兰贝克演算中的照应算子[J];重庆理工大学学报(社会科学);2011年04期

4 潘海华;篇章表述理论概说[J];国外语言学;1996年03期

5 陈红琳;;自然语言的形式化[J];阜阳师范学院学报(社会科学版);2009年02期

6 姜志军;张琳;;基于组合式话语表现理论的现代汉语篇章语义形式化[J];电脑知识与技术;2012年13期

7 邹崇理;;组合原则[J];逻辑学研究;2008年01期

8 彭家法;当代形式语义学的争鸣与进展[J];外语学刊;2005年03期

9 彭家法;;当代语义研究热点和动态谓词逻辑的解决方案[J];外语学刊;2012年02期

10 彭路,胡越明;一个基于内涵逻辑的智能语义解释系统[J];小型微型计算机系统;2001年02期

相关会议论文 前2条

1 于江生;;语义指向的形式模型[A];自然语言理解与机器翻译——全国第六届计算语言学联合学术会议论文集[C];2001年

2 彭路;寿枫;胡越明;;英语中及物动词的形式语义及其实现[A];1999年中国智能自动化学术会议论文集（下册）[C];1999年

相关博士学位论文 前6条

1 马红妹;汉英机器翻译中汉语上下文语境的表示与应用研究[D];中国人民解放军国防科学技术大学;2002年

2 范莉;儿童和成人语法中的否定和否定辖域[D];北京语言大学;2005年

3 吴平;汉语部分句式的形式语义分析[D];北京语言大学;2005年

4 刘强;先设消解机制的分析[D];北京语言大学;2007年

5 严轶伦;基于知识解析体系的语篇综合分析模式[D];上海外国语大学;2007年

6 徐尔清;基于中心语驱动短语结构文法的句法和语义分析[D];上海外国语大学;2007年

相关硕士学位论文 前7条

1 黄爱军;汉语驴句的篇章表述理论解释[D];湖南师范大学;2003年

2 罗琳;一词多义现象的词汇语用学优选语境充实模式研究[D];西南大学;2006年

3 薛彩霞;试论话语表现理论与动态谓词逻辑[D];河南大学;2008年

4 王培培;保罗·M·丘奇兰德的神经科学哲学思想研究[D];武汉理工大学;2010年

5 唐明志;顺应OT模式[D];西南师范大学;2005年

6 王晓亮;周礼全自然语言逻辑思想研究[D];燕山大学;2011年

7 王城镇;“Every+名词”和“每+名词”的句法语义研究[D];湘潭大学;2011年

【相似文献】

相关期刊论文 前10条

1 夏年喜;;DRS与一阶谓词逻辑公式[J];哲学动态;2005年11期

2 张素琴，，蒋维杜，叶旭东;形式赋值系统的研究[J];清华大学学报(自然科学版);1994年01期

3 王湘云;;一阶谓词逻辑在人工智能知识表示中的应用[J];重庆工学院学报(社会科学版);2007年09期

4 夏年喜;;从知识表示的角度看DRT与一阶谓词逻辑[J];南京社会科学;2006年02期

5 徐颂列;;“所有”和“凡”[J];温州师范学院学报;1989年02期

6 霍书全;;一个多值逻辑的一阶谓词系统[J];逻辑学研究;2009年01期

7 陈振宇;袁毓林;;汉语亲属关系的语义表示和自动推理[J];中国语文;2010年01期

8 郝一江;张晓君;;动态逻辑:关于程序的模态逻辑[J];哲学动态;2009年11期

9 秦晓燕;焦淑云;;有限解释下一阶谓词公式的相对真度[J];山西师范大学学报(自然科学版);2008年02期

10 马希文;有关“知道”的逻辑问题的形式化[J];哲学研究;1981年05期

相关会议论文 前10条

1 孙洁林;胡钧;徐磊;陈圣福;张益;欧阳振乾;胡志强;张桂根;徐耀良;於新根;李民乾;;NaCl晶体表面潮解过程的扫描介电力显微镜研究[A];第四届全国STM学术会议论文集[C];1996年

2 付继娟;聂锐;;基于有限理性的员工与组织匹配的进化博弈模型分析[A];第九届中国管理科学学术年会论文集[C];2007年

3 ;中国人才队伍建设规划纲要[A];2006年度中国汽车摩托车配件用品行业年度报告[C];2006年

4 陈晓红;曹裕;;我国企业不同生命周期阶段竞争力演化模式实证研究[A];第三届（2008）中国管理学年会论文集[C];2008年

5 刘书琳;谢敏;孙恩泽;赵海粟;张万坡;张志凌;王汉中;庞代文;;病毒与细胞相互作用的动态过程可视化[A];第六届全国化学生物学学术会议论文摘要集[C];2009年

6 孙丹宁;Moonsik Kang;;无线移动网络中移动性以及位置管理的有效机制[A];2006全国复杂网络学术会议论文集[C];2006年

7 湖南省桂阳县蔡伦中学课题组;欧阳仁宣;何千意;;指导学生心理健康的自我修养，促进整体素质自主构建课题实验报告[A];首届“健康杯”全国中小学心理健康教育研讨暨颁奖大会论文集[C];2002年

8 苏海潮;;建立图书馆合作的愿景规划机制[A];福建省图书馆学会2006年学术年会论文集[C];2006年

9 王君珂;王柏;艾波;;电信运营支撑系统的业务场景体系结构模式[A];2004年全国通信软件学术会议论文集[C];2004年

10 姚永生;陈永年;;演绎数据库的查询优化[A];第九届全国数据库学术会议论文集(下)[C];1990年

相关重要报纸文章 前10条

1 马体;动态机制让企业火起来[N];华北电力报;2004年

2 记者 赵彤;建立大学生就业联系动态机制[N];人民政协报;2008年

3 实习生 李琴邋记者 吴军;12.8万低收入者可享受物价补贴[N];苏州日报;2008年

4 宋蕾;国务院建动态机制监控乡镇债务清理[N];第一财经日报;2006年

5 王涛 史超 学进;全力打造学习型团队[N];焦作日报;2005年

6 ;JRuby：集Java和RoR之所长[N];计算机世界;2007年

7 唐志龙（作者为解放军南京政治学院上海分院教授）;把发展作为执政兴国第一要务[N];文汇报;2002年

8 见习记者 郑均辉;加大力度治污减排[N];韶关日报;2008年

9 数技经所 樊明太;CGE模型的前沿研究[N];中国社会科学院院报;2006年

10 记者 刘传佳 通讯员 刘静;上半年莱钢焦化厂化产品实现销售收入2.94亿元[N];中国冶金报;2006年

相关博士学位论文 前7条

1 俞东慧;企业流程变革管理影响因素及其动态机制研究[D];复旦大学;2005年

2 王小明;时态角色委托代理授权图模型及其分析研究[D];西北大学;2004年

3 王核成;基于动态能力观的企业竞争力及其演化研究[D];浙江大学;2005年

4 吴钢;缺血相关性房性心律失常离子机制的动态研究[D];武汉大学;2004年

5 陈广华;菲利普斯曲线动态机制与我国宏观经济波动态势研究[D];吉林大学;2008年

6 郑亚楠;展望理论框架下情绪驱动忠诚的动态机制研究[D];西南交通大学;2011年

7 潘方卉;基于预期、持续性和波动性的通货膨胀动态机制研究[D];吉林大学;2012年

相关硕士学位论文 前10条

1 胡明辉;关系强化学习的研究与应用[D];长沙理工大学;2008年

2 耿霞;谓词逻辑推理中的Petri网应用[D];山东科技大学;2007年

3 陈宇;非股权战略联盟动态机制研究[D];重庆大学;2003年

4 黄斯颖;企业管理与信息系统战略匹配动态机制研究[D];厦门大学;2007年

5 张鹏飞;基于P-path和P-cycle混合配置的光网络生存性动态机制研究[D];北京邮电大学;2009年

6 武永军;分根交替胁迫下玉米木质部汁液pH变化的动态机制[D];西北农林科技大学;2002年

7 翟元杰;伏牛山国家级自然保护区栓皮栎林植物功能群及其动态机制[D];河南大学;2008年

8 许辉;IP网络流量变权组合预测模型研究[D];南华大学;2010年

9 周舒;设计现场重建[D];中央美术学院;2006年

10 池周锋;粘性信息与中国通货膨胀动态机制研究[D];首都经济贸易大学;2011年

本文编号：1953890