Règles et métarègles en théorie des possibilités. De la logique possibiliste à la programmation par ensembles-réponses
Rules and meta-rules in possibility theory. From possibilistic logic to answer-set programming
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étarè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 » (ASP). Nous situons l’apport de Pascal Nicolas pour relier logique possibiliste et ASP par rapport à ces questions.
The modeling of conditional/implicative rules of the form “if A then B” plays 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 contribute to the partial specification of a unique epistemic state, while the latter relate partially specified epistemic states, as in Answer Set Programming (ASP). The contribution of Pascal Nicolas to bridging the gap between possibilistic logic and ASP is discussed in this perspective.
D.DUBOIS, H.PRADE, S.SCHOCKAERT
règle, métarègle, règle floue, théorie des possibilités, logique possibiliste, ASP.
rule, meta-rule, fuzzy rule, possibility theory, possibilistic logic, ASP.
Français
|
