找到约 1 条结果（用时 0.03 秒）
词速通 - 汉语词语词典 › 词语 › 非单调推理
非单调推理于19世纪 70 年代被提出，是人工智能中的一种重要的推理方式。所谓非单调推理，指的是一个正确的公理加到理论T中，反而会使预先所得到的一些结论变得无效了。寻求失效的结论是单调逻辑中不存在的问题。从这个意义上说，非单调推理就明显地比单调推理来得复杂。非单调推理的基本出发点是古典的完备性：对一个理论来说，任一公式P，或者是P可证明或者是P的非可证明。这样，为保证一个理论是完备的，可增加命题P，如果P的非不能由该理论推演出来，将这样的命题P假设是成立的，加到理论中参予推理，便是非单调的推理方式。 — 拼音 fēi dān diào tuī lǐ，更新 2026-07-16 14:42:28
| 拼音 | fēi dān diào tuī lǐ |
|---|---|
| 拼音字母 | fei dan diao tui li |
| 首字母 | fddtl |
| 注音 | ㄈㄟ ㄉㄢ ㄉㄧㄠˋ ㄊㄨㄟ ㄌㄧˇ |
| 注音符号 | ㄈㄟ ㄉㄢ ㄉㄧㄠ ㄊㄨㄟ ㄌㄧ |