Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Colloque
Membre a labase
Mohamed Mohamed El-Menshawy : Université Concordia
La vérification des engagements sociaux est un problème complexe dans les systèmes multi-agents ouverts et hétérogènes. La vérification vise à déterminer si un protocole de communication conçus en termes d'engagements satisfait des propriétés computationnelles fondamentales telles que le non-blocage, l'évolution, l'accessibilité, etc. Durant, cette présentation, la vérification du modèle des engagements sera discutée. Cette vérification nécessite la définition du modèle formel, la spécification des propriétés sur la base de la logique formelle des engagements, et les algorithmes de vérification. La complexité computationnelle de ces algorithmes sera également calculée. Une étude de cas réelle sera finalement présentée
En philosophie contemporaine, en sciences humaines et cognitives et en intelligence artificielle, le langage, la communication et l’action sont inséparables. Le langage sert à exprimer et communiquer les pensées des interlocuteurs. Par le discours, les humains agissent dans le monde. Notre colloque réunira des logiciens, linguistes, philosophes et informaticiens éminents. Les membres et collaborateurs de l’équipe de recherche sur la logique et l’informatique du discours, subventionnée par le Fonds québécois de recherche sur la société et la culture et dirigée par le professeur Daniel Vanderveken de l’UQTR, ainsi que des chercheurs indépendants feront des présentations critiques des hypothèses fondamentales de la théorie des actes de discours dans l’analyse de la communication humaine. Certains présenteront des analyses qui sont des applications de nos modèles théoriques. On parlera des développements récents en théorie des actes de discours et de la communication, théories à l’élaboration desquelles travaillent activement les conférenciers. Les communications seront regroupées selon trois axes : le premier axe, actes de discours et philosophie, regroupe des communications en philosophie du langage et de l’esprit; le second axe, informatique, analyse des langues naturelles et communication, concerne la modélisation informatique de l’usage du langage en interaction; le troisième, analyse du discours et des interactions discursives, concerne le traitement des langues naturelles.
Thème du congrès 2014 (82e édition) :
Thème du colloque :
Responsables :
Date :
13 mai 2014
Titre du colloque :
Thème du colloque :
