非单调推理
基本解释
简解
非单调推理的词语属性
拼音fēi dān diào tuī lǐ
拼音字母fei dan diao tui li
拼音首字母fddtl
非单调推理的百科含义
非单调推理于19世纪 70 年代被提出，是人工智能中的一种重要的推理方式。所谓非单调推理，指的是一个正确的公理加到理论T中，反而会使预先所得到的一些结论变得无效了。寻求失效的结论是单调逻辑中不存在的问题。从这个意义上说，非单调推理就明显地比单调推理来得复杂。非单调推理的基本出发点是古典的完备性：对一个理论来说，任一公式P，或者是P可证明或者是P的非可证明。这样，为保证一个理论是完备的，可增加命题P，如果P的非不能由该理论推演出来，将这样的命题P假设是成立的，加到理论中参予推理，便是非单调的推理方式。
猜你喜欢
- zhiliao直了
- kuailegushou快乐鼓手
- hudoulongzheng虎鬭龙争
- niguangzhixia逆光之下
- dongtundu东屯渡
- houkangyi侯康乙
- wangpei王霈
- ailiaoteshibo埃利奥特氏波
- haimaqiangshenwan海马强肾丸
- zhuqiren朱启仁
- heshiluxiangdai盒式录像带
- liuhong刘鸿
- pagan爬竿
- jianjiehuanjingtidu间接环境梯度
- jijianfengshu脊茧蜂属
- laobeijingmiancha老北京面茶
- zhengzongguan郑宗关
- shimobang石墨棒
- zhenque真确
- suqiaoqiusou素乔球螋
- handanshizhengfu邯郸市政府
- hanghaijiedai航海借贷
- wanxiayuluo晚霞芋螺
- bianci贬词
- huangchunlong黄春龙
- shengdaifuliao绳带辅料
- qiheidezhuizongzhe漆黑的追踪者
- guqiufengyunxi锢囚锋云系
- hanfangcaoben汉方草本
- luntancaijiqi论坛采集器