Bon, bah on va essayer d'expliquer tout ça clairement...
Je bosse actuellement sur les problèmes d'ordonnancement automatique des tâches.
J'ai réussi à faire un plan d'action, représenté comme un enchaînement d'opérateurs atomiques, et pour le moment j'en suis à éxécuter le plan, à vérifier si tout va bien et à changer de stratégie en cas d'exception, minimum local ou autre.
J'aimerais passer à la tâche d'avant, c'est à dire la concéption du plan d'action.
En fait ce qui me pose problème c'est surtout comment exprimer le but à atteindre et tout ce qui concerne la mesure du contexte... sachant que j'essaie de faire un modèle le plus générique possible.
Il y a des travaux sympas mais je n'ai trouvé que des choses très spécialisées...
S'il y a des idées, des conseils, des liens, des références ou autre je suis preneur.
Merci  

Bon je vais essayer de lâcher plus de précisions...
J'ai réussi à définir la notion d'opérateur.
Je connais mes opérateurs que je réunis dans un éspace (un éspace d'opérateur étant lié au domaine applicatif).
A l'heure actuelle, je définis mon plan d'action comme tous les echaînements possibles entre opérateurs. Je pondère ensuite la crédibilité d'un enchaînement par apprentissage pour au final séléctionner le chemin le plus crédible.
Mon problème est que je vais me retrouver avec un nombre de combinaison factoriel... et plus mon univers des opérateurs sera grand, et plus je tenderais vers the ultimate gas machine...
Donc mon idée et de commencer par une première phase de séléction des opérateurs les plus crédibles, puis de ne créer que les enchaînements compatibles (par exemple type de donnée en sortie/type de données en entrée).
Mon problème est que je ne sais pas mettre 1 nom sur ce problème (planification, planificateur, planifieur etc.)
 
Donc avis, refs, link etc. seront les bienvenus

Soar ?
 
Deuxième lien sur Google : http://www.eecs.umich.edu/~soar/

Apparement ils parlents d'agents intelligents, c'était pas trop mon but...
Mais bon, je lirais les proceedings demain, de toutes façons ce n'est pas à jeter c'est sûr, merci pour l'info

Il y a ça dans ce cas : http://www.cs.washington.edu/ai/ucpop.html
 
Ou plustot le nouveau truc qui le remplace.

Merci gars , tu viens de me trouver de la lecture pour la semaine

Ce que je cherche ressemblerait d'ailleurs pas mal à ça:
http://www.irit.fr/ACTIVITES/EQ_TC [...] fieur.html

Je sais pas si ça a un rapport, mais y'a un truc qui s'appelle Cheddar à Brest, qui fait de l'ordonnançabilité.  
 
C'est probablement en bloatware dedans.

merci pour l'info, j'ai été voir: c'est en fait un contrôle de contraintes pour les systèmes temps réél...
c'est à priori pas exactement ce dont je parle, mais par contre ça peut être pas mal pour avoir des idées sur comment exprimer un ordonnancement (car en fait c'est cette partie là que je voudrais automatiser)

bon j'ai réussi à formaliser tout ce que je voulais
le modèle est fait, le principe aussi
par contre, je me retrouve confronté à:
. comment mesurer la crédibilité d'un opérateur?
. par rapport à quoi?
. comment mesurer la crédibilité d'un enchaînement donné d'opérateurs?
. par rapport à quoi?
 
en gros il faut introduire des notions de contextes
comment on mesure un contexte