首页> 外文期刊>Journal of logic and computation >Bijective faithful translations among default logics
【24h】

Bijective faithful translations among default logics

机译:默认逻辑之间的双射忠实翻译

获取原文
获取原文并翻译 | 示例

摘要

In this article, we report results about translations between variants of defaults logics such that the extensions of the theories that are the input and the output of the translation are in a bijective correspondence. We assume that a translation can introduce new variables and that the result of translating a theory can either be produced in time polynomial in the size of the theory or its output is of size polynomial in the size of the theory; we restrict to the case in which the original theory has extensions. This study fills a gap between two previous works, one studying bijective translations among restrictions of default logics and one studying non-bijective translations between default variants of default logic.
机译:在本文中,我们报告有关默认逻辑变体之间的翻译的结果,以使作为翻译输入和输出的理论扩展具有双射对应关系。我们假设翻译可以引入新的变量,并且翻译理论的结果可以在理论大小的时间多项式中产生,或者其输出在理论大小的大小上是多项式。我们限于原始理论有扩展的情况。这项研究填补了之前的两篇著作之间的空白,一项研究默认逻辑限制之间的双射翻译,另一项研究默认逻辑默认变量之间的非双射翻译。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号