Vakarelov问题的研究  

ON THE RESEARCH OF VAKARELOV'S OPEN PROBLEM

作　　者：朱朝晖[1] 毛宇光[1] 朱梧[2] 

机构地区：[1]南京航空航大大学计算机科学研究所,南京210016 [2]南京大学计算机软件国家重点实验室,南京210093

出　　处：《计算机学报》1999年第4期351-358,共8页Chinese Journal of Computers

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

摘　　要：本文在Vakarelov的信息逻辑IL的基础上，通过引入新的模合同以及模态词间的布尔运算建立了BILC系统，研究了系统的语义．提出在布尔模态逻辑语言下解决Vakarelov问题的思想，主要结果表明在BILC语言下要彻底解决Vakarelov问题必须针对三种KR-结构分别构造逻辑系统，IL系统的研究方法对BILC语言框架下的研究是行不通的．By introducing the new modality and the Boolean operators among modalities,this paper establishes information logic system BILC, and suggests that BILC is a useful tool in the researching into Vakarelov's open problem. The completeness and soundness of BILC with respect to the nonstandard frames are proved. Furthermore, the main result of the paper reveal that the method presented by Vakarelov is ill-suited for dealing with the completeness of BILC with respect to the standard frames.

关 键 词：知识表示系统 信息逻辑 Vakarelov问题 形式语言 

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构]