您的位置： 专家智库 > >

广西壮族自治区自然科学基金(2011GXNSFA018159)

作品数：5 被引量：9H指数：2
相关作者：唐素勤申宇铭王驹黎槟华李炜卓更多>>
相关机构：广西师范大学北京大学广东外语外贸大学更多>>
发文基金：广西壮族自治区自然科学基金国家自然科学基金教育部重点实验室开放基金更多>>
相关领域：自动化与计算机技术文化科学更多>>

文献类型

  • 5篇中文期刊文章

领域

  • 4篇自动化与计算...
  • 1篇文化科学

主题

  • 3篇本体
  • 2篇语义
  • 2篇领域本体
  • 1篇形式化
  • 1篇依存语法
  • 1篇语义WEB
  • 1篇语义框架
  • 1篇智能教学
  • 1篇智能教学系统
  • 1篇中词
  • 1篇忠实
  • 1篇问句分析
  • 1篇面向语义
  • 1篇描述逻辑
  • 1篇教学系统
  • 1篇刻画
  • 1篇翻译
  • 1篇本体技术
  • 1篇WEB
  • 1篇LU

机构

  • 5篇广西师范大学
  • 1篇北京大学
  • 1篇华南师范大学
  • 1篇广东外语外贸...

作者

  • 4篇唐素勤
  • 3篇王驹
  • 3篇申宇铭
  • 1篇蒋运承
  • 1篇魏秀丽
  • 1篇李炜卓
  • 1篇黎槟华
  • 1篇王娜娜

传媒

  • 2篇软件学报
  • 1篇广西师范大学...
  • 1篇计算机应用
  • 1篇计算机教育

年份

  • 2篇2014
  • 1篇2013
  • 1篇2012
  • 1篇2011
共 5 条 记 录，以下是 1-5
全选 清除 导出
排序方式：
描述逻辑εLU概念及术语公理集的表达能力刻画被引量：4
2014年
表达能力和推理复杂性是一个逻辑的两个重要特征,也是一对相互制约的关系.解释之间的互模拟关系是从语义的角度刻画逻辑表达能力的一个有效途径,其代表性的结果是命题模态逻辑表达能力的刻画定理——van Benthem刻画定理.给出了描述逻辑εLU(含构造子:原子概念、顶概念、概念交、概念并、完全存在约束)的模拟关系,建立了εLU中概念和术语公理集的表达能力刻画定理,即一阶逻辑公式与εLU中概念和术语公理集等价的充分必要条件.上述结果为寻求表达能力与推理复杂性之间的最佳平衡提供了有效的支持.
申宇铭王驹唐素勤
关键词：描述逻辑
谓词模态逻辑到对应物理论的翻译被引量：2
2012年
对应物理论(counterpart theory)是一阶逻辑的一种理论.Lewis利用谓词模态逻辑到对应物理论的翻译来研究谓词模态逻辑的性质,但是Lewis的翻译存在把不可满足的公式翻译为可满足公式的情况.针对这个问题,提出了一种扩展语义的谓词模态逻辑,建立了扩展语义后谓词模态逻辑模型与对应物理论模型的一一对应关系,并在此基础上建立了谓词模态逻辑到对应物理论的语义忠实语义满翻译(faithful and full translation),其可确保将谓词模态逻辑的可满足公式和不可满足公式分别翻译为对应物理论的可满足公式和不可满足公式.由对应物理论是可靠的、完备的一阶逻辑的理论且语义忠实语义满翻译保持可靠性和完备性,进一步证明了扩展语义的谓词模态逻辑也是可靠和完备的.
申宇铭王驹唐素勤蒋运承
一种面向语义Web的智能教学系统
2011年
根据智能教学系统的特点,在分析现有智能教学系统特点的基础上,提出一种面向语义Web的智能教学系统模型,分析系统各组成部分的功能。在系统模型中引入领域本体组织教学内容,并运用网络爬虫工具获取网页新知识更新教学内容,以提高系统的适应性,取得良好的效果。
唐素勤刘立浩
关键词：智能教学系统语义WEB领域本体
基于受限领域本体的中文问句分析被引量：3
2013年
基于受限领域本体的中文问句的研究方法多数都是将构建的领域本体作为存储知识的知识库,针对问句进行语法、语义相似度的计算或者将它与句型模板进行匹配,再利用本体的查询和推理规则来反馈答案。但上述方法对问句自身语义的处理以及本体查询的精度存在缺陷。为了克服上述不足,侧重用汉语中词的词性和中词来增强问句的结构描述,采用基于形式化的语义框架来刻画问句的语义,并在Jena技术的基础上进行了二次开发。通过分析网络本体语言(OWL)文件中关于本体的属性和等价类的表达规律,将知识的外延与内涵完整地反馈给用户。实验表明,该方法在受限领域本体的问句测试中返回的结果更为精确、合理,扩展性强且无需高成本的语料进行模型的训练,可以有效地应用于网络教学等领域。
李炜卓魏秀丽黎槟华申宇铭王驹
关键词：领域本体中词形式化语义框架
基于依存语法及本体技术的问句分析被引量：1
2014年
与传统的基于框架的问句分析方法不同,本文结合汉语语法对问句的依存关系进行分析,提取问句的语义及问句各成分间的限制关系,得到主要针对领域本体知识库的问句理解结果。本文把问句分析细化为如下几个过程:命名实体识别、问句分类、问句预处理(包括:分词、词性标注以及句子解析)、问句焦点提取和问句成分间的语义关系及限制提取。最后通过实验验证算法的有效性。
唐素勤黄运有王娜娜
关键词：问句分析本体
全选 清除 导出
共1页<1>
聚类工具0