咨询与建议

限定检索结果

文献类型

  • 42 篇 期刊文献
  • 10 篇 学位论文
  • 3 篇 会议

馆藏范围

  • 55 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 23 篇 工学
    • 15 篇 计算机科学与技术...
    • 12 篇 软件工程
    • 10 篇 控制科学与工程
    • 3 篇 机械工程
    • 2 篇 动力工程及工程热...
    • 2 篇 土木工程
    • 2 篇 石油与天然气工程
    • 1 篇 力学(可授工学、理...
    • 1 篇 材料科学与工程(可...
    • 1 篇 电子科学与技术(可...
    • 1 篇 信息与通信工程
    • 1 篇 建筑学
    • 1 篇 水利工程
    • 1 篇 化学工程与技术
    • 1 篇 交通运输工程
    • 1 篇 网络空间安全
  • 15 篇 理学
    • 12 篇 数学
    • 2 篇 物理学
    • 1 篇 天文学
    • 1 篇 生态学
    • 1 篇 统计学(可授理学、...
  • 14 篇 管理学
    • 13 篇 管理科学与工程(可...
    • 1 篇 公共管理
  • 8 篇 哲学
    • 8 篇 哲学
  • 7 篇 法学
    • 5 篇 法学
    • 2 篇 社会学
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 2 篇 文学
    • 2 篇 中国语言文学
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 军事学
    • 1 篇 军队指挥学

主题

  • 55 篇 非单调性
  • 4 篇 不一致性
  • 3 篇 属性约简
  • 3 篇 人工智能
  • 3 篇 法律推理
  • 3 篇 溯因推理
  • 2 篇 非形式逻辑
  • 2 篇 法律论证
  • 2 篇 缺省推理
  • 2 篇 隔振效果
  • 2 篇 连续值数据
  • 2 篇 单排桩
  • 2 篇 连续型荷载
  • 2 篇 论辩系统
  • 2 篇 约简效率
  • 2 篇 形式模型
  • 2 篇 悖论逻辑
  • 2 篇 聚类粒化
  • 2 篇 逻辑参数
  • 2 篇 非经典逻辑

机构

  • 2 篇 河北大学
  • 2 篇 华南师范大学
  • 2 篇 安徽大学
  • 2 篇 北京大学
  • 2 篇 复旦大学
  • 2 篇 西北工业大学
  • 2 篇 郑州大学
  • 2 篇 西华师范大学
  • 2 篇 汕头大学
  • 2 篇 河北建筑工程学院
  • 2 篇 山西大学
  • 1 篇 shanghai key lab...
  • 1 篇 中国社会科学院保...
  • 1 篇 北方民族大学
  • 1 篇 中国科学院微生物...
  • 1 篇 中国科学院计算技...
  • 1 篇 安徽升金湖湿地生...
  • 1 篇 浙大城市学院
  • 1 篇 大连海事大学
  • 1 篇 惠州学院

作者

  • 3 篇 应腾
  • 2 篇 黄华新
  • 2 篇 廖德明
  • 2 篇 蔡和熙
  • 2 篇 廖备水
  • 2 篇 范斌
  • 2 篇 林作铨
  • 1 篇 鲍怀翘
  • 1 篇 曹存根
  • 1 篇 曹夏昕
  • 1 篇 刘杰
  • 1 篇 黄文华
  • 1 篇 刘娜
  • 1 篇 王维
  • 1 篇 张明义
  • 1 篇 韩娇
  • 1 篇 饶章敏
  • 1 篇 石勇国
  • 1 篇 王星
  • 1 篇 徐梦华

语言

  • 54 篇 中文
  • 1 篇 英文
检索条件"主题词=非单调性"
55 条 记 录,以下是41-50 订阅
排序:
受限的proflog语言及其表推演过程语义
收藏 引用
广西师范大学学报(自然科学版) 2003年 第1期21卷 27-33页
作者: 陈荣 孙吉贵 姜云飞 中山大学 软件所广东广州510275 吉林大学 计算机科学系吉林长春130023
Fitting提出一种逻辑程序设计语言proflog,并把表推演机制作为语言的过程语义.表推演具有直观、灵活的特点,它的单步扩展规则具有很强的语义特征,它是扩展逻辑程序类的另一个理想的证明论.不过proflog包含了全部一阶理论,等词的替换性使... 详细信息
来源: 维普期刊数据库 维普期刊数据库 评论
结构化论辩系统分析
收藏 引用
逻辑 2016年 第1期 3-9页
作者: 黄华新 应腾 廖备水
论辩行为体现了人类在认知情境中处理不一致信息的能力,逻辑学致力于为这一能力建立可计算的推理模型。论辩框架理论作为当前论辩研究的主流工具,并不能满足理解论辩和刻画论辩的所有要求,在现实应用上有所限制。论辩的结构化研究试... 详细信息
来源: 人大复印报刊资料 评论
溯因:最佳解释的推理
收藏 引用
毕节学院学报(综合版) 2010年 第11期28卷 39-45页
作者: 廖德明 西华师范大学 四川南充637002
溯因推理作为发现与解释的最佳方法,被著名哲学家皮尔士纳入与演绎推理、归纳推理并列的推理范畴。皮尔士及其后的科学哲学家较多地讨论溯因在科学发现与解释中的哲学角色问题,忽视了溯因运行的内在逻辑机制问题。近几年随着人工智能与... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
法律推理的形式逻辑特征分析
收藏 引用
广州大学学报(社会科学版) 2008年 第7期7卷 24-27页
作者: 赵利 华南师范大学法学院 广东广州510631
传统研究主要用形式逻辑的方法讨论法律推理问题,但是,随着学者们对形式逻辑研究的不断深入,研究者在法律推理中发现了越来越多的形式逻辑特征。文章从法律推理的非单调性入手,分析了形式逻辑与形式逻辑、形式化的关系,通过案例... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
具有乘性色噪声的线性振荡器的随机共振
收藏 引用
攀枝花学院学报 2007年 第6期24卷 12-15,19页
作者: 周玉荣 伍维根 伍刚 攀枝花学院电气信息工程学院 攀枝花617000
研究了具有耦合的两个乘性色噪声的欠阻尼线性振荡器的随机共振现象.基于线性系统理论,得到了平均输出幅度增益的精确表达式.分析表明,系统的输出幅度增益及增益的峰值高度是耦合噪声强度、这两种色噪声的强度和相关速率以及外场驱动频... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于“期望”的单调推理的探讨
收藏 引用
电子器件 1997年 第1期20卷 508-512页
作者: 杨朝晖 陈湘宁 南京通信工程学院指挥自动化系 南京210016
本文介绍了以期望集合和期望序列的两种方法来进行单间推迟的思想,并进一步分绍了以期望的不完全失序序列来推理的思想.这两种思想前后相承,提出了单调逻辑研究中的最新见解.
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
关于哲学逻辑的几个理论问题
收藏 引用
哈尔滨学院学报 2001年 第1期22卷 26-28页
作者: 季冠芳 弓肇祥 哈尔滨学院 黑龙江哈尔滨150080 哈尔滨师范大学 黑龙江哈尔滨150080
在现代逻辑文献中 ,“哲学逻辑”是个多义词。作者认为哲学逻辑是具有哲学旨趣或涉及哲学事业的经典逻辑。哲学逻辑的崛起引发诸多的理论问题。本文就其中经典逻辑的界限、非单调性与演绎性、逻辑的数学化和部门化及归纳逻辑的归属等... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
形式逻辑定位下的法律推理
收藏 引用
新西部 2010年 第5期 67-67页
作者: 鲁丽丽 浙江工业大学法学院
对法律逻辑研究定位的分歧,造成对法律推理问题的不同理解。而法律推理本质上既不是演绎推理,也不是归纳推理,而是似真推理。法律推理不仅要关注推理过程的逻辑性,同时也要关注推理前提即推理内容的真实性问题。引入似真推理,使得法律... 详细信息
来源: 同方期刊数据库 同方期刊数据库 评论
皮尔斯溯因推理探析
收藏 引用
内蒙古农业大学学报(社会科学版) 2007年 第5期9卷 239-241页
作者: 骆迎秀 华南师范大学 广东广州510631
溯因推理越来越受到逻辑学、计算机等领域的重视。皮尔斯最先提出溯因推理,他认为只有溯因推理才能产生新知识,并通过对演绎、归纳和溯因推理的形式的分析,阐述了溯因推理的意义。汉森进一步总结了皮尔斯的溯因推理理论,并确切的提出了... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
聚类分析在微生物数值分类上的应用
收藏 引用
微生物学通报 1986年 第5期 225-228页
作者: 马俊才 赵玉峰 中国科学院微生物研究所 中国科学院微生物研究所 北京
聚类分析是研究如何用数学方法将事物进行分类的学科。在聚类分析中人们把每个样品都看作是n维空间的一个点,按照不同的聚类方法定义样品组间的距离,利用聚类方法把距离小的样品归为一类,使同类间的样品尽量相似,不同类间的样品则相异... 详细信息
来源: 同方期刊数据库 同方期刊数据库 评论