Discussion:Answer set programming

Autres discussions [liste]

Admissibilité
Neutralité
Droit d'auteur
Article de qualité
Bon article
Lumière sur
À faire
Archives
Commons

	Tâches à accomplir pour Answer set programming	aide
	Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie DLV ⇒ Quelques explications pour effectuer ces corrections. -- 7 juin 2018 à 17:23 (CEST) Votre aide est la bienvenue pour corriger les arguments inconnus dans les appels de modèle, présents dans l'article : Modèle {{ Ouvrage }} : l'argument « `dernière Baral <!--PARAMETRE '1' N'EXISTE PAS -->` » ne fait pas partie des arguments gérés par le modèle {{ Ouvrage }} (dans l'en-tête) Modèle {{ Ouvrage }} : l'argument « `dernière Gelfond <!--PARAMETRE '1' N'EXISTE PAS -->` » ne fait pas partie des arguments gérés par le modèle {{ Ouvrage }} (dans l'en-tête) Modèle {{ Ouvrage }} : l'argument « `editor1 et unième=Frank <!--PARAMETRE 'editor1 et unième' N'EXISTE PAS -->` » ne fait pas partie des arguments gérés par le modèle {{ Ouvrage }} (dans l'en-tête) Modèle {{ Ouvrage }} : l'argument « `editor1-dernière=van Harmelen <!--PARAMETRE 'editor1-dernière' N'EXISTE PAS -->` » ne fait pas partie des arguments gérés par le modèle {{ Ouvrage }} (dans l'en-tête) Modèle {{ Ouvrage }} : l'argument « `editor2 et unième=Vladimir <!--PARAMETRE 'editor2 et unième' N'EXISTE PAS -->` » ne fait pas partie des arguments gérés par le modèle {{ Ouvrage }} (dans l'en-tête) Modèle {{ Ouvrage }} : l'argument « `editor2-dernière=Lifschitz <!--PARAMETRE 'editor2-dernière' N'EXISTE PAS -->` » ne fait pas partie des arguments gérés par le modèle {{ Ouvrage }} (dans l'en-tête) Modèle {{ Ouvrage }} : l'argument « `editor3 et unième=Bruce <!--PARAMETRE 'editor3 et unième' N'EXISTE PAS -->` » ne fait pas partie des arguments gérés par le modèle {{ Ouvrage }} (dans l'en-tête) Modèle {{ Ouvrage }} : l'argument « `editor3-dernière=Porter <!--PARAMETRE 'editor3-dernière' N'EXISTE PAS -->` » ne fait pas partie des arguments gérés par le modèle {{ Ouvrage }} (dans l'en-tête) -- 7 août 2021 à 09:59 (CEST)

Points à améliorer[modifier le code]

Je 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)[répondre]

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.

JPLeRouzic (discuter) 30 octobre 2016 à 10:01 (CET)[répondre]

Liste d'idées et de points à rajouter à l'article[modifier le code]

Applications

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[modifier le code]

1970/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[modifier le code]

Robots 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[modifier le code]

HT-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)