Rules and meta-rules in the framework of possibility theory and possibilistic logic
Règles et méta-règles dans le cadre de la théorie des possibilités et de la logique possibiliste
Résumé
The modeling of conditional/implicative rules of the form “if A then B” play a crucial role in any attempt at formalizing reasoning. Starting from the expression of different forms of rules that have been identified in the setting of possibility theory, we study their counterparts in the framework of extensions of possibilistic logic. A distinction between rules and meta-rules is especially emphasized. The former contributes to the partial specification of a unique epistemic state, while the latter relates partially specified epistemic states, as in Answer Set Programing.
La modélisation de règles conditionnelles/implicatives telles que "si A alors B" joue un rôle crucial dans toute tentative de formalisation du raisonnement. Reprenant l'expression de différentes formes de règles identifiées dans le cadre de la théorie des possibilités, nous en étudions la contrepartie dans le cadre d'une logique possibiliste généralisée. Une distinction entre règles et méta-règles est particulièrement soulignée. Les premières contribuent à spécifier de façon partielle un unique état de connaissances à partir duquel on raisonnera, tandis que les secondes mettent en relation des états partiels de connaissance, comme en "Answer Set Programing".