Téléchargement du code source AutomaticReasoning IntelligentSystems - Téléchargement du code source AutomaticReasoning IntelligentSystems

AutomaticReasoning IntelligentSystems

Autres catégories

1.0.0

Télécharger

Projets de raisonnement automatique

Il s'agit d'un ensemble de projets que j'ai développés pour les cours Système intelligent, représentation des connaissances et raisonnement automatique dans les années de deuxième et de première année de ma licence en informatique à l'UDC (Espagne). Les projets sont les suivants :

Compositeur de canon automatisé avec plusieurs voix utilisant la programmation Answer Set qui prend en compte de nombreuses restrictions et préférences mélodiques. Il utilise les outils gringo, fermoir, python et lilypond. Un court exemple de fichier audio est fourni, créé avec l'un des fichiers de préférences fournis. Utilisation de Python, fermoir, gringo et lilypond.
Solveur Sokoban par recherche heuristique qui résout le jeu sokoban. Avec l'aide de code extrait directement du livre de Russell&Norvig03, mon partenaire et moi avons développé le domaine spécifique et une heuristique appropriée. Greedy, BSF, DSF et A* peuvent être utilisés pour effectuer la recherche. L'objectif est de déplacer le joueur (@) HAUT, BAS, GAUCHE et DROITE pour récupérer les buts (.). Les murs (#) ne peuvent pas être déplacés mais les objets ($) le peuvent. L'heuristique sélectionnée concerne les distances minimales par rapport aux objectifs.
Hitori Puzzle Solver qui transforme une version simplifiée du puzzle Hitori en un ensemble de clauses booléennes CNF basées sur les règles du jeu, appelle un solveur de satisfiabilité propositionnelle (SAT) et crée la solution. Utilisation de Python et picosat.
Raisonnement probabiliste avec des ensembles de réponses qui calcule les probabilités que différentes choses se produisent dans le jeu Big Bang Theory. Pierre, papier, ciseaux, lézard, Spock. Utilisation de P-log.
Projet de preuve de théorème qui vérifie si une conclusion découle des prémisses à l'aide d'un prouveur de théorème pour le calcul des prédicats appelé Prover9. Ce logiciel accepte une liste de formules en logique du premier ordre et décide si une formule est valide ou non par réfutation utilisant la résolution.
8puzzle solver par recherche heuristique qui trouve une solution pour le jeu. A l'aide de code extrait directement du livre de Russell&Norvig03, nous avons développé le domaine spécifique et une heuristique adaptée. Greedy, BSF, DSF et A* peuvent être utilisés pour effectuer la recherche. La meilleure heuristique essayée était la distance en taxi.
Feuille de route de la Roumanie Recherche qui trouve un itinéraire vers Bucarest depuis Arad (de préférence le plus court). A l'aide de code extrait directement du livre de Russell&Norvig03, nous avons développé le domaine spécifique et une heuristique adaptée. Greedy, BSF, DSF et A* peuvent être utilisés pour effectuer la recherche. L'heuristique utilisée était la distance droite.