• DocumentCode
    2252673
  • Title

    Syntactic Update

  • Author

    Cravo, Maria R.

  • Author_Institution
    Instituto Superior Técnico, Dep. Eng. Informática, GIA, Av. Rovisco Pais, 1049-001 Lisboa - Portugal. Email: mrcravo@gia.ist.utl.pt
  • fYear
    2005
  • fDate
    Dec. 2005
  • Firstpage
    18
  • Lastpage
    23
  • Abstract
    We present an update operation, syntactic update, based on Winslett´s Possible Models Approach (PMA). The PMA receives a set of propositional formulas describing a situation of the world, and a set of formulas describing the postconditions of an action, and determines the set of models describing the possible states of the world after the execution of the action. In this paper we describe a way of getting from the set of models of the PMA, back to a set of formulas which is as similar as possible to the initial set.
  • Keywords
    Atomic measurements; Boolean functions; Data structures; Power system modeling; Protection;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Artificial intelligence, 2005. epia 2005. portuguese conference on
  • Conference_Location
    Covilha, Portugal
  • Print_ISBN
    0-7803-9366-X
  • Electronic_ISBN
    0-7803-9366-X
  • Type

    conf

  • DOI
    10.1109/EPIA.2005.341257
  • Filename
    4145916
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2252673