高阶逻辑下知识表示与聚类方法的研究

• 作者: 唐志刚 李琳娜 杨炳儒 杨珺 许晟
• 来源期刊: 计算机应用研究
• 关键词: 复杂结构数据 一阶逻辑 高阶逻辑 知识发现
• 年，卷（期）: 2010,（8）
• 页码范围: 2878-2881
• 分类号: TP301
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2010.08.017

摘要

针对一阶逻辑在复杂结构数据环境中存在模式搜索空间庞大和不能发明新谓词的缺点,提出了使用类型化的高阶逻辑知识表示语言Escher去表示各种复杂结构的数据,利用其强类型语法有效地约束知识发现过程中模式的搜索空间和高阶的特点去解决新谓词构造的问题.设计了以Escher为基础的复杂结构数据中的知识发现过程和基于复杂结构数据的聚类算法,并以实验验证了其有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨珺	江西农业大学计算机与信息工程学院	43	143	8.0	10.0
3	杨炳儒	北京科技大学信息工程学院	319	4361	32.0	49.0
4	许晟	江西农业大学职业技术师范学院	55	155	7.0	10.0
7	唐志刚	北京科技大学信息工程学院	7	44	3.0	6.0
8	李琳娜	北京科技大学信息工程学院	6	31	3.0	5.0