Programmation par ensembles réponses pour simuler l'assolement d'un paysage
نویسندگان
چکیده
The development of tools for the simulation of virtual landscapes is an important issue for the study of the relationships between landscape, biophysical processes and their actors. We are interested in simulating realistic colocalizations of cultures. We formalize the simulation process as a generic problem of decomposition of a graph by subgraphs (“structures”). This problem is highly combinatorial and we propose to solve it using answer set programming (ASP). The article compares several versions of
منابع مشابه
Optimisation par colonies de fourmis pour la programmation logique étendue
RÉSUMÉ. La Programmation Logique Étendue (Answer Set Programming) est un formalisme particulièrement adapté pour représenter différents problèmes issus de l’Intelligence Artificielle (raisonnement non monotone, planification, diagnostic...). De plus, elle peut être utilisée pour coder de manière concise des problèmes combinatoires. Dans tous les cas, les solutions sont obtenues sous la forme d’...
متن کاملLa logique modale des modèles d'équilibre
RÉSUMÉ. Les modèles ici-et-là-bas et les modèles d’équilibre ont été étudiés comme cadre sémantique pour la programmation par ensembles réponses par Pearce, Cabalar, Lifschitz, Ferraris et d’autres. La sémantique de la logique de l’équilibre est indirecte dans le sens que la notion de satisfiabilité est définie en termes de satisfiabilité dans la logique ici-et-là-bas. Nous donnons ici une séma...
متن کاملExplications conviviales pour la programmation par contraintes
RÉSUMÉ. Dans cet article, nous présentons un ensemble d’outils pour fournir des explications conviviales dans un système de programmation par contraintes avec explications. L’idée est de représenter les contraintes d’un problème sous forme hiérarchique (un arbre). Les utilisateurs sont alors représentés comme un ensemble de noeuds compréhensibles dans cet arbre (une coupe). Les explications cla...
متن کاملD'une compacité positionnelle à une compacité probabiliste pour un système de Questions / Réponses
RÉSUMÉ. Dans cet article, nous présentons une discussion sur la définition d'un score de compacité pour permettre l'extraction d'une réponse dans un système de Questions/Réponses. Ce score de compacité qui peut être succinctement décrit comme une fonction liée a la densité des termes de la question dans le voisinage d'une réponse candidate, est présenté en détail. Ensuite, une discussion nous a...
متن کاملConception Par Objets D'un Syst Eme Pour Combiner Raisonnement Formel Et Satisfaction De Contraintes
La programmation par satisfaction de contraintes (CSP) est un outil puissant qui permet de r esoudre de nombreux probl emes combinatoires. Cependant, il existe des situations dans lesquelles un raisonnement formel sur les contraintes trouve le r esultat plus vite et plus facilement que les techniques classiques de CSP. Dans cette optique, nous reconstruisons le syst eme Alice, qui proposait de ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Revue d'Intelligence Artificielle
دوره 29 شماره
صفحات -
تاریخ انتشار 2015