15th European Conference on Artificial Intelligence
|July 21-26 2002 Lyon France|
Hannah Harris, Mark Ryan
We formalise a relationship between two previously unconnected areas: theory change and feature interaction. This will provide an interesting new application area for the logic of theory change, and a theoretical underpinning for the feature interaction problem which has a largely practical basis. Update is an operation of theory change which is closely related to belief revision. The principal difference lies in the fact that belief revision models changing beliefs about a static world whereas update models a changing world. A feature is a unit of functionality which extends or modifies the behaviour of the system into which it is integrated. The feature interaction problem arises when two or more features interact, causing the system to exhibit unexpected, and often undesirable, behaviour. Many approaches to feature integration and interaction detection have been proposed. In this research we use a feature construct for the model checker SMV. We show that there is a strong connection between update and feature integration by, preliminarily, formulating SMV and the feature construct in propositional logic. We then go on to prove that the eight rationality postulates for update hold in the context of this theoretical formulation.
Keywords: Belief Revision, Verification and Validation, Nonmonotonic Reasoning
Citation: Hannah Harris, Mark Ryan: Feature Integration as an Operation of Theory Change. In F. van Harmelen (ed.): ECAI2002, Proceedings of the 15th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2002, pp.546-550.