A Note on the Refinement of Nonmonotonic Knowledge Bases |
| |
| Authors: | G. Antoniou Cara MacNish N. Y. Foo |
| |
| Affiliation: | (1) School of Computing and Information Technology, Griffith University, Australia, AU;(2) Department of Computer Science, University of Western Australia, Australia, AU;(3) School of Computer Science and Computer Engineering, University of New South Wales, Australia, AU |
| |
| Abstract: | Refinement of logical theories plays an important role in various application domains, notably in software engineering. This note introduces and studies refinement notions for nonmonotonic knowledge bases in default logic. The paper motivates and proposes refinement concepts, discusses their relationship, and establishes sufficient conditions for refinement. Received 27 July 1999 / Revised 3 November 1999 / Accepted 24 May 2000 |
| |
| Keywords: | : Default logic Nonmonotonic reasoning Refinement |
| 本文献已被 SpringerLink 等数据库收录！ |
|
