Règles et méta-règles dans le cadre de la théorie des possibilités et de la logique possibiliste
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”.
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.