Open Logic Based on Partial-Ordered Partition Model
So far, many nonmonotonic logics are available to deal with the problem of reasoning about completeness, consistency and priorities of the knowledge. The two representative formalisms of them are default reasoning and belief revision, on which the frameworks of Brewkas default theories and Rodrigues structured clusters are based, respectively. In this paper, we present a framework with the meta-formalism of open logic based on a partial-ordered partition model. Via this formalism, we give model-theoretic interpretations for the two frameworks above. Taking into account computational aspects, we define their corresponding epistemic processes in turn. In this sense, our framework can be viewed as a generalization of them. Our framework are particularly suitable for the reasoning of requirements evolution.
Nonmonotonic logic open logic belief revision default reasoning requirements engineering
Liannan Lin Jinzhao Wu Xiang Xu
Chengdu Institute of Computer Applications Chinese Academy of Sciences Chengdu 610041, China School of Optoelectronic Information University of Electronic Science and Technology Chengdu 610054,
国际会议
南京
英文
247-254
2008-06-17（万方平台首次上网日期，不代表论文的发表时间）