徐康

作品数：5被引量：1H指数：1
导出分析报告
供职机构：浙江大学人文学院哲学系更多>>
发文主题：论辩单调性语义FIRST跨学科更多>>
发文领域：自然科学总论哲学宗教农业科学更多>>
发文期刊：《逻辑学研究》《国际学术动态》《重庆理工大学学报（社会科学）》更多>>
所获基金：国家社会科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
抽象论辩系统的动态性分析
《重庆理工大学学报（社会科学）》2017年第8期6-13,共8页徐康 廖备水 
国家社会科学基金重大项目"应用逻辑与逻辑应用研究"(14ZDB014)
抽象论辩系统是一种非单调推理系统,它随底层的知识或信息的变化而变化,这就是抽象论辩系统的动态性。如何刻画这种动态性是论辩理论研究领域的一个关键问题。抽象论辩系统的动态变化包括语法变化和语义变化,抽象论辩系统动态性研究着...
关键词：抽象论辩系统动态性 动态论辩语义求解 抽象论辩系统修正 
动态抽象论辩系统基语义的单调性及其判定规则被引量：1
《逻辑学研究》2017年第2期22-44,共23页廖备水 徐康 余喆 
国家社会科学基金重大项目No.14ZDB014
论辩系统是一种含层次结构的非单调形式体系。当底层的知识或信息发生变化时,上层的论辩框架及其语义也随之演化,这就是论辩系统的动态性。如何阐明及高效处理这种动态性是论辩理论研究领域的一个开放性问题。本文以一种简单的论辩语义...
关键词：抽象论辩系统动态性 论辩语义 语义单调性 判定规则 
逻辑与论辩
《国际学术动态》2017年第1期9-10,共2页徐康 
2016年4月2～3日，由浙江大学语言与认知研究中心（CSLC）主办的首届“逻辑与论辩”国际会议（The First Chinese Conference On Logic and Argumentation）在浙江大学举行。本次会议获得“中央高校基本科研业务费专项资金”和浙江大学...
关键词：逻辑 浙江大学 FIRST 国际会议 认知研究 专项资金 
跨学科语言生成研究
《国际学术动态》2016年第4期3-4,共2页徐康 
2015年10月10—11日，阿伯丁一浙江大学跨学科语言生成研究国际学术会议在浙江大学举行。本次会议由浙江大学主办、阿伯丁大学合办、浙江大学语言与认知研究中心承办，浙江大学廖备水教授和阿伯丁大学Kees van Deemter教授共同担任会议...
关键词：跨学科 语言 浙江大学 国际学术会议 认知研究 VAN 
论辩挖掘研究发展
《国际学术动态》2016年第3期7-8,共2页徐康 
2015年6月25～26日，论辩挖掘西溪国际研讨会（XixiWorkshoponArgumentationMining）在浙江大学举行。本次会议由浙江大学主办、浙江大学人文学院承办，由浙江大学廖备水教授担任会议主席。
关键词：挖掘 浙江大学 国际研讨会 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部