限制是约翰·麦卡锡建立的非单调逻辑,它假定除非特殊指定否则事物同预期的一样。麦卡锡后来使用限制来尝试解决框架问题。在它最初的一阶逻辑公式中,限制最小化了某些谓词的外延,这里的谓词的外延是谓词在其上为真的变量元组的集合。这种最小化类似于把不知道为真的假定为假的封闭世界假定。
首页 >
限制 (逻辑)
✍ dations ◷ 2025-09-09 23:56:31 #限制 (逻辑)
相关
- 德州德州可以指:
- 使用此条目为全球互联网使用率,整合了有关表格、图表、地图以及使用率等条目或资料。卡尔纳僵尸网络为骇客以“2012年互联网普查”的名义使用骇客技术对420,000名用户进行网络使
- 舒曼计划舒曼计划(又称舒曼宣言)是1950年5月9日法国外交部部长罗贝尔·舒曼在法国外交部驻地奥赛码头时钟沙龙(Salon de l'Horloge)在一次记者招待会上公布的一个计划。在这个计划中他建
- 帕尔杜比采帕尔杜比采(捷克语:Pardubice,德语:Pardubitz,国际音标: 帮助·信息)是捷克共和国中部的一个城市,帕尔杜比采州首府,位于布拉格以东104千米的易北河畔。帕尔杜比采是一个工业城市,塑
- 台车线.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
- 雅克·勒苏尔纳雅克·勒苏尔纳(法语:Jacques Lesourne,1928年12月26日-2020年3月1日),法国经济学家,《世界报》原社长。1928年生于拉罗谢尔,曾在巴黎综合理工学院学习,1953年毕业于国立巴黎高等矿业
- 基本负载发电厂基本负载发电厂(英语:base load power plant)是指各形式的发电厂中,24小时持续所发出能满足电网系统最低基本电功率需求,这样的最低电功率需求称为基本负载电源,而生产基载电源的
- 耶尔希火山耶尔希火山(英语:Yersey)是一座位于印度尼西亚小巽他群岛的海底火山,目前该火山在旧海图上被列为活火山。1929年时调查显示,耶尔希火山顶峰深度为3,800米(12,500英尺),位在班达海盆
- 马里阿角马里阿角(Κάβο Μαλέα),是希腊伯罗奔尼撒半岛东南端的一个海角,位于拉科尼亚,隔基西拉海峡与基西拉岛相望。马里阿角附近的天气多变,致使基西拉海峡成为了一条危险的航道,
- 安达巧安达巧(日语:安達 巧/あだち たくみ ,1966年4月11日-),日本男子摔跤运动员。他曾代表日本参加1990年亚洲运动会摔跤比赛,获得一枚金牌。他也曾参加1992年夏季奥林匹克运动会。