fbpx
维基百科

可计算性逻辑

一月 01, 1970

相对于是真理的形式理论的经典逻辑，喬治·賈帕里澤（英语：Giorgi Japaridze）在2003年发明的可计算性逻辑(Computability logic)是把逻辑恢复为系统的形式的可计算性理论的一个研究程序和数学框架。在这种方法下逻辑公式表示计算问题（或等价的计算资源），而它们的有效性意味着"总是可计算的"。

计算问题和资源的理解是在它们最一般的意义上的 - 交互的意义上的。它们被形式化为机器扮演的针对它的环境的游戏，而可计算性意味着存在着一个机器针对经由环境的任何可能行为赢得了游戏。定义了这种游戏扮演机器所意味的东西，可计算性逻辑在交互层面提供了邱奇-图灵论题的一般化。

真理的经典概念转变为可计算性的特殊的零交互度的情况。这使经典逻辑成为可计算性逻辑的特殊片段。作为前者的保守扩展的同时，可计算性逻辑有着一个数量级之上的表达力、创造性和计算意义。提供了对基本问题"什么是可以（如何）计算的?"的系统的回答，它有潜在的广泛的应用领域。其中包括构造性应用理论，知识库系统，计划和行动系统。

除了经典逻辑之外，线性逻辑（在不严格的意义上理解）和直觉逻辑也转变成可计算性逻辑的自然片段了。因为"直觉真理"和"线性逻辑真理"的有意义的概念可从可计算性逻辑的语义中推导出来。

正在做着语义构造，至今可计算性逻辑仍没有完全开发出证明论。为它的各种片段找到演绎系统并探索它们的性质是正在研究中的领域。

参见 编辑

參考文獻 编辑

  • G. Japaridze, Introduction to computability logic （页面存档备份，存于互联网档案馆）. Annals of Pure and Applied Logic 123 (2003), pages 1–99.
  • G. Japaridze, Propositional computability logic I. ACM Transactions on Computational Logic 7 (2006), pages 302-330.
  • G. Japaridze, Propositional computability logic II. ACM Transactions on Computational Logic 7 (2006), pages 331-362.
  • G. Japaridze, Introduction to cirquent calculus and abstract resource semantics （页面存档备份，存于互联网档案馆）. Journal of Logic and Computation 16 (2006), pages 489-532.
  • G. Japaridze, Computability logic: a formal theory of interaction[永久失效連結]. Interactive Computation: The New Paradigm. D.Goldin, S.Smolka and P.Wegner, eds. Springer Verlag, Berlin 2006, pages 183-223.
  • G. Japaridze, . Theoretical Computer Science 357 (2006), pages 100-135.
  • G. Japaridze, From truth to computability II. Theoretical Computer Science 379 (2007), pages 20–52.
  • G. Japaridze, . Acta Cybernetica 18 (2007), pages 77–113.
  • G. Japaridze, . Journal of Symbolic Logic 72 (2007), pages 243-276.
  • G. Japaridze, The intuitionistic fragment of computability logic at the propositional level. Annals of Pure and Applied Logic 147 (2007), pages 187-227.
  • G. Japaridze, Cirquent calculus deepened. Journal of Logic and Computation 18 (2008), No.6, pp. 983–1028.
  • G. Japaridze, Sequential operators in computability logic[永久失效連結]. Information and Computation 206 (2008), No.12, pp. 1443–1475.
  • G. Japaridze, Many concepts and two logics of algorithmic reduction[永久失效連結]. Studia Logica 91 (2009), No.1, pp. 1–24.
  • G. Japaridze, In the beginning was game semantics. Games: Unifying Logic, Language and Philosophy. O. Majer, A.-V. Pietarinen and T. Tulenheimo, eds. Springer 2009, pp. 249–350.
  • G. Japaridze, . Journal of Symbolic Logic 75 (2010), pp. 565-601.
  • I. Mezhirov and N. Vereshchagin, On abstract resource semantics and computability logic. Journal of Computer and System Sciences 76 (2010), pp. 356-372.
  • N. Vereshchagin, . Moscow State University, 2006.

外部链接 编辑

一月 01, 1970
可计算性逻辑, 相对于是真理的形式理论的经典逻辑, 喬治, 賈帕里澤, 英语, giorgi, japaridze, 在2003年发明的, computability, logic, 是把逻辑恢复为系统的形式的可计算性理论的一个研究程序和数学框架, 在这种方法下逻辑公式表示计算问题, 或等价的计算资源, 而它们的有效性意味着, 总是可计算的, 计算问题和资源的理解是在它们最一般的意义上的, 交互的意义上的, 它们被形式化为机器扮演的针对它的环境的游戏, 而可计算性意味着存在着一个机器针对经由环境的任何可能行为赢得了. 相对于是真理的形式理论的经典逻辑 喬治 賈帕里澤 英语 Giorgi Japaridze 在2003年发明的可计算性逻辑 Computability logic 是把逻辑恢复为系统的形式的可计算性理论的一个研究程序和数学框架 在这种方法下逻辑公式表示计算问题 或等价的计算资源 而它们的有效性意味着 总是可计算的 计算问题和资源的理解是在它们最一般的意义上的 交互的意义上的 它们被形式化为机器扮演的针对它的环境的游戏 而可计算性意味着存在着一个机器针对经由环境的任何可能行为赢得了游戏 定义了这种游戏扮演机器所意味的东西 可计算性逻辑在交互层面提供了邱奇 图灵论题的一般化 真理的经典概念转变为可计算性的特殊的零交互度的情况 这使经典逻辑成为可计算性逻辑的特殊片段 作为前者的保守扩展的同时 可计算性逻辑有着一个数量级之上的表达力 创造性和计算意义 提供了对基本问题 什么是可以 如何 计算的 的系统的回答 它有潜在的广泛的应用领域 其中包括构造性应用理论 知识库系统 计划和行动系统 除了经典逻辑之外 线性逻辑 在不严格的意义上理解 和直觉逻辑也转变成可计算性逻辑的自然片段了 因为 直觉真理 和 线性逻辑真理 的有意义的概念可从可计算性逻辑的语义中推导出来 正在做着语义构造 至今可计算性逻辑仍没有完全开发出证明论 为它的各种片段找到演绎系统并探索它们的性质是正在研究中的领域 参见 编辑可计算性的逻辑 博弈语义 交互计算 直觉主义 BHK释义 直觉类型论 经典逻辑 中间逻辑 线性逻辑 构造性证明 Curry Howard对应 博弈语义參考文獻 编辑G Japaridze Introduction to computability logic 页面存档备份 存于互联网档案馆 Annals of Pure and Applied Logic 123 2003 pages 1 99 G Japaridze Propositional computability logic I ACM Transactions on Computational Logic 7 2006 pages 302 330 G Japaridze Propositional computability logic II ACM Transactions on Computational Logic 7 2006 pages 331 362 G Japaridze Introduction to cirquent calculus and abstract resource semantics 页面存档备份 存于互联网档案馆 Journal of Logic and Computation 16 2006 pages 489 532 G Japaridze Computability logic a formal theory of interaction 永久失效連結 Interactive Computation The New Paradigm D Goldin S Smolka and P Wegner eds Springer Verlag Berlin 2006 pages 183 223 G Japaridze From truth to computability I Theoretical Computer Science 357 2006 pages 100 135 G Japaridze From truth to computability II Theoretical Computer Science 379 2007 pages 20 52 G Japaridze Intuitionistic computability logic Acta Cybernetica 18 2007 pages 77 113 G Japaridze The logic of interactive Turing reduction Journal of Symbolic Logic 72 2007 pages 243 276 G Japaridze The intuitionistic fragment of computability logic at the propositional level Annals of Pure and Applied Logic 147 2007 pages 187 227 G Japaridze Cirquent calculus deepened Journal of Logic and Computation 18 2008 No 6 pp 983 1028 G Japaridze Sequential operators in computability logic 永久失效連結 Information and Computation 206 2008 No 12 pp 1443 1475 G Japaridze Many concepts and two logics of algorithmic reduction 永久失效連結 Studia Logica 91 2009 No 1 pp 1 24 G Japaridze In the beginning was game semantics Games Unifying Logic Language and Philosophy O Majer A V Pietarinen and T Tulenheimo eds Springer 2009 pp 249 350 G Japaridze Towards applied theories based on computability logic Journal of Symbolic Logic 75 2010 pp 565 601 I Mezhirov and N Vereshchagin On abstract resource semantics and computability logic Journal of Computer and System Sciences 76 2010 pp 356 372 N Vereshchagin Japaridze s computability logic and intuitionistic propositional calculus Moscow State University 2006 外部链接 编辑Computability Logic Homepage Giorgi Japaridze Game Semantics or Linear Logic 可计算性逻辑课程 页面存档备份 存于互联网档案馆 取自 https zh wikipedia org w index php title 可计算性逻辑 amp oldid 78987988, 维基百科，wiki，书籍，书籍，图书馆，

文章

，阅读，下载，免费，免费下载，mp3，视频，mp4，3gp， jpg，jpeg，gif，png，图片，音乐，歌曲，电影，书籍，游戏，游戏。