可废止逻辑

来自术语
跳转至: 导航搜索

    一类面向证明论的非单调系统,这类系统的显著特点是:除了通常意义下的推理规则外,还将这些推理规则何时可以使用、何时失效也用规则的形式纳入系统中。

英文名 defeasible logic



链接

Wikipedia https://en.wikipedia.org/wiki/defeasible_logic
Zhishi.me http://zhishi.me/baidubaike/resource/可废止逻辑
http://zhishi.me/hudongbaike/resource/可废止逻辑
http://zhishi.me/zhwiki/resource/可废止逻辑