否定为失败

✍ dations ◷ 2025-10-19 22:42:28 #计算机逻辑

否定为失败是对逻辑否定做的释义,依据公式的否定为真,当且仅当这个公式不能被证明为真。否定为失败用于逻辑编程语言比如 Prolog。

在逻辑中,否定的标准解释是公式的否定为真,当且仅当这个公式为假。如果这个公式非真非假,它的否定被当作是未知。反过来,依据否定为失败的解释,这个公式的否定被当作为真。

在 Prolog 中用的否定被解释器按否定为失败处理。假如程序执行期间,解释器必须求值 NOT a(b),它尝试证明 a(b) 为真。如果这个尝试不成功,则 NOT a(b) 被当作为真。

否定为失败与把不知道为真的东西做为假的常见缺省假定有关。这叫做封闭世界假定。

相关

  • 听小骨中耳内有三块听小骨(ossicles、auditory ossicles)都是依其形状来命名的:(1)排列方式:锤骨相连在砧骨上,砧骨相连在镫骨上。即镫骨与砧骨相连而砧骨的另一段与锤骨相连。锤骨将力传
  • Wiki农场比较表这是一个Wiki站点架设网站的比较表,一般比较其收费、广告、著作权条款及Alexa排名。Wiki是一个网上合作工具;第一,他们是比一般网站容易编辑,且可以用标准浏览器访问;第二,修订是
  • Mnemonic记忆术(英语:Mnemonic)又译助忆,是一种辅助记忆的方法,例如诗、韵文或是图像。人们在日常生活中经常使用缩写、口诀来记忆一些复杂的内容。例如,学生在学习眼球的解剖结构的时候会
  • 月溪月溪或沟纹 (德文为 'groove') 通常用来描述月球表面上任何狭长、类似河床的凹槽。典型的月溪可能有数公里宽,数百公里长。但是,这一术语的使用并不严谨,也可以用在太阳系的其
  • 神经性厌食神经性厌食症(英语:anorexia nervosa),一般称为厌食症(英语:anorexia)是一种进食障碍,一般分别为:“自我约束型”以及“暴饮暴食型”。其中“自我约束型”厌食患者占多数,此型患者会万
  • 冰川湾冰川湾国家公园(Glacier Bay National Park and Preserve)是位于美国阿拉斯加州南部的一个国家公园。冰川湾国家国家公园最初于1925年2月25日设为国定公园。于1979年被UNESCO
  • 马来西亚教育文凭马来西亚教育文凭(马来语:Sijil Pelajaran Malaysia (SPM),英语:Malaysian Certificate of Education),又名大马教育文凭,是一个享有与国际GCE O-Level同等水平待遇的文凭,由马来西
  • 韩镛韩镛,字文亮,福建福州府福清县人,明朝政治人物、进士出身。天顺六年(1462年),福建壬午乡试中举。成化二年(1466年)丙戌科会试中进士,后升任户部郎中,迁陕西参政。
  • 硫氰酸铵硫氰酸铵是一种由铵离子和硫氰酸根组成的无机铵盐,分子式为NH4SCN,在空气中易潮解,溶于水时呈吸热反应,170℃时与硫化氢反应分解为氨和二硫化碳,可用于除草剂。NH4SCN+H2S->2 NH3
  • 针镍针镍是镍硫矿物,其化学式为NiS。它是黄铜色和针状惯态,经常形成散射和毛茸茸的聚集体。可以通过晶体惯态、其淡色以及一般与黄铁矿或磁黄铁矿缺乏相关性与镍黄铁矿区分开来。