Discussion:Answer set programming
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
![]() |
aide | |
|
Points à améliorer
modifierJe ne comprends pas la phrase "Dans un sens plus général, ASP inclut toutes les applications des ensembles de réponses à la représentation des connaissances [1],[2] et l’évaluation des requêtes dans le style Prolog, pour résoudre les problèmes qui se posent dans ces applications." Le point pas clair est "les applications des ensembles de réponses à la représentation des connaissances" ?ǃ?ǃ Qu'est ce que ça veut dire ? --Fschwarzentruber (discuter) 27 octobre 2016 à 12:15 (CEST)
- Merci pour toutes les modifications et améliorations que vous avez effectués. Je pourrais imaginer une réponse mais je serais bien incapable de la sourcer, et je suis un néophyte du domaine. Je laisserai donc d'autres clarifier ce point. Pour moi, un résultat ASP est représentable par exemple par un graphe, un graphe étant une façon de représenter des connaissances.
- L'essentiel du texte vient de l'article "What Is Answer Set Programming?" par Vladimir Lifschitz via WP Anglais.
- On y trouve deux références 'In a more general sense, ASP includes all applications of answer sets to knowledge representation (Baral 2003; Gelfond 2008)."
- Baral, C. 2003. Knowledge Representation, Reasoning and Declarative Problem Solving . Cambridge University Press
- Gelfond, M. 2008. Answer sets. In van Harmelen, F.; Lifschitz, V.; and Porter, B., eds., Handbook of Knowledge Representation . Elsevier.
Liste d'idées et de points à rajouter à l'article
modifierApplications
- Debian, Ubuntu : Linux package configuration
- Exeura: Call routing
- Fcc: Radio frequency auction (used by the US Federal Communications Commission)
- Gioia Tauro: Workforce manament
- Nasa: Decision support for Space Shuttle
- Siemens: Partner units configuration
- Variantum: product configuration
ASP est plus compliqué que SAT car il faut supporter le langage de modélisation. Calculer l'union, l'intersection etc.
dlv et potassco
ASP n'est pas très bon pour "number crunching". Là il vaut mieux faire du SMT.
Historique
modifier1970/80 : capturer information imparfaite (base de données, programmation logique, raisonnement non-monotonique, etc.). ASP utilise ce genre d'idées. 1990 : Amalgamation et computation. Logic programming semantics : sémantique des modèles stables et bien fondés. ASP solving : stable models = well-founded semantics + branch". ASP a trois composants : langage de modélisation ; puis grounding (remplacer les variables par les termes) puis résolution.
2000 : les applications et des (re)découvertes sur les aspects sémantiques. Constructive logics: equilibrium logic. Logique here-and-there (Heyting'32, Gödel 32). etc.
2010 : intégration
Applications
modifierRobots pour logistique : 100 robots qui bougent Parler de stratégies, des boites que portent les robots Ca passe à l'échelle
Mettre un lien vers la vidéo de Torsten Schaub
Défaut d'ASP : le temps est explicite dans les prédicats, alors que ce n'est pas le cas dans temporal loic. Extensions d'ASP : temporal equilibrium logic et action languages.
Il y a des opérateurs du passé pour parler des choses déjà calculé.
Sémantique
modifierHT-models (here-and-there models), une paire (H, T) où H inclus dans T inclus dans l'ensemble des atomes. Ca peut être vu comme une structure de Kripke à 2 mondes. L'implication est l'implication intuitiste. C'est ce qui rend l'implication constructive (il faut une preuve). Gödel a aussi donné une logique à 3 valeurs.
Pour HT- temporal logic, c'est pareil sauf que c'est une structure linéaire de HT-models.
equilibrium model, truc très proche d'un modèle de McCarthy (demander à Torsten Schaub)
((T, T) satisfait phi et minimalité sur le H, ya pas de (H, T) modèle de phi H < T)