否定为失败

✍ dations ◷ 2025-05-18 09:08:04 #计算机逻辑

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

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

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

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

相关

  • 眼(亦称眼睛、目、目睭)是视觉的器官,可以感知光线,转换为神经中电化学的脉冲。比较复杂的眼睛是一个光学系统,可以收集周遭环境的光线,借由虹膜调整进入眼睛的强度,利用可调整的晶
  • 殡葬学殡葬学,是建立于生死学基础的学科。殡葬是人类社会相当重要的文化现象与生命礼仪,有营利及非营利事业之特性。殡葬学是学术界对殡葬事业经营管理的研究。内容包括:公墓、火化场
  • 颈阔肌颈阔肌是使嘴向下伸张的肌肉。它是一块表面肌肉,也就是说,它不直接连在骨骼上,与胸锁乳突肌重叠。沿下巴和颈的两侧各有一大块颈阔肌,每块的形状就像一把倒置的扇形。此扇形的
  • 生理学家生理学(英语:physiology/ˌfɪziˈɒlədʒi/; 来自古希腊语 φύσις (physis),意即:“nature, origin”,和 -λογία (-logia),意即:“study of” ) 是生物学的一门子领域,研
  • 奇电子分子奇电子分子是指中心原子价层电子数为奇数的分子,它们通常用两种方式来使自身稳定。首先是成键轨道或非键轨道未填满,例如氢分子离子H2+、二氧化氮可以形成单电子键、三电子键
  • 彼得·舒尔茨彼得·舒尔茨(英语:Peter G. Schultz,1956年6月23日-),生于美国俄亥俄州辛辛那提,是斯克里普斯研究所化学教授。舒尔茨的工作涵盖了化学、生物学和材料科学领域,包括:催化抗体的发现
  • 索尔费尔南多·索尔(西班牙语:Fernando Sor,1778年2月14日-1839年7月8日),西班牙作曲家,以及吉它演奏家。1778年生于西班牙巴塞罗那。自幼学习吉它,十九岁时在巴塞罗那上演所作歌剧。此
  • 李文华李文华(英语:Wen-Hwa Lee,1950年6月1日-)是台湾分子生物学家,曾任台中中国医药大学校长,1986年发现人类第一个抑癌基因“RB基因”,1994年获选为台湾中央研究院第20届生命科学组院士
  • 乳房整型乳房整型(Mammaplasty,也称为mammoplasty或mastoplasty)是指以调整乳房形状为目的的整型手术,主要可以分为以下几种:
  • 塔米·亚伯拉罕塔米·亚伯拉罕(Tammy Abraham,1997年10月2日-),是一名英格兰足球运动员,司职前锋,目前效力于英超俱乐部切尔西。在2019年9月24日,他成为切尔西最年轻完成帽子戏法的球员。他被誉为