否定为失败

✍ dations ◷ 2025-06-09 00:11:10 #计算机逻辑

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

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

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

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

相关

  • 雪球地球雪球地球(英语:Snowball Earth),是为了解释一些地质现象而提出的假说。该假说认为在新元古代时候曾经发生过一次严重的冰河期,以至于地球上的海洋全部被冻结,仅仅在厚达两公里的冰
  • 1998年本土世界杯1998年国际足联世界杯(英语:1998 FIFA World Cup,法语:Coupe du Monde – France 98,1998年6月10日–7月12日),通常称为“98年法国世界杯”、France '98,于1998年在法国举行。法国队
  • 台北市网球中心台北市网球中心(Taipei Tennis Center)是位于台北市内湖区网球中心。2017台北世界大学生运动会网球项目于本场馆举行。捷运:文湖线:葫洲站转蓝36、民权干线、617板南线:昆阳站转
  • 士林慈坐标:25°05′22″N 121°31′28″E / 25.08954°N 121.5245°E / 25.08954; 121.5245农历三月廿二(绕境日期)士林慈
  • 胸膛在解剖学上,胸部在许多动物身体的其中一部分。人科动物(包括人类)的胸部位于颈部和腹部之间,由肋骨、脊椎和肩带骨骼所支撑。胸部同时有乳房部分,女性的乳房作哺乳之用,因此胸部也
  • 希腊经济希腊在2010年2月,政府欠债3千亿欧元,无力偿债而导致国家破产,其他欧元区国家担心希腊的危机会对他们造成重大冲击。希腊名列欧猪五国之一,酿成欧洲主权债务危机,在2011年几乎导致
  • 大道寺政繁大道寺政繁(1533年-1590年8月18日)是后北条氏的家臣,松井田城的城主,及北条家三老之首。曾效力于氏康、氏政、氏直三代的老臣。父亲是大道寺重兴。通称孙九郎(大道寺氏历代嫡子均
  • 歌手 (第四季)《歌手》第四季,可能指以下电视节目中的一部:
  • 约翰·格奥尔基·特拉勒斯约翰·格奥尔基·特拉勒斯(Johann Georg Tralles),1763年10月15日生,1822年11月19日去世,是一位德国数学家和物理学家。他出生于德国汉堡,1783年始就读于哥廷根大学,1785年成为伯尔
  • 安全阀安全阀门(英语:safety_valves)是在设备故障时防止事故的一种阀门。安全阀的其中一个重要的类别是:紧急自动泄压阀(PRV),当压力或温度超过预设限值时,它将自动从锅炉、压力容器或其他