Restricted Four-Valued Logic for Default Reasoning | |
Chen, Chen ; Lin, Zuoquan | |
2015 | |
英文摘要 | In Reiter's default logic, it is possible that no useful information can be brought from inconsistent knowledge or no extension of incoherent default theories exists. In this paper, based on Belnap's four-valued logic, we propose a new variant of default logic called the restricted four-valued default logic to tolerate inconsistency and incoherency of knowledge in default reasoning. Our proposal can maintain both the expressive power of full default logic and the ability of default reasoning. Moreover, we present a transformation-based approach to compute the restricted four-valued extensions.; EI; CPCI-S(ISTP); skydark2@gmail.com; linzuoquan@pku.edu.cn; 40-52; 9403 |
语种 | 英语 |
出处 | EI ; SCI |
出版者 | KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, KSEM 2015 |
内容类型 | 其他 |
源URL | [http://hdl.handle.net/20.500.11897/436882] ![]() |
专题 | 数学科学学院 |
推荐引用方式 GB/T 7714 | Chen, Chen,Lin, Zuoquan. Restricted Four-Valued Logic for Default Reasoning. 2015-01-01. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论