限制是约翰·麦卡锡建立的非单调逻辑,它假定除非特殊指定否则事物同预期的一样。麦卡锡后来使用限制来尝试解决框架问题。在它最初的一阶逻辑公式中,限制最小化了某些谓词的外延,这里的谓词的外延是谓词在其上为真的变量元组的集合。这种最小化类似于把不知道为真的假定为假的封闭世界假定。
首页 >
限制 (逻辑)
✍ dations ◷ 2025-04-28 06:14:02 #限制 (逻辑)
相关
- 先军思想朝鲜民主主义人民共和国主题先军政治(韩语:선군정치),也译作先军思想,是朝鲜民主主义人民共和国与主体思想并行的主要政治理论和指导方针。这是一个综合性的政策,其内容简单的说,就
- 哥斯达黎加割齿喉盘鱼哥斯达黎加割齿喉盘鱼,为辐鳍鱼纲鲈形目喉盘鱼亚目喉盘鱼科的其中一种,被IUCN列为濒危保育类动物,分布于中东太平洋的哥斯达黎加海域,体长可达3.3公分,属底栖性鱼类,生活在红树林,
- 布鲁托 (大力水手)布鲁托(英语:Bluto)是大力水手经典动画角色之一,主角波派的情敌,相貌粗犷,身材高大魁梧,经常和波派作对,但总是被吃了菠菜的波派击败。这个角色是E·C·西格于1932年创建的,最初是在
- 法国红酒五大酒庄五大酒庄是法国波尔多左岸五个红葡萄酒庄园拉菲酒庄、玛歌酒庄、拉度酒庄、侯贝酒庄、木桐酒庄的合称。 此排名是在1855年,由拿破仑三世所制定的标准,但1855年时,原本只有四家
- 增井浩俊增井浩俊(Masui Hirotoshi,1984年6月26日-)是一名出身于日本静冈县烧津市的棒球选手,司职投手,目前效力于日本职棒欧力士野牛。73 高山郁夫 | 75 佐竹学 | 76 风冈尚幸 | 81 田口
- 望月义夫望月义夫(1947年5月2日-2019年12月19日),日本政治家,自由民主党党员。曾任环境大臣(第20、21代)、内阁府特命担当大臣(原子能防灾)。出身于静冈县清水市(现静冈市清水区)。众议院议员(当
- 安迪·派提特安祖鲁·尤金·派提特(英语:Andrew Eugene Petitte,1972年6月15日-),昵称安迪·派提特(Andy Pettitte),生于美国路易西安那州巴吞鲁日,是一位美国职棒大联盟先发投手,守备位置为投手。
- 陈哀公陈哀公(?-前534年),妫姓,名弱,为春秋诸侯国陈国君主之一,他为陈成公儿子,承袭陈成公担任该国君主,在位期间为前568年—前534年,共在位35年。周 → 秦 | 吴 | 姜齐 → 田齐 | 鲁 | 燕 |
- 金钱游戏 (2003年电影)《金钱游戏》(英语:Owning Mahowny)是一部在2003年时上映的加拿大电影,由英国导演理查·科威尼奥斯基(英语:Richard Kwietniowski)(Richard Kwietniowski)执导,菲利浦·西摩·霍夫曼(Ph
- 祖翼兽属祖翼兽属(学名:)是一属已灭绝的滑翔类哺乳动物,其化石产自中国辽宁省建昌县的晚侏罗世髫髻山组地层。祖翼兽属的模式种为似叉骨祖翼兽(),由罗哲西等于2017年首次描述。祖翼兽属与翔