期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
格值命题逻辑系统L_(2n+1)P(X)中基于半正则广义文字的自动推理算法
被引量:
8
1
作者
李晓冰
邱小平
徐扬
《模糊系统与数学》
CSCD
北大核心
2009年第4期21-26,共6页
在格值命题逻辑系统L2n+1P(X)上,提出了半正则的正广义文字和半正则的负广义文字的概念,进一步给出了半正则广义子句和半正则广义子句集的定义,详细地讨论了L2n+1P(X)上以中界元M为归结水平的半正则广义文字之间的M-归结性,最后,给出了L...
在格值命题逻辑系统L2n+1P(X)上,提出了半正则的正广义文字和半正则的负广义文字的概念,进一步给出了半正则广义子句和半正则广义子句集的定义,详细地讨论了L2n+1P(X)上以中界元M为归结水平的半正则广义文字之间的M-归结性,最后,给出了L2n+1P(X)上基于半正则广义文字的归结水平为M的归结自动推理算法,并验证了其可靠性和完备性。
展开更多
关键词
半正则的广义文字
中界元
格值命题逻辑系统
归结
自动
推理
自动推理算法
下载PDF
职称材料
格值命题逻辑系统L9P(X)中的自动推理算法
被引量:
5
2
作者
李晓冰
邱小平
徐扬
《计算机工程与应用》
CSCD
北大核心
2008年第10期6-9,共4页
给出了格值命题逻辑系统L9P(X)上的放缩原理和放缩归结原理,基于放缩归结原理,给出了一种判断L9P(X)上子句集S为M-可满足的自动推理算法(这里M为L9上的中界元),并证明了其可靠性和完备性。
关键词
中界元
格值命题逻辑系统
归结
自动
推理
放缩归结原理
自动推理算法
下载PDF
职称材料
采用树自动机推理技术的信息抽取方法
被引量:
2
3
作者
谭鹏许
张来顺
《计算机工程与应用》
CSCD
北大核心
2010年第16期153-156,共4页
提出了一种利用改进的k-contextual树自动机推理算法的信息抽取技术。其核心思想是将结构化(半结构化)文档转换成树,然后利用一种改进的k-contextual树(KLH树)来构造出能够接受样本的无秩树自动机,依据该自动机接收和拒绝状态来确定是...
提出了一种利用改进的k-contextual树自动机推理算法的信息抽取技术。其核心思想是将结构化(半结构化)文档转换成树,然后利用一种改进的k-contextual树(KLH树)来构造出能够接受样本的无秩树自动机,依据该自动机接收和拒绝状态来确定是否抽取网页信息。该方法充分利用了网页文档的树状结构,依托树自动机将传统的以单一结构途径的信息抽取方法与文法推理原则相结合,得到信息抽取规则。实验证明,该方法与同类抽取方法相比,样本学习时间以及抽取所需时间上均有所缩短。
展开更多
关键词
树
自动
机
推理
算法
结构化(半结构化)文档
无秩树
自动
机
信息抽取
KLH树
下载PDF
职称材料
题名
格值命题逻辑系统L_(2n+1)P(X)中基于半正则广义文字的自动推理算法
被引量:
8
1
作者
李晓冰
邱小平
徐扬
机构
西南交通大学智能控制开发中心
西南交通大学物流学院
出处
《模糊系统与数学》
CSCD
北大核心
2009年第4期21-26,共6页
基金
国家自然科学基金资助项目(60474022
60875034)
高等学校博士学科点专项科研基金资助项目(20060613007)
文摘
在格值命题逻辑系统L2n+1P(X)上,提出了半正则的正广义文字和半正则的负广义文字的概念,进一步给出了半正则广义子句和半正则广义子句集的定义,详细地讨论了L2n+1P(X)上以中界元M为归结水平的半正则广义文字之间的M-归结性,最后,给出了L2n+1P(X)上基于半正则广义文字的归结水平为M的归结自动推理算法,并验证了其可靠性和完备性。
关键词
半正则的广义文字
中界元
格值命题逻辑系统
归结
自动
推理
自动推理算法
Keywords
Sub-regular Generalized Literal
Intermediate Element
Lattice-valued Propositional LogicSystem~ Resolution Automated Reasoning~ Automated Reasoning Algorithm
分类号
O153 [理学—基础数学]
下载PDF
职称材料
题名
格值命题逻辑系统L9P(X)中的自动推理算法
被引量:
5
2
作者
李晓冰
邱小平
徐扬
机构
西南交通大学智能控制开发中心
西南交通大学物流学院
出处
《计算机工程与应用》
CSCD
北大核心
2008年第10期6-9,共4页
文摘
给出了格值命题逻辑系统L9P(X)上的放缩原理和放缩归结原理,基于放缩归结原理,给出了一种判断L9P(X)上子句集S为M-可满足的自动推理算法(这里M为L9上的中界元),并证明了其可靠性和完备性。
关键词
中界元
格值命题逻辑系统
归结
自动
推理
放缩归结原理
自动推理算法
Keywords
intermediate element
lattice-valued propositional logic
automated reasoning based on resolution
magnifying or reducing resolution principle
automated reasoning algorithm
分类号
O153 [理学—基础数学]
下载PDF
职称材料
题名
采用树自动机推理技术的信息抽取方法
被引量:
2
3
作者
谭鹏许
张来顺
机构
解放军信息工程大学电子技术学院
出处
《计算机工程与应用》
CSCD
北大核心
2010年第16期153-156,共4页
文摘
提出了一种利用改进的k-contextual树自动机推理算法的信息抽取技术。其核心思想是将结构化(半结构化)文档转换成树,然后利用一种改进的k-contextual树(KLH树)来构造出能够接受样本的无秩树自动机,依据该自动机接收和拒绝状态来确定是否抽取网页信息。该方法充分利用了网页文档的树状结构,依托树自动机将传统的以单一结构途径的信息抽取方法与文法推理原则相结合,得到信息抽取规则。实验证明,该方法与同类抽取方法相比,样本学习时间以及抽取所需时间上均有所缩短。
关键词
树
自动
机
推理
算法
结构化(半结构化)文档
无秩树
自动
机
信息抽取
KLH树
Keywords
tree automata inference algorithm
(semi-)structured documents
unranked tree automata
information extraction
KLH tree language
分类号
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
格值命题逻辑系统L_(2n+1)P(X)中基于半正则广义文字的自动推理算法
李晓冰
邱小平
徐扬
《模糊系统与数学》
CSCD
北大核心
2009
8
下载PDF
职称材料
2
格值命题逻辑系统L9P(X)中的自动推理算法
李晓冰
邱小平
徐扬
《计算机工程与应用》
CSCD
北大核心
2008
5
下载PDF
职称材料
3
采用树自动机推理技术的信息抽取方法
谭鹏许
张来顺
《计算机工程与应用》
CSCD
北大核心
2010
2
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部