|
|||||
|
|
A framework for default logic with case reasoning |
|
| Authors: | Mingyi Zhang Dan Zhang |
| Affiliation: | (1) Department of Computer Science, Guizhou University, 550025 Guiyang, China;(2) Guizhou Academy of Sciences, 550001 Guiyang, China;(3) Department of Accounting, Guizhou Financial and Economic University, 550001 Guiyang, China |
| Abstract: | Brewka's framework for default logic is extended such that this new framework is possessed of more powerful expressivity when reasoning by cases. Under this extended framework a characterization of extensions of a default theory is given. From this characterization the algorithms for main reasoning tasks in default logic with case reasoning are derived. |
| Keywords: | default logic compatible class of sets of defaults reasoning by cases characterization algorithm. |
| 本文献已被 CNKI SpringerLink 等数据库收录！ | |
