2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering Open Logic Based on Partial-Ordered Partition Model June 17-June 19 ISBN: 978-0-7695-3249-3
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TASE.2008.14
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 Brewka’s default theories and Rodrigues’ structured clusters are based, respectively. In this paper, we present a framework with the metaformalism 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.
Index Terms:
Nonmonotonic logic, open logic, belief revision, default reasoning, requirements engineering
Citation:
Liannan Lin, Jinzhao Wu, Xiang Xu, "Open Logic Based on Partial-Ordered Partition Model," tase, pp.247-254, 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, 2008 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||