我要投搞

标签云

收藏小站

爱尚经典语录、名言、句子、散文、日志、唯美图片

当前位置:管家婆六肖中特 > 非单调推理 >

基于三值语义的非单调逻辑

归档日期:05-05       文本归类:非单调推理      文章编辑:爱尚语录

  国家高技术八六三计划资助,国家基础研究攀登计划资助,国家自然科学基金,汕头大学李嘉诚学术基金

  唐玉斌;;论非单调推理在日常思维中的应用[J];毕节学院学报;2011年03期

  张韧弦;;基于缺省逻辑的一般会话含义例证的形式处理[J];当代语言学;2008年02期

  苏开乐,丁德成;关于断言的缺省逻辑[J];中国科学(A辑 数学 物理学 天文学 技术科学);1994年06期

  林作铨;一个模态非单调逻辑[J];中国科学E辑:技术科学;1996年03期

  张明义,张丹;分情形推理的缺省逻辑框架[J];中国科学E辑:技术科学;1998年03期

  刘瑞胜,孙吉贵,刘叙华;带有约束的缺省逻辑[J];吉林大学自然科学学报;1996年03期

  李爱平,吴泉源,伍赛先;可能性缺省逻辑及其应用[J];计算机工程与科学;2001年04期

  林作铨;经验逻辑:一种非单调逻辑的统一形式[J];计算机学报;1993年08期

  张明义,张颖;缺省逻辑的累积性变种的扩张特征[J];计算机学报;1998年02期

  董明楷,蒋运承,史忠植;一种带缺省推理的描述逻辑[J];计算机学报;2003年06期

  戴劲;证券信息分析中散户思维的逻辑理性探求[D];华中师范大学;2012年

  林作铨;经验逻辑:一种非单调逻辑的统一形式[J];计算机学报;1993年08期

  孙兆豪;逻辑学及其在计算机科学中的应用[J];河北大学学报(自然科学版);1991年02期

  郭孟陶;;默认理论的非单调模态逻辑[J];计算机工程与科学;1989年02期

  杨杰,陆正刚,苗立靖;带优先级的基于论据的非单调逻辑[J];上海交通大学学报;1998年01期

  白硕;李国杰;;非单调逻辑十五年[J];模式识别与人工智能;1995年S1期

  林作铨;李未;;超协调逻辑的统一基础[J];模式识别与人工智能;1995年03期

  王芳;翁学辉;;非单调逻辑的产生背景[J];内蒙古农业大学学报(社会科学版);2009年06期

  李友仁,梁力;关于真值维护系统TMS的研究[J];微电子学与计算机;1993年11期

  周祥和;;几种非单调逻辑系统的评述[J];武汉大学学报(理学版);1990年01期

  黄国芳;汪学明;;从制约逻辑到法律推理的思考[A];贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会论文集[C];2005年

  何方琨;;对偶占优推理系统的表示定理的证明[A];第十六届全国青年通信学术会议论文集(上)[C];2011年

  杜国平;;三值逻辑Sheffer[A];2005年逻辑研究专辑[C];2005年

  李文江;陈图云;;基于模糊测度的模态逻辑[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年

  楚白;;有穷深度的模态逻辑[A];2005年逻辑研究专辑[C];2005年

  陈国勋;闫家杰;;Fuzzy模态公式的归约[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年

  鞠实儿;;基于开放世界假设的三值逻辑的语义推理系统[A];开放类逻辑论文集[C];2004年

  孙希文;;模态逻辑模型的嵌入定理[A];1994年逻辑研究专辑[C];1994年

  潘天群;;建立在“笛卡尔公理”上的一个怀疑逻辑系统[A];逻辑与认知学术研讨会会议论文集[C];2004年

  高思存;;一个刻画n叉有限树的模态系统及其应用[A];2005年逻辑研究专辑[C];2005年

  中山大学逻辑与认知研究所 熊明辉;逻辑与认知[N];社会科学报;2002年

  刘奋荣;非单调推理的逻辑研究[D];中国社会科学院研究生院;2001年

  顾红芳;常识推理中非单调逻辑的研究[D];南京航空航天大学;2001年

  郭建;在数字系统设计中断言验证的研究[D];西安电子科技大学;2008年

  李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年

  肖文洁;知识表示与推理的若干问题研究[D];南京航空航天大学;2010年

  龙士工;串空间理论及其在安全协议分析中的应用研究[D];贵州大学;2007年

  芦珊;可公理化单射占优模型类的研究[D];南京航空航天大学;2006年

  贾国恒;卢卡西维茨多值逻辑及其与一些逻辑的比较[D];河南大学;2003年

  李晶;基于能力与思维的协商公理体系多Agent 系统模型[D];云南师范大学;2003年

本文链接:http://meghanmbiro.com/feidandiaotuili/330.html