answer-set-programming

-4La chaleur

1Répondre

Comment exécuter un fichier de programmation de jeu de réponses à partir d'un fichier C++?

Quelles sont les méthodes que je peux utiliser pour exécuter un fichier ASP à partir de la fonction principale de mon code C++? Je suis un projet dans lequel je suis censé contrôler un turtlebot simul

0La chaleur

1Répondre

Utiliser Clingo 4.5 avec Gringo 3

J'essaie d'exécuter le code à partir des exercices du chapitre 8 du PCGBook. Ils utilisent clingo mais ne disent pas quelle version ils utilisent. Lorsque j'ai téléchargé la dernière version de Clingo

0La chaleur

2Répondre

Comment utiliser la sortie du solveur SPARC comme entrée d'un fichier python?

Ma question: J'ai besoin de sauvegarder la sortie d'un solveur SPARC (qui apparaît actuellement sous forme de texte dans le terminal) comme variable dans mon code Python. Comment puis-je faire ceci? R

0La chaleur

1Répondre

Tentative de communication bidirectionnelle entre Python2.7 et ASP: écriture du contenu du tube nommé dans un fichier texte ne fonctionnant pas

J'utilise Python2.7, le solveur SPARC ASP, et j'exécute mon code depuis la commande Ubuntu14.04 ligne. J'essaie de mettre en place une communication bidirectionnelle entre mon code Python et mon code

0La chaleur

1Répondre

Problèmes lors de l'exécution d'un programme ASP à partir d'un programme Java à l'aide de Runtime.exec()

Le problème est que je n'arrive pas à exécuter un programme ASP lorsqu'il est exécuté à l'aide d'un script bash. Ainsi, le script lance l'ASP mais ne fait que commencer, il ne se termine jamais. Donc

0La chaleur

1Répondre

Comptage du nombre de vrais prédicats et limitation

Existe-t-il un moyen spécifique de limiter le nombre de vrais prédicats disponibles en utilisant un fait spécifié? En ce moment j'ai total (2). en fait. Je pensais que cela fonctionnerait: : - total (

1La chaleur

1Répondre

réponse Set programmation - faire un FACT invalide

J'ai une question concernant Réponse Définir la programmation sur la façon de faire une existante fait invalide, quand il y a déjà (aussi) une déclaration par défaut présent dans la base de connaissan

0La chaleur

1Répondre

Vérification de l'intersection entre deux rectangles dans la programmation de l'ensemble des réponses

La règle ci-dessous vérifie l'intersection. :- areaCoords(X1,Y1,X2,Y2), areaCoords(XA,YA,XB,YB), XA >= X1, X2 >= XA, YB >= Y1, Y2 >= YA, (X1,Y1,X2,Y2) != (XA,YA,XB,YB). Cependant, il génère des pair

0La chaleur

1Répondre

ASP Clingo - fractionnement du graphe en n cliques

Pour un graphe donné, je dois le représenter en utilisant au plus n cliques. J'ai un problème avec cette tâche. Ceci est similaire à la n-coloration du graphe qui est opposée au graphe donné (le graph

1La chaleur

1Répondre

Résolution d'un puzzle logique avec la programmation de l'ensemble de réponses

Clause de non-responsabilité: Je suis presque entièrement novice dans le domaine du clingo et de la programmation des ensembles de réponses en général. J'essaie de résoudre un grid logic puzzle en uti