缺省逻辑
(计算机科学技术)
缺省逻辑(default logic),计算机科学技术名词,雷·赖特(Ray Reiter)提出的用来形式化有缺省假定的推理的非单调逻辑。可以表达像“若找不到反面证据,则认为某个命题是真的”这样的论断。
加载更多
领域
提 交
计算机
科技
农学
技术
科学
词条相关
词条 主页
》
词条 科普
》
词条 事件
》
词条 题库
》
词条 知识
》