Événement discret du calcul du calcul Evénement discrète Calculus Reaseur est un programme open source permettant de réaliser un raisonnement automatisé de la communication.
Télécharger maintenant

Événement discret du calcul du calcul Classement & Résumé

Événement discret du calcul du calcul Mots clés

un événement calcul Raisonnement de la communication Discret Calcul de l'événement Formalisme à base de logique

Événement discret du calcul du calcul La description

Événement discret Calculus Reaseur est un programme open source pour effectuer un raisonnement automatisé de la communication. Événement discret Calculus Reaseur est un programme open source permettant de réaliser un raisonnement automatisé de la communication à l'aide du calcul de l'événement, d'un formalisme à base de logique complet et hautement utilisable.Discrete Calculus de Calculs résolvant les problèmes de manière efficace en les convertissant dans la satisfaction (SAT). Certaines clés sont des problèmes. Caractéristiques du "Evénement discrètement Calculus": · Livré avec 99 exemples · Livré avec le manuel de l'utilisateur de 12 pages · Soutenir la déduction / la projection temporelle, l'enlèvement / planification, la postdication et la recherche de modèle · permet un raisonnement par défaut sur l'action, le changement, l'espace et Etats mentaux · utile pour les interfaces utilisateur intelligentes, les systèmes d'affaires, la compréhension des langues naturelles et la vision informatique · aide les applications à comprendre le monde, à faire des déductions, à s'adapter à des situations inattendues et à être plus flexibles · publié sous la licence publique commune V1.0Requirements: · Le jeu de calcul de l'événement discret nécessite Linux ou Windows + Cygwin, Python, Pliy et un ou plusieurs solveurs SAT: relsa T (recommandé), Walksat et Minisat. Voici quelques caractéristiques essentielles du «Calcul de l'événement discret»: · Livré avec 99 exemples · Livré avec le manuel d'utilisation de 12 pages · Soutient la déduction / projection temporelle, enlèvement / planification, postdiction et mannequin · Permet un raisonnement par défaut sur l'action, le changement, l'espace et les états mentaux · Utile pour les interfaces utilisateur intelligentes, les systèmes d'entreprise, la compréhension des langues naturelles et la vision informatique · Aide les applications à comprendre le monde, à faire des inférences, à s'adapter à des situations inattendues et à être plus flexible · Libéré sous la licence publique commune V1.0 Exigences: · Le jeu de calcul de l'événement discret nécessite que Linux ou Windows Cygwin, Python, Plie et un ou plusieurs solveurs SAT: RelSat (recommandé), Walksat et Minisat.

Événement discret du calcul du calcul Logiciels associés