| 摘要 |
<p>Un système à base théorique et spécialement un système de programmation logique (système de gestion à base de connaissances, KBMS) comprend diverses théories - emploi (10), généalogie (18), données sur les pièces (11), escompte et planification financière - certaines d'entre elles se référant les unes aux autres (par exemple la théorie de l'escompte se réfère à la théorie des données sur les pièces (11)). Certaines ont des programmes d'interprètation spéciaux (par exemple la théorie des tables (16) pour la théorie des données sur les pièces (11)); certaines peuvent avoir des théories d'assimilations spéciales (programmes mis à jour) (par exemple (14) pour la théorie (10)) et/ou des théories d'attributs (15). Une théorie de système (22) contient ou représente la relation entre les théories à l'intérieur du système, leurs noms, leurs programmes d'interprétation et d'assimilation et commande l'accès aux autres théories. En tant que théorie, la théorie du système elle-même peut être conservée de la même façon que n'importe quelle autre, en étant mise à jour pour permettre la création de nouvelles théories (par exemple par mise à jour).</p> |
