利用自动机研究描述逻辑的推理问题

• 作者: 王军 王继军 甘丹
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 语义Web 描述逻辑 自动机 最小化理论
• 年，卷（期）: 2008,（6）
• 页码范围: 27-28,32
• 页数: 3页
• 分类号: TP301.2
• 字数: 2197字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2008.06.008

摘要

首先介绍如何把描述逻辑转化为一个不确定型有穷自动机,分析这种转化过程中存在的问题,在B.Nebel的基础上提出了利用自动机的最小化理论对上述得到的自动机进行优化处理,以提高推理的效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王继军	广西师范大学计算机科学与信息工程学院	10	121	6.0	10.0
2	王军	广西师范大学计算机科学与信息工程学院	36	87	6.0	7.0
3	甘丹	广西师范大学计算机科学与信息工程学院	5	22	3.0	4.0