Equipe LILaC
Logique, Interaction, Langue, et Calcul
Responsable : Philippe Balbiani
L’équipe LILaC étudie des modèles formels de l’interaction, où interaction comprend à la fois des actions physiques et linguistiques (actes de langage). LILaC a adopté une approche normative, et focalise sur des modèles de la logique formelle, en intégrant : la sémantique du contenu des actions linguistiques (sémantique formelle),
une logique de l’action intégrant la théorie des actes de langage,
une théorie des états mentaux (logique épistémique, logique de l’intention),
des théories de la structure de l’interaction : (...)
Sous-rubriques :
