限制数量约束的扩展模糊描述逻辑的推理复杂性

• 作者: 周波 康达周 张亚非 李言辉 陆建江
• 来源期刊: 东南大学学报（英文版）
• 学科: 工学
• 关键词: 扩展模糊描述逻辑 限制数量约束 推理复杂性
• 年，卷（期）: 2007,（2）
• 页码范围: 236-240
• 页数: 5页
• 分类号: TP8
• 字数: 4324字
• 语种: 英文
• DOI: 10.3969/j.issn.1003-7985.2007.02.017

摘要

为了解决限制数量约束的扩展模糊描述逻辑(EFALCQ)的推理复杂性问题,采用限制数量约束的描述逻辑(ALCQ)离散模拟EFALCQ,并重用ALCQ的推理结论来证明EFALCQ推理问题的复杂性.提出了EFALCQ一致性推理问题的ALCQ模拟方法,将EFALCQ的可满足性推理问题转换为EFALCQ的一致性推理问题,并用EFALCQ的一致性推理问题离散模拟EFALCQ的可满足区间推理问题.最后证明了EFALCQ的可满足性、一致性、以及可满足区间推理问题的推理复杂性是PSPACE-complete问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李言辉	东南大学计算机科学与工程学院	9	115	6.0	9.0
2	陆建江	解放军理工大学指挥自动化学院	51	791	17.0	27.0
3	康达周	东南大学计算机科学与工程学院	10	108	5.0	10.0
4	张亚非	解放军理工大学指挥自动化学院	55	661	13.0	23.0
5	周波	解放军理工大学指挥自动化学院	11	31	3.0	5.0