Updating of a Possibilistic Knowledge Base by Crisp or Fuzzy Transition Rules

In this paper, partial knowledge about the possible transitions which can take place in a dynamical environment is represented by a set of pairs of propositional formulae, with the following intended meaning: If the first one is true then the second will be true at the next step. More generally, a certainty level representing the lower bound of a necessity measure can be associated with the second formula for modelling uncertain transitions. A possibilistic transition graph relating possible states can be deduced from these pairs and used for updating an uncertain knowledge base encoded in possibilistic logic and semantically associated to a possibility distribution. The updating of the base can be directly performed at the syntactic level from the transition pairs and the possibilistic logic formulas, in agreement with the semantics of the base and of the transitions. As there are many sets of pairs that represent the same transition graph, it is convenient to find a representative i...

• Type: Conference
• Year: 2004
• Where: KR
• Authors: Boris Mailhé, Henri Prade
• Keywords: Artificial Intelligence, KR 2004, Possibilistic Logic, Possible Transitions, Transition Graph