主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公English
2020-2021年专刊出版计划 微信服务介绍 最新一期:2020年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
申宇铭,马越,曹存根,眭跃飞,王驹.逻辑之间的语义忠实语义满翻译.软件学报,2013,24(7):1626-1637
逻辑之间的语义忠实语义满翻译
Faithful and Full Translations Between Logics
投稿时间:2010-04-18  修订日期:2012-04-16
DOI:10.3724/SP.J.1001.2013.04285
中文关键词:  翻译  语义忠实语义满翻译  逻辑同义性
英文关键词:translation  faithful and full translation  synonymy between logics
基金项目:国家自然科学基金(60496326, 60573063, 60573064, 60773059, 61103169); 国家高技术研究发展计划(863)(2007AA01Z325)
作者单位E-mail
申宇铭 中国科学院 计算技术研究所 智能信息处理重点实验室, 北京 100190
中国科学院 研究生院, 北京 100049 
ymshen@mailbox.gxnu.edu.cn 
马越 中国科学院 计算技术研究所 智能信息处理重点实验室, 北京 100190
中国科学院 研究生院, 北京 100049 
 
曹存根 中国科学院 计算技术研究所 智能信息处理重点实验室, 北京 100190  
眭跃飞 中国科学院 计算技术研究所 智能信息处理重点实验室, 北京 100190  
王驹 广西师范大学 计算机科学与信息工程学院, 广西 桂林 541004  
摘要点击次数: 2686
全文下载次数: 2344
中文摘要:
      翻译在计算机科学中的一个重要应用是实现一个逻辑与另一个逻辑在表达能力上的比较,以及利用目标逻辑的推理机实现源逻辑的推理.现有逻辑之间的翻译理论和性质没有深入研究逻辑的语义翻译,以及翻译是否保持不可满足性等问题.该文研究了一类同时保持公式的可满足性和不可满足性的翻译——语义忠实语义满翻译,给出了语义忠实语义满翻译的定义,比较了语义忠实语义满翻译与已有文献中翻译定义的区别和联系,讨论了逻辑的可靠性、完备性、可判定性、紧致性、公式的逻辑等价性,以及模型的初等等价性在语义忠实语义满翻译下被保持的问题.运用语义忠实语义满翻译的定义给出了逻辑之间的同义性定义,并证明了同义关系是逻辑之间的一个等价关系.
英文摘要:
      In computer science, an important application of translations includes comparing the expressive power among logics to achieve reasoning tasks of a logic in another defined logic. General properties of translations found in the literature do not give a comprehensive study on semantically translations and the preservation of the unsatisfiability. To preserve the satisfiability and the unsatisfiability of formulas, the definition of faithful and full translation is given, in this paper, and connections between the faithful and full translation, and other definitions of translations in the literature are discussed. Some properties of logics, such as the soundness, the completeness, the decidability, the compactness, the logical equivalence of formulas and the elementary equivalence of models, which are characterized by the existence of faithful and full translations between logics are also studied. By definition of faithful and full translation, the concept of synonymous logics is introduced and the proof for the equivalence of the synonymous relation is also given.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利