Vakarelov问题的研究

摘要：

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

关键词：知识表示系统、信息逻辑、KR-结构的扩充、Vakarelov问题

所属期刊栏目：22

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金;国家高技术研究发展计划863计划

在线出版日期：2005-08-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：351-358