Programmation de logique Multi-adjoint
La programmation de logique Multi-adjoint de signifie pour exprimer un programme informatique en langue de la logique Multi-adjoint .
La définition d'un programme multi-adjoint de logique est donnée, comme d'habitude dans la logique floue programmant, comme ensemble de règles et de faits pesés d'un donné le F du langage formel . Noter qu'on nous permet d'employer différentes implications dans nos règles.
Définition de : Le programme multi-adjoint de logique de de A est un ensemble P de règles de la forme < ( i B de ← de A ), δ> tels que :
1. La règle de (le ←i d'A B) est une formule du F ;
2. Le δ de facteur de confiance de est un élément (une vérité-valeur) du L ;
3. La tête A de est un atome ;
4. Le corps B de est une formule établie des atomes B1 de ,…, du Bn (≥ 0 de n) en employant le Disjunctors de Conjunctors et des Aggregators
5. Les faits de sont des règles avec le ┬ de corps. Une question (ou but de ) est un atome prévu comme question ? A incitant le système.