Partenaires
Rechercher
Navigation
Accueil du site > Français > Thèmes de recherche > Thème 4 - Raisonnement et décision > Equipe LILaC
Equipe LILaC
Logique, Interaction, Langue, et Calcul
Responsable : Philippe Balbiani
Problématique
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 (...)
Sous-rubriques :