限制 (逻辑)

✍ dations ◷ 2025-06-25 08:09:58 #限制 (逻辑)

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

相关

  • 1933年证券法《1933年证券法》(Securities Act of 1933)是美国在1929年的华尔街股市风暴及随后的大萧条背景下所通过的法案。
  • 刘以训刘以训(1936年5月5日-),中国生殖生物学家。生于山东安丘。1963年毕业于复旦大学生物系内分泌专业。1966年毕业于中国科学院研究生院。中国科学院动物研究所研究员。1999年当选为
  • 梵王梵天(梵语:Brahmā,义为清净、离欲),又称大梵天王或大梵天(梵语:Mahā-brahmā(-deva),义为大梵天;音译为摩诃梵)、梵天主、净天、梵童子(梵语:Brahmā-sanaṃkumāra)、娑婆世界主(梵语:Br
  • 动物科学动物科学可以指:
  • 青团青团,又称青草团、清明粿、艾粿、艾草果、艾粑粑等,闽南、潮汕称为青草粿、草仔粿、草粿、鼠麹粿等,客家人称为青粄、艾糍粑、艾糍、艾粄等。是中国南方部分地区清明节、寒食节
  • 始河豚始河豚(学名:Eotetraodon),是最早的河豚,生存于卢台特期的意大利,模式种是小始河豚(E. pygmaeus)和戈尼斯始河豚(E. Gornylutshensis)。
  • 李连英李连英(1848年11月12日-1911年3月4日),直隶省河间府大城县(今河北省大城县)李家村人,晚清著名宦官。本名李英泰,进宫后改为李进喜。由慈禧太后赐名连英,俗作莲英。连英在宫中期间,深得
  • CTermCTerm是一个与FTerm功能相仿的通用仿真终端软件。是中国大陆地区发展的第一个在BBS站上支持鼠标操作的BBS软件。主要特点:支持以SSH方式登录BBS(从3.3.0版本开始);支持鼠标操作;
  • 吃 (电影)《吃》(英语:)是安迪·沃霍尔执导的1964年美国地下电影。这是一部黑白无声电影,全片纪录印第安纳坐在椅上,进食一颗蘑菇。片中一只猫短暂地出现,印第安纳亦逗弄了那只猫。在拍摄的
  • H日H日(瑞典语:Dagen H)指瑞典在1967年9月3日将道路通行方向由靠左改为靠右当日。H代表瑞典语中的,即“右行交通”。推行新制的两主因为:不过,改变通行方向的建议并不受欢迎,在40年来不断被否决。1955年10月16日的全民公决,83%选民支持维持靠左行驶。不过,1963年,瑞典议会仍通过改变通行方向的法案,并成立“全国右行交通委员会”(Statens Högertrafikkommission,HTK)统筹新制。为期四年的教育计划随即开展,利用心理学理论潜移默化,如将H日标志放在各种日用产品上,包