Free Online Productivity Tools
i2Speak
i2Symbol
i2OCR
iTex2Img
iWeb2Print
iWeb2Shot
i2Type
iPdf2Split
iPdf2Merge
i2Bopomofo
i2Arabic
i2Style
i2Image
i2PDF
iLatex2Rtf
Sci2ools

KR

2004

Springer

2004

Springer

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...

Added |
02 Jul 2010 |

Updated |
02 Jul 2010 |

Type |
Conference |

Year |
2004 |

Where |
KR |

Authors |
Boris Mailhé, Henri Prade |

Comments (0)