• 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