绑定机构
扫描成功 请在APP上操作
打开万方数据APP,点击右上角"扫一扫",扫描二维码即可将您登录的个人账号与机构账号绑定,绑定后您可在APP上享有机构权限,如需更换机构账号,可到个人中心解绑。
欢迎的朋友
万方知识发现服务平台
获取范围
  • 1 / 1
  (已选择0条) 清除 结果分析
找到 15 条结果
摘要:近年来,形式论辩研究在人工智能领域受到越来越多的关注.形式论辩研究的目标之一是沟通人类推理和机器推理,为实现这一目的,近年来多个结构化论辩系统被提出,如ABA、ASPIC+、ASPIC?等.不同的研究在系统设定上有不同的选择,本文关注的是对论证间反驳关系定义的两种不同选择:限制性反驳和非限制性反驳.为了验证哪种选择更符合人类推理直觉,本文给出了一个实证研究,研究结果显示非限制性反驳更符合人类直觉.由于非限制性反驳可能导致论辩系统推理结果违反理性公设,这一结论说明目前的结构化论辩形式体系在自然性和合理性的兼顾上还需改进....
摘要:论辩系统是一种含层次结构的非单调形式体系.当底层的知识或信息发生变化时,上层的论辩框架及其语义也随之演化,这就是论辩系统的动态性.如何阐明及高效处理这种动态性是论辩理论研究领域的一个开放性问题.本文以一种简单的论辩语义(基语义)为起点,研究论辩系统动态性的一个重要方面:论辩语义的单调性问题.文章给出了基语义单调性的定义,实现基语义单调性的条件,以及判定基语义单调性的规则....
[期刊论文] 徐康 王轶
-
CSSCI
-
摘要:群体宣告逻辑在公开宣告逻辑基础上增加用于刻画群体宣告的算子,其中的"群体宣告"是指群内个体的一阶或高阶知识被同时、公开、真实地宣告.然而,很多场合下通常并不接受个体宣告高阶知识.本文所探讨的群体简单宣告逻辑只允许群内个体宣告一阶知识,这与此前版本在一些性质上存在差别.文章的主要成果是群体简单宣告逻辑的表达能力和公理系统等结论,以及对有穷规则在群体宣告逻辑中不可靠、但在群体简单宣告逻辑中具有可靠性的证明....
摘要:抽象论辩系统是一种非单调推理系统,它随底层的知识或信息的变化而变化,这就是抽象论辩系统的动态性.如何刻画这种动态性是论辩理论研究领域的一个关键问题.抽象论辩系统的动态变化包括语法变化和语义变化,抽象论辩系统动态性研究着重研究这二者之间的影响关系.文章总结了目前抽象论辩系统动态性研究的方向,包括动态语义求解的方法以及抽象论辩系统的修正;分析了抽象理论动态性研究的价值和意义;探讨了抽象论辩系统动态性研究的基本原理和研究方法....
-
北大核心 CSTPCD CSCD CA CBST
-
摘要:百合是集观赏、药用、食用为一体的多年生球根花卉[1],是新中国第一批药食兼用资源.我国西北部地区以兰州百合(Lilium davidii var.unicolor)即甜百合为主要食用百合[2],南方特别是江浙地区的宜兴、湖州等地则以卷丹(Lilium lancifolium)较常见.目前,国内外对观赏百合研究较多[3-4],对食用及药用百合研究相对薄弱[5].湖州(宜兴)百合是一类重要资源,略带苦味,为药用型百合,但相比兰州百合,相关研究甚少....
-
北大核心 CSTPCD CSCD CA CBST
-
摘要:以不同处理时间、不同低温处理下茶梅'小玫瑰'叶片的电解质外渗率(REC)变化作曲线,并结合Logistic方程分别计算茶梅的半致死温度(LT50),结果发现在低温处理6 h以上,茶梅叶片的REC均随着处理温度的降低而呈"S"形上升,由此计算出"S"形拐点对应的温度即为茶梅叶片的LT50,其温度值在-12.5℃至-14℃之间,这可认为是茶梅抗寒能力的重要指标....
摘要:分析了杭州市城区高架桥(含立交桥,下同)绿化植物品种,探讨了高架桥绿化植物品种的选择方法,并提出了高架桥绿化养护保水第一的观点....
[期刊论文] 徐康 王轶
-
-
2018年 1期
摘要:群体宣告逻辑在公开宣告逻辑基础上增加用于刻画群体宣告的算子,其中的“群体宣告”是指群内个体的一阶或高阶知识被同时、公开、真实地宣告。然而,很多场合下通常并不接受个体宣告高阶知识。本文所探讨的群体简单宣告逻辑只允许群内个体宣告一阶知识,这与此前版本在一些性质上存在差别。文章的主要成果是群体简单宣告逻辑的表达能力和公理系统等结论,以及对有穷规则在群体宣告逻辑中不可靠、但在群体简单宣告逻辑中具有可靠性的证明。...
[期刊论文] 余喆 徐康 廖备水
-
-
2018年 3期
摘要:近年来,形式论辩研究在人工智能领域受到越来越多的关注。形式论辩研究的目标之一是沟通人类推理和机器推理,为实现这一目的,近年来多个结构化论辩系统被提出,如ABA、ASPIC+、ASPIC??等。不同的研究在系统设定上有不同的选择,本文关注的是对论证间反驳关系定义的两种不同选择:限制性反驳和非限制性反驳。为了验证哪种选择更符合人类推理直觉,本文给出了一个实证研究,研究结果显示非限制性反驳更符合人类直觉。由于非限制性反驳可能导致论辩系统推理结果违反理性公设,这一结论说明目前的结构化论辩形式体系在自然性和合理性的兼顾上还需改进。...
摘要:抽象论辩系统是一种非单调推理系统,它随底层的知识或信息的变化而变化,这就是抽象论辩系统的动态性。如何刻画这种动态性是论辩理论研究领域的一个关键问题。抽象论辩系统的动态变化包括语法变化和语义变化,抽象论辩系统动态性研究着重研究这二者之间的影响关系。文章总结了目前抽象论辩系统动态性研究的方向,包括动态语义求解的方法以及抽象论辩系统的修正;分析了抽象理论动态性研究的价值和意义;探讨了抽象论辩系统动态性研究的基本原理和研究方法。...
[期刊论文] 廖备水 徐康 余喆
-
-
2017年 2期
摘要:论辩系统是一种含层次结构的非单调形式体系.当底层的知识或信息发生变化时,上层的论辩框架及其语义也随之演化,这就是论辩系统的动态性.如何阐明及高效处理这种动态性是论辩理论研究领域的一个开放性问题.本文以一种简单的论辩语义(基语义)为起点,研究论辩系统动态性的一个重要方面:论辩语义的单调性问题.文章给出了基语义单调性的定义,实现基语义单调性的条件,以及判定基语义单调性的规则....
[博士论文] 徐康
逻辑学 浙江大学 2017(学位年度)
摘要:论辩系统是一种可以在不一致的情境中进行非单调推理的形式体系。其基本思想是把推理进行分层,底层处理知识的表示、论证的构造、论证之间攻击关系的识别等,这一部分属于结构化论辩的研究内容;上层负责对论证之间冲突关系的处理,确定可接受的论证集合,获得理性主体可接受的结论,这一部分属于抽象论辩的研究范围。抽象论辩系统将论辩系统上层的推理视为一个独立的系统,主要研究抽象论辩框架及其语义描述。
  论证以及论证之间的攻击关系构成抽象论辩框架。在特定评价标准下得到的一组或几组可接受的论证集合是抽象论辩框架的语义。由于主体的资源和环境等不断变化,主体的推理知识和观察信息也相应不断变化。在抽象论辩系统中表现为论证及其攻击关系的动态变化。抽象论辩框架改变后,其语义也随之演化,这就是抽象论辩系统的动态性。
  抽象论辩框架的变化和论辩语义的变化存在一定的关系:如果抽象论辩框架发生变化,那么其语义相应也发生变化;如果主体期望获得某一语义结论,那么根据该结论的要求,可改变原论辩框架的结构。二者的相互关系形成了抽象论辩系统动态性的两个主要研究方向:动态论辩语义求解(如何依据论辩框架的变化来求解语义)和抽象论辩系统修正(如何依据论辩语义的变化来修正论辩框架)。
  本文研究抽象论辩系统的修正,主要讨论了两个方面的内容:语义单调性的判定规则和强制外延的抽象论辩系统修正规则。另外,简单讨论了语义扩展的判定规则。语义扩展和语义单调性的判定规则通过两个步骤实现。首先判断抽象论辩框架的更新满足它们的条件。研究方法是从局部到整体:从添加(删除)论证的状态以及其直接后继论证的状态,判断整个抽象论辩系统的语义变化是否符合上述语义变化特征。然后根据这些条件,得到语义扩展和语义单调性的判定规则。这种分步的方法充分利用了论辩语义的方向性,有效地通过局部论辩语义的变化推断出整个论辩框架的语义变化情况。关于强制外延的系统修正规则,本文从相对的角度来描述它们,借助外延的结构特征以及外延与抽象论辩框架的论证集合、论证子集和各论证之间的关系,提出强制外延的系统限制和系统扩展的规则。
  本文更系统、更完善地分析了抽象论辩系统动态性,与之前的研究相比更加全面。以往的文献没有考虑添加或者删除的论证对抽象论辩框架中其他论证状态的影响,尤其在删除论证的情况下,删除的论证的状态对语义变化的作用是很大的,且作为已知条件,将其纳入考虑范围能够得出更全面的结果。另外本文关于强制外延的修正规则的研究是一项新的工作。在以往对于论辩系统的修正规则的研究中,多考虑抽象论辩框架添加或者删除单个论证及关系的修正规则,或受限于抽象论辩框架的扩张方式(强扩张或者弱扩张)。本文的研究突破了这些限制,另外研究涉及多个语义,包括可相容语义、完全语义、稳定语义、优先语义和基语义,就涵盖的语义范围来讲,所得出的结论是完整的一般的结论。
  论辩系统的修正的基本思想借鉴了信念修正的概念,体现了抽象论辩系统变化的主动性。关于抽象论辩系统修正规则的研究可以简化新信息出现时,对新的论辩框架中的论证状态进行评估时的复杂性,在论辩策略设计中也能降低策略选择的难度。该理论在抽象论辩系统的动态语义求解、基于论辩的信念修正、多主体系统中的策略性论辩等方面有着广阔的应用前景。
[硕士论文] 徐康
园林植物与观赏园艺 浙江大学 2003(学位年度)
摘要:该文以茶梅的常用品种‘小玫瑰’(Camellia hiemalis ‘ShiShi Gashira’)为试材,较系统地研究了低温胁迫下其植株的生理生化变化,为茶梅园林应用的品种选择和树种北移提供了理论和试验依据.该文对茶梅低温胁迫下叶片生理生化的变化进行了讨论,并结合实验结果分析了适合茶梅的抗寒性指标.主要结论是:REC是衡量茶梅抗寒性的理想指标;不同低温下REC结合Logistic方程可以计算茶梅的半致死温度LT<,50>,可作为衡量茶梅抗寒力的重要指标;叶片内可溶性糖含量、游离脯氨酸含量可以作为茶梅抗寒性的相关指标.
  (已选择0条) 清除
公   告

北京万方数据股份有限公司在天猫、京东开具唯一官方授权的直营店铺:

1、天猫--万方数据教育专营店

2、京东--万方数据官方旗舰店

敬请广大用户关注、支持!查看详情

手机版

万方数据知识服务平台 扫码关注微信公众号

万方选题

学术圈
实名学术社交
订阅
收藏
快速查看收藏过的文献
客服
服务
回到
顶部