逻辑之间的语义忠实语义满翻译

被引：5

作者：

申宇铭 ^{[1
,2
]}

马越 ^{[1
,2
]}

曹存根 ^{[1
]}

眭跃飞 ^{[1
]}

王驹 ^{[3
]}

机构：

[1] 中国科学院计算技术研究所智能信息处理重点实验室

[2] 中国科学院研究生院

[3] 广西师范大学计算机科学与信息工程学院

来源：

软件学报 | 2013年 / 24卷 / 07期

关键词：

翻译; 语义忠实语义满翻译; 逻辑同义性;

D O I：

暂无

中图分类号：

TP18 [人工智能理论]; TP391.1 [文字信息处理];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ; 081203 ;

摘要：

翻译在计算机科学中的一个重要应用是实现一个逻辑与另一个逻辑在表达能力上的比较,以及利用目标逻辑的推理机实现源逻辑的推理.现有逻辑之间的翻译理论和性质没有深入研究逻辑的语义翻译,以及翻译是否保持不可满足性等问题.该文研究了一类同时保持公式的可满足性和不可满足性的翻译——语义忠实语义满翻译,给出了语义忠实语义满翻译的定义,比较了语义忠实语义满翻译与已有文献中翻译定义的区别和联系,讨论了逻辑的可靠性、完备性、可判定性、紧致性、公式的逻辑等价性,以及模型的初等等价性在语义忠实语义满翻译下被保持的问题.运用语义忠实语义满翻译的定义给出了逻辑之间的同义性定义,并证明了同义关系是逻辑之间的一个等价关系.

引用

页码：1626 / 1637

页数：12

共 27 条

[1]

A survey of decidable first-order fragments and description logics. U Hustadt,RA Schmidt,L Georgieva. J. Relat. Methods Comput. Sci . 2004

[2] 不同逻辑间翻译的逻辑性质 [J].

申宇铭 ;

马越 ;

曹存根 ;

眭跃飞 ;

王驹 .

计算机学报, 2009, 32 (10) :2091-2098

[3]

Introduction to the Theory of Computation. Michael Sipser. . 1997

[4]

Guarded fragments of first-order logic:A perspective for new description logics?. Gradel E. Proc.of the’’98Int’’l Workshop on Description Logics (DL’’98) . 1998

[5]

Epstein,R.L. Propositional Logics . 1995

[6]

First-Order modal logic theorem proving and functional simulation. Nonnengart A. Proc.of the’’93Int’’l Joint Conf.on Artificial Intelligence (IJCAI’’93) . 1993

[7]

How to prove higher order theorems in first order logic. Kerber M. Proc.of the’’91Int’’l Joint Conf.on Artificial Intelligence (IJCAI’’91) . 1991

[8]

On the translation of higher-order problems into first-order logic. Kerber M. Proc.of the11th ECAI . 1994

[9]

A survey of some connections between classical,intuitionistic and minimal logic. Prawitz D,Malmns PE. Proc.of the Studies in Logic and the Foundations of Mathematics . 1968

[10]

Counterparts and actuality. M. Fara,T. Williamson. Mind . 2005

← 1 2 3 →