defeasible logic
Donald Nute提出的可废止逻辑 （defeasible logic）是一种非单调逻辑。Henry Prakken 则把可废止逻辑与论辩理论结合起来提出了“可废止论 辩逻辑”。
基于2492个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
可废止逻辑是Donald Nute提出的用来形式化可废止推理的非单调逻辑。
详细内容
应用推荐
模块上移
模块下移
不移动