Vakarelov问题的研究

• 作者: 朱朝晖 朱梧槚 毛宇光
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 知识表示系统 信息逻辑 KR-结构的扩充 Vakarelov问题
• 年，卷（期）: 1999,（4）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 351-358
• 页数: 8页
• 分类号: TP301
• 字数: 9876字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.1999.04.003

摘要

本文在Vakarelov的信息逻辑IL的基础上,通过引入新的模态词[≥]以及模态词间的布尔运算建立了BILC系统,研究了系统的语义,提出在布尔模态逻辑语言下解决Vakarelov问题的思想,主要结果表明在BILC语言下要彻底解决Vakarelov问题必须针对三种KR-结构分别构造逻辑系统,IL系统的研究方法对BILC语言框架下的研究是行不通的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	毛宇光	南京航空航天大学计算机科学研究所	63	414	10.0	17.0
2	朱梧槚	南京大学计算机软件国家重点实验室	15	84	5.0	8.0
6	朱朝晖	南京航空航天大学计算机科学研究所	11	19	3.0	4.0