限制 (逻辑)

✍ dations ◷ 2025-11-05 15:41:10 #限制 (逻辑)

限制是约翰·麦卡锡建立的非单调逻辑,它假定除非特殊指定否则事物同预期的一样。麦卡锡后来使用限制来尝试解决框架问题。在它最初的一阶逻辑公式中,限制最小化了某些谓词的外延,这里的谓词的外延是谓词在其上为真的变量元组的集合。这种最小化类似于把不知道为真的假定为假的封闭世界假定。

相关

  • 速溶咖啡速溶咖啡是一种由咖啡豆制造的冲泡饮品。速溶咖啡在1890年由新西兰人 David Strang所发明并登记专利,1901年由一个在美国芝加哥工作的日本科学家加藤サトリ做改良。乔治·华
  • 矿物是指在地质作用下天然形成的结晶状纯净物(单质或化合物)。绝对的纯净物是不存在的,所以这里的纯净物是指物质化学成分相对单一的物质。矿物是组成岩石的基础(像石英、长石、
  • 等翅下目白蚁亦称.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{font-feature-s
  • 精细结构常数精细结构常数是物理学重要的无量纲量,常用希腊字母 α {\displaystyle \alpha } 表示,精细结构指的是原子物理学中原子谱线分裂的样式。其
  • 区则敬区则敬,号宾臣,中国清朝官员,广东新会县人,监生出身。于光绪元年十一月廿七日(1875年12月24日)担任恒春知县一职,后因案撤卸,病故在署。
  • 仙山线.mw-parser-output .RMbox{box-shadow:0 2px 2px 0 rgba(0,0,0,.14),0 1px 5px 0 rgba(0,0,0,.12),0 3px 1px -2px rgba(0,0,0,.2)}.mw-parser-output .RMinline{float:none
  • 伊格纳西奥·冈萨雷斯伊格纳西奥·“纳科”·马利·冈萨雷斯·加蒂(西班牙语:Ignacio 'Nacho' María González Gatti,1982年5月14日-),简称伊格纳西奥·冈萨雷斯(西班牙语:Ignacio González),现效力巴伦
  • 李世藩李世藩,又作李世璠,明朝末年清朝初年云南蒙自(今云南省蒙自)人。康熙四年(1665年)三月,迤东土酋宁州禄昌贤、新兴王耀祖、嶍峨禄益、王杨祖、王弄山、王朔、蒙自李日新、李世璠、李
  • M-BahnM-Bahn是世界上第二个投入商业运营的磁悬浮铁路,位于德国柏林。柏林墙的建设使得柏林地铁2号线(当时称为A线)中间断开,其中有两个在西柏林的区间停运,为了服务被停运车站附近的居
  • 米兰达语米兰达语(米兰达语:mirandés 或 lhéngua mirandesa)是罗曼语族阿斯图里亚斯-莱昂语支的一种语言,主要在葡萄牙东北部的一些地区使用。目前母语使用