一个二阶的context逻辑  

A SECOND-ORDER QUANTIFICATIONAL LOGIC OF CONTEXT

作　　者：刘海燕[1] 陈火旺[1] 苏开乐 

机构地区：[1]国防科学技术大学计算机科学系,长沙410073

出　　处：《计算机学报》1998年第4期341-347,共7页Chinese Journal of Computers

基　　金：国家自然科学基金;国家863高科技基金

摘　　要：本文为Buvac的context逻辑定义了一个二阶扩充SOQLC，它能为许多常识现象提供更简单自然的描述．作为本文的重要结论，我们证明了SOQLC对一类推广的一般语义结构来说是可靠且完备的．SOQLC还可以作为数据库集成、多理论系统、OO系统等的逻辑基础．A second-order extension, SOQLC, for the logic proposed by Buvac isdefined in this paper, which enables more natural and simple description for manycommon sense phenomena. As an important conclusion, it is proved that SOQLC issound as well as complete with respect to a special kind of general structures. Thispaper also shows that SOQLC is a promising logical foundation for database inte-gration, multiple-theory systems and OO systems, etc.

关 键 词：二阶逻辑 多类逻辑 人工智能 Context逻辑 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]