命题作为博弈的求真表示.pdfVIP

第30卷第1期 贵州大学学报(自然科学版) V01．30No．1 ofGuizhou Feb．2013 2013年2月 Journal University(NaturalSciences) 文章编号1000—5269(2013)01—0047—08 命题作为博弈的求真表示 许道云+ (贵州大学计算机科学与信息学院，贵州贵阳550025) 摘要：在GiorgiJaparidze引入的可计算性逻辑中，提出了将命题作为博弈，命题的真值由博弈 结果得到的基本思想。本文通过引入环境状态概念，给出了命题求真过程的形式化表示方法。 基于这样的处理，利用从命题逻辑到模态命题逻辑的研究方法，我们可以研究模态可计算性逻 辑、线性时序可计算性逻辑、以及行为时序可计算性逻辑。 关键词：命题；博弈；交互计算；命题求真；表示 中图分类号：TP301文献标识码：A HPM 经典逻辑作为命题的形式化理论，重点研究推 H的输入，机器在计算过程中有机器(T)产 理，并未关注原子命题的真假值如何得到。在 生的动作(称为移动)，也有环境(j-)产生的移动， GiorgiJaparidze引入的可计算性逻辑中，将命题作 最后机器在输出带上输出两者的(博弈)交互过程 为博弈，用博弈的结果表示命题的真值¨1。于是， 厂(称为运行)。一个博弈A形式上是一对函数 博弈的过程可以作为命题“求真”的过程。形式 (Lr4，Wn4)，其中￡一将e映射到一个合法运行集 上，将命题作为一个计算任务交给机器去做，机器 在计算过程中与外部环境交互，这种交互计算过程 映射到一个关于运行的裁决函数Wn：=Wn4(e)， 形式上描述了机器(-V-)和环境(J-)的博弈过程。 机器获胜，则约定命题的真值为T(true)，机器负 (环境胜)，则命题的真值为j-(false)． 个博弈A，引入一个逻辑语义符号H，eI=A(称 这种交互计算思想在实际应用中非常重要。 胂肘日在环境状态e下能获胜博弈A)，当且仅当 通常，一个程序(算法，或机器)对一个问题的求解 对日关于e生成的每个运行厂，有Wn：(F)=--V． 方式是将问题作为输入交给程序后，用户等待输出 进一步，日J=A指对任意的e，有H，eJ=A．此时称 结果。这隐含有许多良好的假设，比如：机器在计 机器日能获胜博弈A．在这样的形式定义下，称一 算过程中不受外部条件的任何干扰，算法正确、完 个问题A交互可计算，是指存在一台HPMH，使得 备等等。但是，在实际问题求解中，这种假设条件 日I=A． 往往得不到满足。这样的例子随处可见。比如，程 上述粗略描述是可计算性逻辑(CL)的基本思 序运行中可能会受到像病毒、物理环境这样的外部 想。更详细的理论和形式化技术，请参见文献[1 环境干扰。 —5]． 文[1]给出了二人博弈的形式化描述方法，引 CL中的许多思想和形式化技术，在机器学习 machine， 入一个种交互计算模型(Hard-play 理论、可控制理