• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文OA文献 >Towards Formalizing Non-Monotonic Reasoning in Physics: Logical Approach Based on Physical Induction and Its Relation to Kolmogorov Complexity
【2h】

Towards Formalizing Non-Monotonic Reasoning in Physics: Logical Approach Based on Physical Induction and Its Relation to Kolmogorov Complexity

机译：物理学中非单调推理的形式化：基于物理归纳的逻辑方法及其与Kolmogorov复杂性的关系

代理获取
本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

To formalize some types of non-monotonic reasoning in physics, researchers have proposed an approach based on Kolmogorov complexity. Inspired by Vladimir Lifschitzu27s belief that many features of reasoning can be described on a purely logical level, we show that an equivalent formalization can be described in purely logical terms: namely, in terms of physical induction.One of the consequences of this formalization is that the set of not-abnormal states is (pre-)compact. We can therefore use Lifschitzu27s result that when there is only one state that satisfies a given equation (or system of equations), then we can algorithmically find this state. In this paper, we show that this result can be extended to the case of approximate uniqueness.
机译：为了使物理学中某些类型的非单调推理形式化，研究人员提出了一种基于Kolmogorov复杂度的方法。受弗拉基米尔·利夫斯基兹（Vladimir Lifschitz）认为可以在纯逻辑层面上描述推理的许多特征的启发，我们表明可以用纯逻辑术语来描述等效形式化：即从物理归纳的角度来看。这种形式化的后果之一表示一组非异常状态是（预）紧凑的。因此，我们可以使用Lifschitz的结果，即当只有一个状态满足给定方程（或方程组）时，我们可以通过算法找到该状态。在本文中，我们证明了该结果可以推广到近似唯一性的情况。

著录项

  • 作者

    Kreinovich Vladik;

  • 作者单位
  • 年度 2012
  • 总页数
  • 原文格式 PDF
  • 正文语种
  • 中图分类

相似文献

  • 外文文献
  • 中文文献
  • 专利
代理获取

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号