DocumentCode
1030370
Title
Restriction of qualitative models to ensure more specific behaviour
Author
Hibler, David ; Biswas, Gautam
Author_Institution
Dept. of Comput. Sci., Christopher Newport Coll., Newport News, VA, USA
Volume
2
Issue
3
fYear
1993
Firstpage
133
Lastpage
144
Abstract
This paper discusses methods for applying restrictions to qualitative models of physical systems in order to ensure more specific behaviour. Restriction is performed by adding constraints; directly on exogenous parameters, and indirectly on nonexogenous or dependent parameters. The former are called primary restrictions, and the latter are called derived restrictions. We show the connection between primary and derived restrictions, and how to determine the consistency of multiple restrictions. Examples are given of how a specific model is augmented using restrictions
Keywords
modelling; constraints; derived restrictions; primary restrictions; qualitative model restriction; specific behaviour;
fLanguage
English
Journal_Title
Intelligent Systems Engineering
Publisher
iet
ISSN
0963-9640
Type
jour
Filename
265863
Link To Document