Broche Facteur logique pour votre utilisation
Télécharger maintenant

Broche Classement & Résumé

Broche Mots clés

développement théorie développer Plugin Eclipse logique Développer une application Web soutien tapisserie Tapisserie

Broche La description

L'application de la broche a été créée pour être un raisonneur logique pouvant être utilisé pour calculer la conséquence de théories logiques défemplaires de manière efficace. Le programme couvre à la fois la logique de base défemplaire et la logique modale défact. Il peut être utilisé comme prouvant de théorie autonome ou en tant que moteur de raisonnement intégré. Caractéristiques principales: soutient tous les types de règles de la logique défact, telle que fait des règles, des règles strictes, des règles défact, des spectateurs et une supériorité. prend en charge des logiques modales défemplaires avec des conversions d'opérateur modal. soutient la négation et les littéraux conflictuels (mutuellement exclusifs). La théorie défact peut être représentée à l'aide de XML et de texte brut (avec syntaxe prédéfinie) et une théorie et son extension peut également être exportée à l'aide de XML. Un éditeur de théorie visuelle est développé pour édition de la théorie logique standard standard.

Broche Logiciels associés