否定为失败

✍ dations ◷ 2025-06-30 02:36:57 #计算机逻辑

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

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

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

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

相关

  • 平菇平菇(学名:Pleurotus ostreatus)又名侧耳、糙皮侧耳、蚝菇、黑牡丹菇、北风菌、鲍鱼菇或天喜菇,其白变种有白玉、白雪、雪花菇,是侧耳科侧耳属一个物种,是种相当常见的灰色食用菇
  • 水泡状胎块葡萄胎也称水泡状胎、水泡状胎块(Hydatidiform Mole) 是一种异常的人类妊娠,系由着床但未成功发育的受精卵所造成。因其特征为胎盘绒毛间质水肿,形成透明或半透明的薄壁水泡,形似
  • 牙齿发育牙齿发育或称牙生成(英语:odontogenesis),是胚胎细胞发育、生长成为牙齿,最后长于口腔内的复杂过程。虽然许多物种都有牙齿构造,但它们的牙齿发育普遍和人类相同。人类牙齿必须经
  • 自然历史自然历史(拉丁语:Historia Naturalis)又译自然史、博物学,是人类在演化过程中对地球上各种生物(动物、植物、菌类、微生物)以及它们周边生存环境中各种事物的不断的观察记录与分析
  • 铃木一朗NPBMLB铃木一朗(英语:Ichiro Suzuki,1973年10月22日-),生于日本爱知县,前职业棒球选手,守备位置为外野手,曾效力于美国职棒大联盟西雅图水手、纽约洋基、迈阿密马林鱼等球队,并保有大
  • 鸢尾属参见文本。鸢尾属(学名:)属于鸢尾科,Iris源于希腊语,意为“彩虹”,中文里鸢尾属又称“爱丽丝”或是“伊莉丝”,为希腊神话中彩虹女神的名字。天然鸢尾科植物的分布地点主要是在北非
  • 戈特弗里德-凯勒尔奖戈特弗里德-凯勒尔奖(Prix Gottfried Keller)是瑞士最古老的文学奖项之一。 该奖项由Martin Bodmer发起,以瑞士作家戈特弗里德-凯勒尔的名字命名的。每2-3年颁发一次。
  • 乐化站乐化站位于江西省南昌市新建县乐化镇,是京九线、南昌西环线和昌九城际线的一座火车站,等级为四等站,距北京西站1427公里,距常平站888公里,本站及相邻上下行区间均为电气化区段。
  • 北京大学前沿交叉学科研究院前沿交叉学科研究院(英文Academy for Advanced Interdisciplinary Studies,缩写AAIS)成立于2006年4月4日,是北京大学的交叉学科研究机构。首任院长为韩启德院士。现任院长为韩启
  • 小行星12796小行星12796(12796 Kamenrider)是一颗位在主小行星带的小行星,于1995年11月16日由中村彰正发现,命名于2000年3月26日获得喷气推进实验室的承认。该小行星以日本的漫画并改编为