Logique Internet

Le groupe concentre ses recherches sur : les techniques de Web sémantique, les règles administratives, (Policy) RuleML, les systèmes d'approvisionnement des stocks et de raisonnement pour appuyer les processus opérationnels.

Les objectifs du groupe de logique Internet se répartissent en deux grands domaines : les règles de logique opérationnelle et le cybermarché. Nous cherchons à mettre au point et à appliquer des outils logiques pour exprimer et renforcer les intentions des partenaires d'affaires quant ils délèguent l'activité économique à des agents électroniques. Cela exige la sémantique précise des langages logiques afin d'exprimer les intentions des intervenants avant que ceux-ci puissent faire confiance à leurs agents électroniques et leur déléguer des tâches. Dans ces deux grands domaines, nous voyons quatre pistes principales : (1) promouvoir RuleML en tant que langage de représentation des connaissances et de raisonnement sur tout le web; (2) permettre aux partenaires d'affaires de préciser quelles transactions ils prévoient permettre et dans quelles conditions; (3) guider des partenaires potentiels au moyen d'interactions leur permettant d'établir des compétences et de répondre aux critères d'admissibilité fixés par les autres partenaires; et (4) aider les utilisateurs à créer des descriptions logiques des politiques, en s'assurant de façon interactive que celles-ci correspondent aux intentions des utilisateurs. À l'intérieur de ces quatre voies avec des objectifs à long terme, nous avons établi des objectifs à court terme afin de livrer des prototypes.

De plus, nous évaluons et cherchons à créer (5) des cybermarchés qui offrent des protocoles riches afin d'exprimer les intentions d'affaires aux éventuels partenaires, plus précisément pour partager l'information probabiliste et temporelle à propos des offres : ce qu'elles sont susceptibles d'être et quand les offres exactes seront échangées.

Ces objectifs offrent une solution de bout en bout qui permet d'aider les intervenants à créer des politiques logiques, d'évaluer une situation donnée quant au respect de la politique et d'aider les intervenants à appliquer de façon interactive la politique à leur situation.

Les recherches du groupe de logique Internet ont permis :

• de mettre sur pied un cours de second cycle universitaire offert avec succès à l'automne 2002 à la faculté d'informatique de l'Université du Nouveau-Brunswick (CS6999 Techniques de web sémantique).
• de publier un numéro spécial de Computational Intelligence (Blackwell Publishing), une revue internationale d'avant-garde qui favorise et stimule la recherche dans le domaine de l'intelligence artificielle. Le numéro 4 du volume 18 est intitulé Agent Technologies for Electronic Commerce (technologies agents pour le commerce électronique) et contient 11 articles choisis parmi 21 soumissions. Certaines des soumissions étaient des travaux complémentaires à un atelier sur les nouvelles applications des agents de commerce électronique, qui a eu lieu à Ottawa dans le cadre d'AI 2000, la conférence canadienne sur l'intelligence artificielle.
• de mettre sur pied BASeWEB (Business Agents and the Semantic Web), un atelier offert dans le cadre d'AI 2002, la conférence canadienne sur l'intelligence artificielle tenue à Calgary. Comptant neuf présentations, cet atelier s'est avéré un succès.
• de copublier, en collaboration avec Robin Cohen (Waterloo), des actes d'AI 2002, la conférence canadienne sur l'intelligence artificielle tenue à Calgary, publiés par Springer Verlag dans la série Lecture Notes in Computer Science, numéro 2338.

Les recherches du groupe de logique Internet pourraient avoir les impacts et les avantages suivants :
Les transactions électroniques interentreprises et de détail font transiter chaque année des milliards de dollars en biens, en services et en monnaie virtuelle, mais il est généralement reconnu que cette industrie ne réalise pas son plein potentiel. Le groupe Logique Internet travaille en vue d'offrir des systèmes opérationnels qui (1) aident un partenaire d'affaires à exprimer précisément les critères auxquels d'autres partenaires et transactions devront se soumettre et (2) choisissent les transactions qui améliorent le mieux son utilité. Cette proposition devrait avoir un impact sur plusieurs domaines de recherche, y compris le génie logiciel de systèmes informatiques logiques, les logiques pour les politiques de commerce électronique et les protocoles de négociation électronique.

Le groupe travaille à établir des normes avec OASIS et W3C pour les langages de règles afin d'exprimer la politique opérationnelle et créer simultanément des prototypes de soutien de ces applications d'affaires. Nous préconisons l'utilisation de RuleML comme base de ces langages.

Les compétences clés du groupe de recherche en apprentissage électronique sont :
la logique, le web sémantique, les services web, la théorie de la décision, la théorie de l'utilité, les moteurs d'inférence, les systèmes d'explications, les règles de protection des renseignements personnels, XML, RDF.

Informations supplémentaires

• Laboratoire : Le Laboratoire de Web sémantique (SemWebLab)
• Laboratoire : Le Laboratoire des systèmes axés sur les services (S.A.S.)
• Programme de recherche en application intelligentes pour l'internet
• Publications

Personne-ressource

Dr. Bruce Spencer
Agent de recherches
Logique Internet
Institut de technologie de l'information du CNRC
46, promenade Dineen
Fredericton, NB E3B 9W4
Téléphone : +1 (506) 444-0384
Courriel : Bruce.Spencer@nrc-cnrc.gc.ca

Personne-ressource pour les affaires

Marc-Alain Mallet
Agent de développement commercial
Bureau de développement commercial, Atlantique
Institut de technologie de l'information du CNRC
46, promenade Dineen
Fredericton, NB E3B 9W4
Téléphone : +1 (506) 444-0394
Télécopieur : +1 (506) 452-3859
Courriel : Marc-Alain.Mallet@nrc-cnrc.gc.ca