Author: "Longin, Dominique" / Database: OpenAIRE - Searchworks@Jio Institute Digital Library Search Results

Your search keyword '"Longin, Dominique"' showing total 63 results

Start Over Author "Longin, Dominique" Database OpenAIRE

63 results on '"Longin, Dominique"'

1. An introduction to cognitive planning

Author: Fernandez Davila, Jorge Luis, Longin, Dominique, Lorini, Emiliano, Maris, Frédéric, Longin, Dominique, and APPEL À PROJETS GÉNÉRIQUE 2018 - Planification Cognitive dans la Communication Persuasive Multimodale - - CoPains2018 - ANR-18-CE33-0012 - AAPG2018 - VALID
Subjects: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO]
Published: 2022

2. Actes CNIA 2022 : Conférence Nationale d'Intelligence Artificielle

Author: Bouraoui, Zied, Camps, Valérie, Gaussier, Éric, Guériau, Maxime, Launois, Christelle, Prcovic, Nicolas, Rouveirol, Céline, Saïs, Fatiha, Schwarzentruber, François, Wilczynski, Anaelle, Demazeau, Yves, Guyet, Thomas, Longin, Dominique, Monticolo, Davy, Samet, Ahmed, Centre de Recherche en Informatique de Lens (CRIL), Université d'Artois (UA)-Centre National de la Recherche Scientifique (CNRS), Université d'Artois (UA), Systèmes Multi-Agents Coopératifs (IRIT-SMAC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse Capitole (UT Capitole), Université Fédérale Toulouse Midi-Pyrénées, Université Toulouse III - Paul Sabatier (UT3), Laboratoire d'Informatique de Grenoble (LIG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA), Equipe Systèmes de Transport Intelligent (STI - LITIS), Laboratoire d'Informatique, du Traitement de l'Information et des Systèmes (LITIS), Université Le Havre Normandie (ULH), Normandie Université (NU)-Normandie Université (NU)-Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Institut national des sciences appliquées Rouen Normandie (INSA Rouen Normandie), Institut National des Sciences Appliquées (INSA)-Normandie Université (NU)-Institut National des Sciences Appliquées (INSA)-Université Le Havre Normandie (ULH), Institut National des Sciences Appliquées (INSA)-Normandie Université (NU)-Institut National des Sciences Appliquées (INSA), Institut national des sciences appliquées Rouen Normandie (INSA Rouen Normandie), Institut National des Sciences Appliquées (INSA)-Normandie Université (NU), Société Générale, COntraintes, ALgorithmes et Applications (COALA), Laboratoire d'Informatique et Systèmes (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique de Paris-Nord (LIPN), Université Paris 13 (UP13)-Institut Galilée-Université Sorbonne Paris Cité (USPC)-Centre National de la Recherche Scientifique (CNRS), Données et Connaissances Massives et Hétérogènes (LRI) (LaHDAK - LRI), Laboratoire de Recherche en Informatique (LRI), CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Mathématiques et Informatique pour la Complexité et les Systèmes (MICS), CentraleSupélec-Université Paris-Saclay, Centre National de la Recherche Scientifique (CNRS), Artificial Evolution and Computational Biology (BEAGLE), Laboratoire d'InfoRmatique en Image et Systèmes d'information (LIRIS), Université Lumière - Lyon 2 (UL2)-École Centrale de Lyon (ECL), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Centre National de la Recherche Scientifique (CNRS)-Université Lumière - Lyon 2 (UL2)-École Centrale de Lyon (ECL), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Centre National de la Recherche Scientifique (CNRS)-Inria Lyon, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Logique, Interaction, Langue et Calcul (IRIT-LILaC), Equipe de Recherche sur les Processus Innovatifs (ERPI), Université de Lorraine (UL), Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie (ICube), École Nationale du Génie de l'Eau et de l'Environnement de Strasbourg (ENGEES)-Université de Strasbourg (UNISTRA)-Institut National des Sciences Appliquées - Strasbourg (INSA Strasbourg), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Les Hôpitaux Universitaires de Strasbourg (HUS)-Centre National de la Recherche Scientifique (CNRS)-Matériaux et Nanosciences Grand-Est (MNGE), Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de la Santé et de la Recherche Médicale (INSERM)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de la Santé et de la Recherche Médicale (INSERM)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)-Réseau nanophotonique et optique, Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS), Demazeau, Yves, Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), and ANR-19-P3IA-0003,MIAI,MIAI @ Grenoble Alpes(2019)
Subjects: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Published: 2022

3. Actes CNIA 2022 : 25ème Conférence Nationale d’Intelligence Artificielle

Author: Bouraoui, Zied, Camps, Valérie, Gaussier, Éric, Guériau, Maxime, Launois, Christelle, Prcovic, Nicolas, Rouveirol, Céline, Saïs, Fatiha, Schwarzentruber, François, Wilczynski, Anaelle, Demazeau, Yves, Guyet, Thomas, Longin, Dominique, Monticolo, Davy, Samet, Ahmed, Centre de Recherche en Informatique de Lens (CRIL), Université d'Artois (UA)-Centre National de la Recherche Scientifique (CNRS), Université d'Artois (UA), Systèmes Multi-Agents Coopératifs (IRIT-SMAC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Université Toulouse III - Paul Sabatier (UT3), Laboratoire d'Informatique de Grenoble (LIG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA), Equipe Systèmes de Transport Intelligent (STI - LITIS), Laboratoire d'Informatique, du Traitement de l'Information et des Systèmes (LITIS), Université Le Havre Normandie (ULH), Normandie Université (NU)-Normandie Université (NU)-Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Institut national des sciences appliquées Rouen Normandie (INSA Rouen Normandie), Institut National des Sciences Appliquées (INSA)-Normandie Université (NU)-Institut National des Sciences Appliquées (INSA)-Université Le Havre Normandie (ULH), Institut National des Sciences Appliquées (INSA)-Normandie Université (NU)-Institut National des Sciences Appliquées (INSA), Institut national des sciences appliquées Rouen Normandie (INSA Rouen Normandie), Institut National des Sciences Appliquées (INSA)-Normandie Université (NU), Société Générale, COntraintes, ALgorithmes et Applications (COALA), Laboratoire d'Informatique et Systèmes (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique de Paris-Nord (LIPN), Université Paris 13 (UP13)-Institut Galilée-Université Sorbonne Paris Cité (USPC)-Centre National de la Recherche Scientifique (CNRS), Données et Connaissances Massives et Hétérogènes (LRI) (LaHDAK - LRI), Laboratoire de Recherche en Informatique (LRI), CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Mathématiques et Informatique pour la Complexité et les Systèmes (MICS), CentraleSupélec-Université Paris-Saclay, Centre National de la Recherche Scientifique (CNRS), Artificial Evolution and Computational Biology (BEAGLE), Laboratoire d'InfoRmatique en Image et Systèmes d'information (LIRIS), Université Lumière - Lyon 2 (UL2)-École Centrale de Lyon (ECL), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Centre National de la Recherche Scientifique (CNRS)-Université Lumière - Lyon 2 (UL2)-École Centrale de Lyon (ECL), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Centre National de la Recherche Scientifique (CNRS)-Inria Lyon, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Logique, Interaction, Langue et Calcul (IRIT-LILaC), Equipe de Recherche sur les Processus Innovatifs (ERPI), Université de Lorraine (UL), Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie (ICube), École Nationale du Génie de l'Eau et de l'Environnement de Strasbourg (ENGEES)-Université de Strasbourg (UNISTRA)-Institut National des Sciences Appliquées - Strasbourg (INSA Strasbourg), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Centre National de la Recherche Scientifique (CNRS)-Matériaux et nanosciences d'Alsace (FMNGE), Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de la Santé et de la Recherche Médicale (INSERM)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de la Santé et de la Recherche Médicale (INSERM)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)-Réseau nanophotonique et optique, Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS), Association Française pour l'Intelligence Artificielle (AFIA), and Institut Henri Fayol, Mines Saint-Etienne
Subjects: [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: National audience
Published: 2022

4. Bulletin de l’AFIA N° 114 (editor)

Author: Longin, Dominique, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique (CNRS), and Longin, Dominique
Subjects: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: National audience; Ce Bulletin de l’AfIA sera le dernier publié en 2021. Son dossier porte ce trimestre sur la Plate-forme Intelligence Artificielle qui s’est déroulée du 28 juin au 2 juillet 2021 à Bordeaux (PfIA 2021). Ce dossier est structuré selon trois parties. La première partie regroupe les comptes rendus relatifs aux différentes conférences hébergées par PfIA 2021. Ces conférences ne sont pas toujours les mêmes d’une année à l’autre, ce qui correspond à une volonté de l’AfIA de faire des PFIA successives un événements annuel incontournable pour la communauté mais sachant évoluer et se renouveler. En 2021, les conférences qui étaient présentes étaient : APIA, CNIA, IC, JFPDA, JFSMA, JIAF, et RJCIA. La seconde partie du dossier regroupe un compte rendu des journées qui se sont déroulées pendant PfIA 2021 en partenariat avec d’autres institutions : « Jeux et IA » (en partenariat avec le Groupe de Travail IA des jeux du GDR IA du CNRS) ; « Santé et IA » (en partenariat avec l’Association française d’Informatique Médicale) ; « Défense et IA » (en partenariat avec l’ONERA). La troisième partie regroupe une présentation des trois prix de thèse décernés par l’AfIA et récompensant des travaux de thèse brillants dans le domaine de l’IA. Cette année, le 1er prix a été décerné à Erwan LECARPENTIER (ISAE-SUPAERO, ONERA, Université de Toulouse) pour sa thèse intitulée « Apprentissage par renforcement en environnement non stationnaire ». Deux prix Accessits ex-æquo ont été décernés à Thibault GROUEIX (LIGM, École Nationale des Ponts et Chaussées) pour sa thèse « Reconstruction et correspondance de formes par apprentissage » et à Romain WALLON (LIX, École Polytechnique), pour sa thèse « Raisonnement à partir de contraintes pseudo-booléennes et compilation ». Ce Bulletin inclut également le compte rendu de la journée nationale PDIA 2021, co-organisée par l’AfIA et le GDR IA, et qui s’est déroulée le 8 avril 2021 et dont le thème était « Explicabilité des systèmes d’IA ». Enfin, comme c’est la tradition, nous publions en fin de Bulletin une liste de thèses soutenues durant le trimestre dans le domaine de l’IA. Cette liste n’est probablement pas complète, et c’est l’occasion pour nous de vous inciter à nous faire connaître les différentes thèses soutenues dans vos établissements.
Published: 2021

5. TouIST, a Teacher-and Student-Friendly Language for Propositional Logic and Discrete Mathematics

Author: Gasquet, Olivier, Longin, Dominique, Lorini, Emiliano, Maris, Frédéric, Pierre, Régnier, Soloviev, Sergei, Longin, Dominique, APPEL À PROJETS GÉNÉRIQUE 2018 - Planification Cognitive dans la Communication Persuasive Multimodale - - CoPains2018 - ANR-18-CE33-0012 - AAPG2018 - VALID, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (IRIT-ADRIA), Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), and ANR-18-CE33-0012,CoPains,Planification Cognitive dans la Communication Persuasive Multimodale(2018)
Subjects: SAT Solver, [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], TouIST, Propositional logic, Education & Training, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: International audience; This work deals with logical formalization and problem solving using automated solvers. We present the automatic translator TouIST that provides a simple language to generate logical formulas from a problem description. Our tool allows us to model many static or dynamic combinatorial problems. All this can be very helpful as a teaching support for logics and discrete mathematics. Users will benefit from the regular improvements of SAT, QBF or SMT solvers in order to solve concrete logical and combinatorial problems efficiently, e.g., different classes of planning tasks in Artificial Intelligence.
Published: 2021

6. A Logical Modeling of the Yōkai Board Game

Author: Longin, Dominique, Lorini, Emiliano, Maris, Frédéric, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique (CNRS), Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (IRIT-ADRIA), ANR, IRIT - Institut de recherche en informatique de Toulouse, ANR-18-CE33-0012,CoPains,Planification Cognitive dans la Communication Persuasive Multimodale(2018), Université Toulouse 1 Capitole (UT1)-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1)-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Longin, Dominique, and APPEL À PROJETS GÉNÉRIQUE 2018 - Planification Cognitive dans la Communication Persuasive Multimodale - - CoPains2018 - ANR-18-CE33-0012 - AAPG2018 - VALID
Subjects: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: We present an epistemic language for representing an artificial player's beliefs and actions in the context of the Yōkai board game. Yōkai is a cooperative game which requires a combination of Theory of Mind (ToM), temporal and spatial reasoning to be played effectively by an artificial agent. We show that the language properly accounts for these three dimensions and that its satisfiability problem is NP-complete. This opens up the possibility of exploiting SAT techniques for automating reasoning of an artificial player in the context of the Yōkai board-game. We present the language as well as the initial beliefs and axioms of construction of the next epistemic state of the artificial player., Nous présentons un langage épistémique pour représenter les croyances et les actions d'un joueur artificiel dans le contexte du jeu de plateau Yōkai. Yōkai est un jeu coopératif qui nécessite une combinaison de théorie de l'esprit (ToM), de raisonnement temporel et spatial pour être joué efficacement par un agent artificiel. Nous montrons que le langage rend bien compte de ces trois dimensions et que son problème de satisfiabilité est NP-complet. Cela ouvre la possibilité d'exploiter les techniques SAT pour automatiser le raisonnement d'un joueur artificiel dans le cadre du jeu de société Yōkai. Nous présentons le langage ainsi que les croyances initiales et les axiomes de construction de l'état épistémique suivant du joueur artificiel.
Published: 2020

7. Manipulation in Majoritarian Goal-based Voting

Author: Novaro, Arianna, Grandi, Umberto, Longin, Dominique, Lorini, Emiliano, Longin, Dominique, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, and Centre National de la Recherche Scientifique (CNRS)
Subjects: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: In goal voting, agents express themselves on binary questions using propositional logic formulas. The individual goals are aggregated by a function that calculates the collective decision as a set of ratings. Having agents motivated by individual goals naturally leads to strategic voting situations, where an agent can achieve a better result by declaring an insincere goal. Since majority is one of the best-known rules used to make collective decisions, we study three of its variants in the context of voting by goals. We study manipulation for these rules in general, as well as for a limited set of strategic actions or restrictions on goal language. We also establish the computational complexity so that an agent can find a manipulation., Dans le vote par buts les agents s'expriment sur des questions binaires grâce à des formules de logique propositionnelle. Les buts individuels sont agrégés par une fonction qui calcule la décision collective comme un ensemble d'évaluations. Avoir des agents motivés par des buts individuels amène naturellement à des situations de vote stratégique, où un agent peut obtenir un meilleur résultat en déclarant un but insincère. La majorité étant une des règles les plus connues utilisées pour prendre des décisions collectives, nous étudions trois de ses variantes dans le cadre du vote par buts. Nous étudions la manipulation pour ces règles en général, ainsi que pour un ensemble limité d'actions stratégiques ou des restrictions sur le langage des buts. Nous établissons aussi la complexité computationnelle pour qu'un agent puisse trouver une manipulation.
Published: 2019

8. Croyance, temps et espace : un langage pour le jeu de plateau Yōkai

Author: Longin, Dominique, Lorini, Emiliano, Maris, Frédéric, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique (CNRS), Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (IRIT-ADRIA), and ANR-18-CE33-0012,CoPains,Planification Cognitive dans la Communication Persuasive Multimodale(2018)
Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], ComputingMilieux_MISCELLANEOUS, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: International audience; .; .
Published: 2020

9. A Logical Modeling of the Yōkai Board Game

Author: Longin, Dominique, Lorini, Emiliano, Maris, Frédéric, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1)-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1)-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées, Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (IRIT-ADRIA), ANR, IRIT - Institut de recherche en informatique de Toulouse, and ANR-18-CE33-0012,CoPains,Planification Cognitive dans la Communication Persuasive Multimodale(2018)
Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: We present an epistemic language for representing an artificial player's beliefs and actions in the context of the Yōkai board game. Yōkai is a cooperative game which requires a combination of Theory of Mind (ToM), temporal and spatial reasoning to be played effectively by an artificial agent. We show that the language properly accounts for these three dimensions and that its satisfiability problem is NP-complete. This opens up the possibility of exploiting SAT techniques for automating reasoning of an artificial player in the context of the Yōkai board-game. We present the language as well as the initial beliefs and axioms of construction of the next epistemic state of the artificial player.; Nous présentons un langage épistémique pour représenter les croyances et les actions d'un joueur artificiel dans le contexte du jeu de plateau Yōkai. Yōkai est un jeu coopératif qui nécessite une combinaison de théorie de l'esprit (ToM), de raisonnement temporel et spatial pour être joué efficacement par un agent artificiel. Nous montrons que le langage rend bien compte de ces trois dimensions et que son problème de satisfiabilité est NP-complet. Cela ouvre la possibilité d'exploiter les techniques SAT pour automatiser le raisonnement d'un joueur artificiel dans le cadre du jeu de société Yōkai. Nous présentons le langage ainsi que les croyances initiales et les axiomes de construction de l'état épistémique suivant du joueur artificiel.
Published: 2020

10. Formalisation de systèmes d'agent cognitif, de la confiance et des émotions

Author: Ben-Naim, Jonathan, Longin, Dominique, Lorini, Emiliano, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, and Centre National de la Recherche Scientifique (CNRS)
Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], ComputingMethodologies_ARTIFICIALINTELLIGENCE, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: International audience; A cognitive agent is an agent characterized by properties that are generally attributed to humans. Cognition is viewed here as a general mechanism of reasoning (in contrast with reactive agents) about knowledge. Such agents can perceive their environment, reason about fact or epistemic states of other agents, have a decision making process, etc. This article presents the main concepts used in cognitive agents formalizations, and speak about two particular concepts related to humans: trust and emotion. The language used for cognitive agents is here a logical language because it particularly fits well for both knowledge representation and reasoning formalization. But, even if trust and emotion can be both easily formalized by logical languages, we show that some numerical models are also well adapted.
Published: 2020

11. Manipulation dans le vote majoritaire basé sur des objectifs

Author: Novaro, Arianna, Grandi, Umberto, Longin, Dominique, Lorini, Emiliano, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, and Centre National de la Recherche Scientifique (CNRS)
Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: International audience; In goal voting, agents express themselves on binary questions using propositional logic formulas. The individual goals are aggregated by a function that calculates the collective decision as a set of ratings. Having agents motivated by individual goals naturally leads to strategic voting situations, where an agent can achieve a better result by declaring an insincere goal. Since majority is one of the best-known rules used to make collective decisions, we study three of its variants in the context of voting by goals. We study manipulation for these rules in general, as well as for a limited set of strategic actions or restrictions on goal language. We also establish the computational complexity so that an agent can find a manipulation.; Dans le vote par buts les agents s'expriment sur des questions binaires grâce à des formules de logique propositionnelle. Les buts individuels sont agrégés par une fonction qui calcule la décision collective comme un ensemble d'évaluations. Avoir des agents motivés par des buts individuels amène naturellement à des situations de vote stratégique, où un agent peut obtenir un meilleur résultat en déclarant un but insincère. La majorité étant une des règles les plus connues utilisées pour prendre des décisions collectives, nous étudions trois de ses variantes dans le cadre du vote par buts. Nous étudions la manipulation pour ces règles en général, ainsi que pour un ensemble limité d'actions stratégiques ou des restrictions sur le langage des buts. Nous établissons aussi la complexité computationnelle pour qu'un agent puisse trouver une manipulation.
Published: 2019

12. Strategic Majoritarian Voting with Propositional Goals

Author: Novaro, Arianna, Grandi, Umberto, Longin, Dominique, Lorini, Emiliano, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique (CNRS), and Lorini, Emiliano
Subjects: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], Knowledge Repre- sentation, Preference Modeling, Computational Social Choice, Strategic Voting, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: International audience; We study strategic behaviour in goal-based voting, where agents take a collective decision over multiple binary issues based on their individual goals (expressed as propositional formulas). We focus on three generalizations of the issue-wise majority rule, and study their resistance to manipulability in the general case, as well as for restricted languages for goals. We also study how computationally hard it is for an agent to know if they can profitably manipulate.
Published: 2019

13. Better emotion modeling by taking into account environment factors and human profiles in crisis situations

Author: Diallo, Azise, Longin, Dominique, Ho, Tuong Vinh, Institut de la francophonie pour l'informatique (IFI), Agence universitaire de la francophonie, Vietnam National University [Hanoï] (VNU), Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique (CNRS), Unité de modélisation mathématique et informatique des systèmes complexes [Bondy] (UMMISCO), Institut de Recherche pour le Développement (IRD [France-Nord])-Institut de la francophonie pour l'informatique-Université Cheikh Anta Diop [Dakar, Sénégal] (UCAD)-Université Gaston Bergé (Saint-Louis, Sénégal)-Université Cadi Ayyad [Marrakech] (UCA)-Université de Yaoundé I-Sorbonne Université (SU), Institut de Recherche pour le Développement (IRD), and Sorbonne Université (SU)
Subjects: evacuation, Index Terms-emotion, emotion, simulation, agent-based model, crisis evacuation, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, social relationships, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: International audience; Crisis investigation reports revealed a gap between existing security measures and the actual behaviour of victims, especially related to their emotional states. We propose a new mathematical model of emotion for simulating human behaviours in crisis situations. The model takes into account various environmental situations (static or dynamic) and the profiles of the people involved. It is more close to findings in psycho-physiological studies of emotion and allows to make the evacuation simulation more realistic. The entire theoretical model has been implemented and evaluated in the IDE R-Studio and the agent-based GAMA simulation platform. The obtained results outperform the results presented in the related work.
Published: 2019

14. Bulletin de l'AFIA No. 104 (editor)

Author: Longin, Dominique, Grélaud, Françoise, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, and Centre National de la Recherche Scientifique (CNRS)
Subjects: [INFO]Computer Science [cs], [INFO] Computer Science [cs]
Abstract: Diffusion scientifique. https://afia.asso.fr/les-bulletins/; National audience
Published: 2019

15. Goal-Based Collective Decisions: Axiomatics and Computational Complexity (IJCAI 2018)

Author: Novaro, Arianna, Grandi, Umberto, Longin, Dominique, Lorini, Emiliano, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, and Centre National de la Recherche Scientifique (CNRS)
Subjects: [INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA], Computational Social Choice, Knowledge Representation and Game Theory, Agent-based and Multi-agent Systems, Voting, Social Choice, Knowledge Representation and Reasoning
Abstract: 27th International Joint Conference on Artificial Intelligence (IJCAI-ECAI-18), joint with the the 23rd European Conference on Artificial Intelligence; International audience; We study agents expressing propositional goals over a set of binary issues to reach a collective decision. We adapt properties and rules from the literature on Social Choice Theory to our setting, providing an axiomatic characterisation of a majority rule for goal-based voting. We study the computational complexity of finding the outcome of our rules (i.e., winner determination), showing that it ranges from Nondeterministic Polynomial Time (NP) to Probabilistic Polynomial Time (PP).
Published: 2018

16. From Individual Goals to Collective Decisions

Author: Novaro, Arianna, Grandi, Umberto, Longin, Dominique, Lorini, Emiliano, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique (CNRS), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), and Institut National Polytechnique de Toulouse - INPT (FRANCE)
Subjects: Computational complexity, Social choice theory, [INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA], Système multi-agents, Judgment aggregation, Preference representation
Abstract: National audience; We introduce the problem of aggregating the individual goals of a group of agents to find a collective decision. Goals are represented by propositional formulas on a finite set of binary issues. We define some rules for carrying out the aggregation of goals and we show how to adapt axiomatic properties from the literature on Social Choice Theory to this setting. The type of problems we are interested in studying for our rules are axiomatic characterizations, as well as the computational complexity of computing the outcome.
Published: 2018

17. Actes CNIA 2018 - Conférence Nationale d'Intelligence Artificielle

Author: Bringay, Sandra, Buffet, Olivier, Dutech, Alain, Euzenat, Jérôme, Mattioli, Juliette, Ranwez, Sylvie, Schwarzentruber, François, Thomas, Vincent, Demazeau, Yves, Longin, Dominique, ADVanced Analytics for data SciencE (ADVANSE), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), Lifelong Autonomy and interaction skills for Robots in a Sensing ENvironment (LARSEN), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Complex Systems, Artificial Intelligence & Robotics (LORIA - AIS), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Bio-Inspired, Situated and Cellular Unconventional Information Technologies (BISCUIT), Department of Complex Systems, Artificial Intelligence & Robotics (LORIA - AIS), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Evolution de la connaissance (MOEX ), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG ), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019])-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), Thales Research and Technology [Palaiseau], THALES [France], Laboratoire de Génie Informatique et Ingénierie de Production (LGI2P), IMT - MINES ALES (IMT - MINES ALES), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), École normale supérieure - Rennes (ENS Rennes), Centre de recherche sur le droit des marchés et des investissements internationaux [Dijon] (CREDIMI), Université de Bourgogne (UB)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique de Grenoble (LIG ), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), Centre National de la Recherche Scientifique (CNRS), Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), and Demazeau, Yves
Subjects: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], ComputingMilieux_MISCELLANEOUS, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Published: 2018

18. Goal-Based Collective Decisions: Axiomatics and Computational Complexity (COMSOC 2018, Troy, NY, USA)

Author: Novaro, Arianna, Grandi, Umberto, Longin, Dominique, Lorini, Emiliano, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, and Centre National de la Recherche Scientifique (CNRS)
Subjects: [INFO]Computer Science [cs]
Abstract: Poster; International audience; We study agents expressing propositional goals over a set of binary issues to reach a collective decision. We adapt properties and rules from the literature on Social Choice Theory to our setting, providing an axiomatic characterisation of a majority rule for goal-based voting. We study the computational complexity of finding the outcome of our rules (i.e., winner determination), showing that it ranges from Nondeterministic Polynomial Time (NP) to Probabilistic Polynomial Time (PP).
Published: 2018

19. Bulletin de l'AFIA No. 101 (editor)

Author: Longin, Dominique, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique (CNRS), and Grélaud, Françoise
Subjects: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: Diffusion scientifique. https://afia.asso.fr/les-bulletins/; National audience
Published: 2018

20. Bulletin de l'AFIA No. 100 (editors)

Author: Longin, Dominique, Morignot, Philippe, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique (CNRS), Robotics & Intelligent Transportation Systems (RITS), Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), and Grélaud, Françoise
Subjects: [INFO]Computer Science [cs], [INFO] Computer Science [cs]
Abstract: Diffusion scientifique. https://afia.asso.fr/les-bulletins/; National audience
Published: 2018

21. Bulletin de l’AFIA No. 99 (editor)

Author: Longin, Dominique, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique (CNRS), and Grélaud, Françoise
Subjects: [INFO]Computer Science [cs], [INFO] Computer Science [cs]
Abstract: Diffusion scientifique. https://afia.asso.fr/les-bulletins/; National audience
Published: 2018

22. Poster sur 'La logique facile avec TouIST'

Author: Gasquet, Olivier, Herzig, Andreas, Longin, Dominique, Maris, Frédéric, Valais, Maël, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique (CNRS), Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (IRIT-ADRIA), and Grélaud, Françoise
Subjects: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], TouIST (Toulouse Integrated SatisfiabilityTool), TouIST, Compilateur de langages logiques, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: Démonstrations PFIA 2017 (Poster); International audience
Published: 2017

23. TouIST again... (Formalisez et résolvez facilement des problèmes avec des solveurs SAT, SMT et QBF) (Journées d'Intelligence Artificielle Fondamentale (JIAF 2017), Caen, 03/07/17-05/07/17)

Author: Gasquet, Olivier, Herzig, Andreas, Longin, Dominique, Maris, Frédéric, Valais, Maël, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique (CNRS), and Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (IRIT-ADRIA)
Subjects: Andreas.Herzig, Dominique.Longin, Frederic.Maris, [INFO]Computer Science [cs], Mael.Valais}@irit.fr
Abstract: International audience; Depuis 2010, nous développons TouIST (qui est, historiquement, le successeur de SatToulouse, présenté pour la première fois lors de la conférence ICTTL'2011), un logiciel dédié à la logique propositionnelle dont les principales fonctionnalités sont (1) d'offrir un langage logique de haut niveau pour exprimer succinctement des formules complexes et (2) de trouver des modèles à ces formules en utilisant un solveur SAT performant. Dans ce qui suit, nous présentons une extension de TouIST à QBF (Quantified Boolean Formulas) au travers d'un exemple : le jeu de Nim. Tout d'abord, nous survolons succinctement les principales caractéristiques de TouIST et montrons comment modéliser le jeu de Nim dans le langage d'entrée de TouIST. Enfin, après une brève présentation de QBF nous montrons comment modéliser la recherche d'une stratégie gagnante dans TouIST pour ce jeu.
Published: 2017

24. Le système SESAME : Spécifier des sémantiques argumentatives (APIA 2017)

Author: Besnard, Philippe, Doutre, Sylvie, Longin, Dominique, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique (CNRS), Bringay, Sandra, and ANR-13-BS02-0004,AMANDE,Argumentation Multilatérale Avancée pour la DElibération(2013)
Subjects: argumentation, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], spécification, logique, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: International audience; Sesame is a tool which allows to specify argumentation semantics for abstract argumentation frameworks, and to tackle the verification problem : is a given set of argumentsan extension under a semantics for a given argumentation framework ? The semantics which can be specified go well beyond the range of semantics already known, and the user can indeed specify brand new semantics of her own. The system then provides a logical encoding in the form of a parametrized formula. When applied to a given subset of arguments of a given argumentation framework, the instantiated formula will be satisfiable if and only if the set is an extension for the framework according to the specified semantics.; Sesame est un système qui, dans le cadre de l'argumentation abstraite, permet de spécifier une sémantique argumentative et qui s'attaque au problème de vérification : pour un graphe d'argumentation donné, tel ou tel ensemble d'arguments constitue-t-il une extension sous la sémantique spécifiée par l'utilisateur ? Les sémantiques qui peuvent être spécifiées au travers du système Sesame ne se limitent pas aux sémantiques déjà connues, un utilisateur peut en spécifier de nouvelles. Le système Sesame fournit en sortie une représentation logique de la sémantique saisie sous la forme d'une formule paramétrée. Appliquée à un ensemble d'arguments d'un graphe d'argumentation donné, la formule instanciée va être satisfiable si et seulement si cet ensemble est une extension pour ce graphe sous la sémantique spécifiée.
Published: 2017

25. L'équipe LILaC et l'IA

Author: Longin, Dominique, Lorini, Emiliano, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique (CNRS), and Grélaud, Françoise
Subjects: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: National audience; Présentation de l'équipe LILaC dans le dossier «Présentation d’équipes de recherche Académiques »
Published: 2017

26. TouIST again... Formalisez et résolvez facilement des problèmes avec des solveurs SAT, SMT et QBF

Author: Gasquet, Olivier, Herzig, Andreas, Longin, Dominique, Maris, Frédéric, Valais, Maël, and Grélaud, Françoise
Subjects: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Andreas.Herzig, Dominique.Longin, Frederic.Maris, Mael.Valais}@irit.fr
Abstract: Depuis 2010, nous développons TouIST (qui est, historiquement, le successeur de SatToulouse, présenté pour la première fois lors de la conférence ICTTL'2011), un logiciel dédié à la logique propositionnelle dont les principales fonctionnalités sont (1) d'offrir un langage logique de haut niveau pour exprimer succinctement des formules complexes et (2) de trouver des modèles à ces formules en utilisant un solveur SAT performant. Dans ce qui suit, nous présentons une extension de TouIST à QBF (Quantified Boolean Formulas) au travers d'un exemple : le jeu de Nim. Tout d'abord, nous survolons succinctement les principales caractéristiques de TouIST et montrons comment modéliser le jeu de Nim dans le langage d'entrée de TouIST. Enfin, après une brève présentation de QBF nous montrons comment modéliser la recherche d'une stratégie gagnante dans TouIST pour ce jeu.
Published: 2017

27. Bulletin de l'AFIA No. 95 (editor)

Author: Longin, Dominique, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique (CNRS), and Grélaud, Françoise
Subjects: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], [INFO.INFO-LG] Computer Science [cs]/Machine Learning [cs.LG], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: Bulletin de l'AFIA No. 95 (editor); International audience; Au sommaire de ce nouveau Bulletin, un dossier sur l’apprentissage. Face à l’importance toujours grandissante de ce domaine de recherche et l’intérêt qu’il soulève non seulement auprès de la communauté scientifique (tant par les recherches sur ce domaine que par celles l’utilisant) mais également industrielle,l’idée était de recueillir une description des travaux menés au sein de différentes équipes sur ce thème.Il est composé d’une réflexion de Philippe MULLER sur l’apprentissage dans la continuité de PDIA2015 (journée pour la Promotion et le Développement de l’IA). Il est suivi par la présentation destravaux menés au sein de deux équipes : l’équipe Interaction Algorithme Silicium (Télécom Bretagne)développe ses travaux sur le thème de l’acquisition et la mémorisation d’informations mentales ; l’équipe Sequel (INRIA Lilles-Nord Europe) décrit ses travaux sur le thème transfert et apprentissage multi-tâches dans l’apprentissage basé sur le renforcement. Nous n’avons malheureusement pas eu d’autre réponse, certainement pour des questions de disponibilité des chercheurs en cette période chargée de fin d’année. De plus, ce dossier devait être adossé à un volet sur le thème de l’Image qu’Olivier AMI n’a malheureusement pas pu concrétiser.Ce dossier est suivi du compte-rendu de plusieurs événements : une journée Classification et IA ; une journée à l’initiative de l’AfIA et du GdR MaDICS (Masses de Données, Informations et Connaissances en Sciences) sur le thème de l’IA à l’heure des Big Data; une journée PDIA 2016 sur le thème de l’impact social de l’IA ; une journée qui se déroulait dans le cadre du groupe de travail Représentation et Algorithmes en Pratique du pré-GdR IA. Finalement, Florence BANNAY nous livre un compte-rendu du défi de l’AfIA pour la Nuit de l’Info 2016 où les concurrents étaient chargés de développer un projet entre 16h40 (moment où ils ont pris connaissance du sujet) et 8h00 du matin le lendemain marquant la fin du temps imparti. Enfin, ce bulletin vous livre les références de 65 thèses et HDR soutenues lors du dernier trimestre 2016 !
Published: 2017

28. Bulletin de l'AFIA No. 96 (editor)

Author: Longin, Dominique, Demazeau, Yves, GOUZÈNES, Laurent, Grélaud, Françoise, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique de Grenoble (LIG ), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), Comité Recherche-Innovation du MEDEF (Mouvement des entreprises de France), Laurent GOUZÈNES (président du comité Recherche-Innovation du MEDEF: Mouvement des Entreprises de France), and Yves DEMAZEAU (président de l’AfIA: Association Française pour l'Intelligence Artificielle)
Subjects: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: Bulletin de l'AFIA No. 96; National audience; À l’heure du lancement par le gouvernement de l’initiative « Stratégie nationale en IA », l’AfIA et le MEDEF ont organisé une « matinale » consacrée à l’intelligence artificielle. Le dossier de ce trimestre est donc consacré à cet événement qui a été organisé par Laurent GOUZÈNES (président du comité Recherche-Innovation du MEDEF) et par Yves DEMAZEAU (président de l’AfIA). Il s’est déroulé au siège du MEDEF en public et en présence de Pierre GATTAZ (président du MEDEF) et de Thierry MANDON (Secrétaire d’État à l’Enseignement Supérieur et à la Recherche). Les intervenants (industriels ou académiques) ont présenté leur vision du développement de l’Intelligence Artificielle en France et de ses impacts sur la croissance. Le dossier a été monté par Dominique LONGIN à partir d’une retranscription des présentations et échanges avec la salle.
Published: 2017

29. Communicating cognitive agents: modeling and formalization

Author: Longin, Dominique, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique (CNRS), Université Toulouse 3 Paul Sabatier, and Marie-Pierre Gleize
Subjects: Emotion, Agents cognitifs, Reasoning & Knowledge Representation, Action, Belief Change, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Raisonnement et représentation des connaissances, Attitudes sociales, Cognitive agents, Changement de croyances, Social Attitudes, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: This work concerns cognitive agents, i.e. agents with mental states such as belief, goal, intention, internalized norms, etc. These mental states can be about facts of the world (including laws of action), about their own mental states, or about the mental states of other agents. Cognitive agents are able to reason about all their mental states. In what follows, we first give an overview of our contribution (Chapter 2), and then more details on the three most important parts of this contribution (Chapter 3). The first part concerns individual cognitive agents; the second part concerns social concepts (that is to say the groups of agents seen in a global way); and finally, the third part concerns the modeling of emotions. In the next chapter (Chapter 4) we list the publications that are related to each part of the previous chapter.
Published: 2015

30. La honte versus la culpabilité : analyse conceptuelle et formelle en logique modale

Author: Longin, Dominique, Longin, Dominique, and CONTENUS ET INTERACTIONS - Emotions complexes dans la communication, l'interaction et le langage - - CECIL2008 - ANR-08-CORD-0005 - CONTINT - VALID
Subjects: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], Regret, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], émotions, Honte, Logique modale, Culpabilité
Abstract: Une étude de la honte présente un intérêt tant applicatif que théorique. Dans le premier cas, il s’agit de faire en sorte qu’une machine soit capable de détecter de tels sentiments chez l’usager afin de développer des stratégies palliatives et, par voie de conséquence, d’améliorer son efficacité (tutoring intelligent pas exemple). Dans le second cas, il s’agit de replacer la honte parmi les autres émotions, en étudiant non seulement ce qui fait le propre de la honte, mais également ce qui différencie cette dernière des autres émotions, en particulier la culpabilité. Après une brève présentation de ce qu’est l’émotion, le présent article présente dans un premier temps une analyse approfondie de la honte en philosophie et psychologie. Dans un second temps, un langage formel de type logique modale est présenté afin d’offrir un cadre de formalisation d’un ensemble d’émotions, dont la honte, celle-ci (et d’autres) étant ensuite formalisée au sein de ce cadre. Il en découle un cadre unifié propre à représenter des émotions simples telles que la joie ou la tristesse, ou des émotions plus complexes telles que la honte ou la culpabilité.
Published: 2012

31. L'émotion au service d'agents conversationnels animés crédibles

Author: Longin, Dominique, Longin, Dominique, and CONTENUS ET INTERACTIONS - Emotions complexes dans la communication, l'interaction et le langage - - CECIL2008 - ANR-08-CORD-0005 - CONTINT - VALID
Subjects: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO]
Abstract: Un des grands défis des Sciences et Technologies de l'Information est le développement de systèmes informatiques nouvelle génération au service des usagers. L'utilisateur est placé au centre de ces systèmes qui doivent être le plus crédibles possibles afin de maximiser leur utilisabilité. De nombreuses études montrent que leur conception n'est réalisable qu'en y intégrant une gestion avancée de l'émotion afin qu'ils puissent comprendre et s'adapter aux émotions de l'utilisateur, raisonner, planifier des actions ou anticiper leurs effets sur les émotions de l'utilisateur, ainsi que de s'exprimer émotionnellement. La plupart des systèmes actuels se cantonnent à des émotions "simples" comme la joie, la tristesse... sans considérer des émotions plus "complexes" comme le regret, la culpabilité, l'envie, la honte... De nombreux travaux montrent pourtant que les émotions dites cognitives sont étroitement liées à nos attitudes épistémiques (croyance, attentes...) ou motivationnelles (buts, désirs...). Le but de ce projet est l'étude des émotions complexes, de leur expression verbale, faciale et gestuelle, ainsi que leur intégration dans l'agent conversationnel animé GRETA.
Published: 2012

32. Les émotions complexes au service d'agents conversationnels animés crédibles

Author: Longin, Dominique, Longin, Dominique, and CONTENUS ET INTERACTIONS - Emotions complexes dans la communication, l'interaction et le langage - - CECIL2008 - ANR-08-CORD-0005 - CONTINT - VALID
Subjects: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO]
Abstract: CECIL (pour Complex Emotions in Communication, Interaction, and Language) est un projet issu du programme « Contenus et interactions », édition 2008 (ContInt 2008) de l'ANR. C'est un projet de recherche fondamentale coordonné par l'Institut de Recherche en Informatique de Toulouse (IRIT, Université de Toulouse, CNRS, INP, UT3, UT1, UT2) et qui associe également le Laboratoire d’Informatique de Grenoble (LIG : CNRS, INPG, INRIA, Université de Grenoble) ainsi que le Laboratoire Traitement et Communication de l’Information (LTCI : CNRS, TELECOM ParisTech). Il a démarré le 1er janvier 2009 pour une durée de 36 mois. Il a reçu une aide de l’ANR de 386 000 euros.
Published: 2012

33. Théorie des jeux, émotion et confiance : des sciences sociales à l'intelligence artificielle

Author: Longin, Dominique, Lorini, Emiliano, Longin, Dominique, and CONTENUS ET INTERACTIONS - Emotions complexes dans la communication, l'interaction et le langage - - CECIL2008 - ANR-08-CORD-0005 - CONTINT - VALID
Subjects: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Emotion Cognition et Comportement, Logique modale, Art
Abstract: Pour modéliser les interactions sociales, la théorie des jeux commence à prendre en compte des motivations et des émotions de plus en plus complexes, comme la confiance, la culpabilité ou la honte. De concepts utiles pour concevoir des robots proches des humains.
Published: 2011

34. L'émotion dans la cognition : vers une formalisation logique

Author: Longin, Dominique, Longin, Dominique, CONTENUS ET INTERACTIONS - Emotions complexes dans la communication, l'interaction et le langage - - CECIL2008 - ANR-08-CORD-0005 - CONTINT - VALID, and Mario Borillo
Subjects: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO]
Abstract: Le présent article n’a pas pour vocation de porter sur les relations entre art et émotion. Non qu’un tel travail manquerait d’intérêt, mais parce que la tâche semble encore bien trop complexe pour être menée à bien, du moins en l’état actuel de nos connaissances. En revanche, comme le souligne Barwell dans [2, p. 175], on ne peut comprendre ce que cela signifie que de qualifier une peinture de triste ou de reconnaître de la tristesse dans une peinture, si on ne sait pas auparavant ce que cela signifie de dire qu’une personne est triste et si on ne sait pas comment reconnaître cette tristesse. En ce sens, le présent travaille apporte une contribution à la compréhension des liens entre art et émotion : il se situe dans le cercle très restreint des travaux formels sur l’émotion, où l’on cherche aussi bien à caractériser les émotions elles-mêmes que le rôle qu’elles jouent dans le processus de raisonnement et de décision d’un individu (l’espoir étant d’appliquer ensuite ces résultats à des agents artificiels dits « intelligents »). Il s’agit de montrer qu’on est d’ores et déjà capable de capturer certains aspects des émotions. Par bien des côtés, le présent ouvrage présente également de manière plus large les travaux sur l’art, et il est permis d’avoir quelque espoir que les deux domaines soient suffisamment mûrs dans un futur très proche pour faire émerger une théorie des interactions entre l’un et l’autre. En attendant, parallèlement à cela, des recherches portant sur l’émotion se poursuivent dans le domaine de l’informatique.
Published: 2010

35. Formalisation de systèmes d’agent cognitif, de la confiance, et des émotions

Author: Ben-Naim, Jonathan, Longin, Dominique, Lorini, Emiliano, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique (CNRS), and Ben-Naim, Jonathan
Subjects: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: Editors : Pierre Marquis, Odile Papini, Henri Prade; International audience; Un agent cognitif est un agent dont la conception se fonde sur des propriétés que l'on attribue habituellement aux êtres humains. La cognition est ici vue comme un mécanisme général de gestion intelligente (par opposition à une gestion de type stimuli-réponse) de l'information : acquisition de nouvelles informations en provenance de l'environnement, raisonnement, prise de décision, etc. Cet article présente les différents concept couramment utilisés pour formaliser des agents cognitifs, puis aborde la formalisation de deux concepts particuliers en relation avec l'humain : la confiance, et l'émotion. Le formalisme présenté pour les agents cognitifs est exclusivement de type logique car c'est un outil particulièrement adapté pour représenter la connaissance et formaliser le raisonnement. En revanche, si confiance et émotion sont sans contexte des concepts d'ordre cognitif pouvant aisément être formalisés par la logique, nous montrons qu'ils peuvent (et sont) également représentés à l'aide de formalismes numériques.
Published: 2014

36. Formalisation logique de la communication non-littérale à la lumière d'aperçus pragmatiques et neuropsycholinguistiques

Author: Champagne, Maud, Faure, Rémi, Herzig, Andreas, Longin, Dominique, Nespoulous, Jean-Luc, Virbel, Jacques, Longin, Dominique, Chaib-draa, B, and Enjalbert, P.
Subjects: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO]
Published: 2001

37. The face of emotions: a logical formalization of expressive speech acts

Author: Guiraud, Nadine, Longin, Dominique, Lorini, Emiliano, Pesty, Sylvie, Rivière, Jérémy, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique de Grenoble (LIG ), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), and Pesty, Sylvie
Subjects: logic-based approaches and methods, [INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA], cognitive models, [INFO.INFO-MA] Computer Science [cs]/Multiagent Systems [cs.MA], speech act theory
Abstract: International audience; In this paper, we merge speech act theory, emotion theory, and logic. We propose a modal logic that integrates the concepts of belief, goal, ideal and responsibility and that allows to describe what a given agent expresses in the context of a conversation with another agent. We use the logic in order to provide a systematic analysis of expressive speech acts, that is, speech acts that are aimed at expressing a given emotion (e.g. to apologize, to thank, to reproach, etc.).
Published: 2011

38. Group belief and grounding in conversation

Author: Gaudou, Benoit, Herzig, Andreas, Longin, Dominique, Systèmes Multi-Agents Coopératifs (IRIT-SMAC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Centre National de la Recherche Scientifique (CNRS), Trognon, Alain and Batt, Martine and Caelen, Jean and Vernant, Denis, Grélaud, Françoise, and Trognon, Alain and Batt, Martine and Caelen, Jean and Vernant, Denis
Subjects: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], intention, mental attitudes, ComputingMilieux_MISCELLANEOUS, Grounding, belief, modal logic, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: International audience
Published: 2011

39. Logical formalization of social commitments: Application to agent communication languages (long version of AAMAS 2009)

Author: Gaudou, Benoit, Herzig, Andreas, Longin, Dominique, Unité de modélisation mathématique et informatique des systèmes complexes [Bondy] (UMMISCO), Université de Yaoundé I-Institut de la francophonie pour l'informatique-Université Cheikh Anta Diop [Dakar, Sénégal] (UCAD)-Université Gaston Bergé (Saint-Louis, Sénégal)-Université Cadi Ayyad [Marrakech] (UCA)-Sorbonne Université (SU)-Institut de Recherche pour le Développement (IRD [France-Nord]), Institut de la francophonie pour l'informatique (IFI), Agence universitaire de la francophonie, Systèmes Multi-Agents Coopératifs (IRIT-SMAC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Logique, Interaction, Langue et Calcul (IRIT-LILaC), Centre National de la Recherche Scientifique (CNRS), IRIT : Institut de Recherche Informatique de Toulouse, Grélaud, Françoise, Institut de Recherche pour le Développement (IRD [France-Nord])-Institut de la francophonie pour l'informatique-Université Cheikh Anta Diop [Dakar, Sénégal] (UCAD)-Université Gaston Bergé (Saint-Louis, Sénégal)-Université Cadi Ayyad [Marrakech] (UCA)-Université de Yaoundé I-Sorbonne Université (SU), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), and Université Fédérale Toulouse Midi-Pyrénées
Subjects: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], BDI logic, Agent communication languages, commitments, grounding, speech act theory, ComputingMethodologies_ARTIFICIALINTELLIGENCE, modal logic, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: Nowadays most of the Agent Communication Languages are no longer defined in terms of the agents' mental attitudes, but in terms of social commitments, which avoids strong hypotheses on the agents' internal states and thus allows verification of the semantics. While social approaches have attracted a lot of attention, two drawbacks remain. First, the notion of commitment does not have a clear and unambiguous characterization. Second, commitments are completely unrelated to the agents' reasoning. The aim of this paper is to propose a solution for these two problems based on a combination of a BDI (Belief, Desire, Intention) logic with a logic of what is publicly grounded between agents.
Published: 2009

40. Delegation as a communicative act: a logical analysis

Author: Longin, Dominique, Lorini, Emiliano, Nguyen, Manh Hung, Grélaud, Françoise, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Centre National de la Recherche Scientifique (CNRS), Economie des Ressources Naturelles (LERNA), and Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National de la Recherche Agronomique (INRA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)
Subjects: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], Delegation, request, speech acts, order, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], modal logic
Abstract: International audience; Delegation is one of the main determinants of coordination, joint activity and collaboration within the context of organizations. In particular, delegation is the fundamental aspect for the redistribution and for the transfer of tasks within the context of an organization, and is responsible for making organizations dynamic. We present in this paper a conceptual and formal analysis of delegation. In our approach, delegation is intrinsically a communicative act of directive type, that is a communicative act whose essential condition is to induce the hearer to perform a certain action. The concept of delegation and its essential condition will then be formalized by a logic which combines the expressiveness of dynamic logic and Standard Deontic Logic (SDL) with that of a logic of belief and choice.
Published: 2009

41. A logical framework for trust-related emotions

Author: Bonnefon, Jean-FranÃ§Ois, Longin, Dominique, Nguyen, Manh Hung, Cognition, Langues, Langage, Ergonomie (CLLE-LTC), École pratique des hautes études (EPHE), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Université Toulouse - Jean Jaurès (UT2J)-Centre National de la Recherche Scientifique (CNRS), Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, and ANR-08-CORD-0005,CECIL,Emotions complexes dans la communication, l'interaction et le langage(2008)
Subjects: 010201 computation theory & mathematics, 060302 philosophy, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], trust, distrust, 0102 computer and information sciences, 06 humanities and the arts, emotions, 0603 philosophy, ethics and religion, 01 natural sciences, B- ECONOMIE ET FINANCE, modal logic, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: Emotion and trust are two important concerns for the elaboration of interaction systems that would be closer and more attractive to their users, in particular by endowing machines with the ability to predict, understand, and process emotions and trust. This paper attempts to construct a common logical framework for the representation of emotion and trust. This logical framework combines a logic of belief and choice, a logic of time, and a dynamic logic. Using this common framework, we identify formal relations between trust and emotions, for which we also provide behavioral validation., Electronic Communications of the EASST, Volume 22: Formal Methods for Interactive Systems 2009
Published: 2009

42. The institutional dimension of speech acts: a logical approach based on the concept of acceptance

Author: Lorini, Emiliano, Longin, Dominique, Gaudou, Benoit, and Grélaud, Françoise
Subjects: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], Agent Communication Languages, Institutions, Modal Logics
Abstract: The aim of this paper is to provide an analysis of speech acts as institutional actions, where an institution is grounded on the attitudes of its members. In the first part of the paper we present a logic of acceptance, goal and action. Then, we specify how agents can create and maintain normative and institutional facts on the basis of their acceptances qua members of a certain institution. Finally, we propose a formal characterization of the speech act promise.
Published: 2008

43. A logical account of institutions: from acceptances to norms via legislators

Author: Lorini, Emiliano, Longin, Dominique, Grélaud, Françoise, Brewka, G., and Lang, J.
Subjects: power, Modal logic, legislator, institutions, [INFO.INFO-MA] Computer Science [cs]/Multiagent Systems [cs.MA], roles, acceptance
Abstract: The aim of this article is to provide a logic which supports reasoning about institutional dynamics. In our approach an institution is grounded on the acceptances of its members, and its dynamics depend on the dynamics of these acceptances. We describe the power of the role legislator to create and modify the legal level of an institution. We will also provide an analysis of two important concepts in social theory: constitutive rule and norm of competence.
Published: 2008

44. A logical framework for an emotionally aware intelligent environment (workshop on Artificial Intelligence Techniques for Ambient Intelligence, European Conference on Artificial Intelligence (AITAmI@ECAI'2006), Riva de Garda, Italy, 29/08/06-29/08/06)

Author: Adam, Carole, Gaudou, Benoit, Herzig, Andreas, Longin, Dominique, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Institut National Polytechnique (Toulouse) (Toulouse INP), Systèmes Multi-Agents Coopératifs (IRIT-SMAC), Centre National de la Recherche Scientifique (CNRS), Augusto, Juan Carlos and Shapiro, and Daniel
Subjects: BDI logic, Ambiant intelligence, LILaC, emotions, modal logic, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: International audience; In the agent community, emotional aspects receive more and more attention since they were proven to be essential for intelligent agents. Indeed, from a theoretical point of view, results from cognitive psychology and neuroscience have established the close links that exist in humans between emotions and reasoning or decision making. And from a practical point of view, numerous research findings show the interest of emotions in agents communicating with humans: interface agents, pedagogical agents... However, among the logical frameworks used to formalize these `rational agents', very few integrate these emotional aspects. In this paper, we characterize some emotions, as defined in cognitive psychology, in a BDI (Belief, Desire, Intention) modal logic. We then validate our framework with a case study illustrating the problematic of Ambient Intelligence.
Published: 2006

45. Grounding and the expression of belief

Author: Gaudou, Benoit, Herzig, Andreas, Longin, Dominique, Systèmes Multi-Agents Coopératifs (IRIT-SMAC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Centre National de la Recherche Scientifique (CNRS), Doherty, Patrick, Mylopoulos, John, Welty, Christopher A, and Grélaud, Françoise
Subjects: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], group belief, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], BDI logic, commitment, speech acts, grounding, modal logic, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: International audience; In this paper we investigate the logic of speech acts and groundedness. A piece of information is grounded for a group of agents if it is publicly expressed and established by all agents of the group. Our concept of groundedness is founded on the expression of the sincerity condition of speech act theory. We formalize groundedness within an extended BDI (Belief, Desire, Intention) logic where belief is viewed as a kind of group belief. We show that our logic permits to reconcile the mentalist approaches on the one hand, and the structural and social approaches on the other, which are the two rival research programs in the formalization of agent interaction. Although groundedness is thus linked to the standard mental attitude of belief, it is immune to the critiques that have been put forward against the mentalist approaches, viz. that they require too strong hypotheses about the agents' mental states such as sincerity and cooperation: just as the structural approaches, groundedness only bears on the public aspect of communication. In our extended BDI logic we study communication between heterogeneous agents. We characterize inform and request speech acts in terms of preconditions and effects. We demonstrate the power of our solution by means of two examples. First, we revisit the well-known FIPA Contract Net Protocol. As a second example, we show how Walton & Krabbe's commitments can be redefined in term of groundedness.
Published: 2006

46. Modélisation logique d'agents rationnels pour l'intelligence ambiante

Author: Adam, Carole, Evrard, Fabrice, Gaudou, Benoit, Herzig, Andreas, Longin, Dominique, Grélaud, Françoise, Chevrier, Vincent, and Huget, Marc-Philippe
Subjects: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], logique modale, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], émotions, intelligence ambiante
Abstract: In the agent community, emotional aspects receive more and more attention since they were proven to be essential for intelligent agents. Indeed, from a theoretical point of view, results from cognitive psychology and neuroscience have established the close links that exist in humans between emotions and reasoning (see Damasio’s works) or decision making. And from a practical point of view, numerous research findings show the interest of emotions in agents communicating with humans : interface agents, pedagogical agents, ... However, among the logical frameworks used to formalize these rational agents, very few integrate these emotional aspects. In this paper, we characterize some emotions, as defined in cognitive psychology by Lazarus, in a BDI (Belief, Desire, Intention) modal logic. We then validate our framework with a case study illustrating the problematic of Ambient Intelligence., Au sein de la communauté agent, les aspects émotionnels reçoivent de plus en plus d'attention depuis qu'il a été prouvé qu'elles sont essentielles pour des agents intelligents. En effet, d'un point de vue théorique, des résultats de psychologie et neurosciences cognitives ont établi les liens étroits qui existent chez les humains entre émotions et raisonnement (voir les travaux de Damasio) ou prise de décision. Et d'un point de vue pratique, de nombreux travaux ont montré l'intérêt des émotions chez les agents devant communiquer avec des humains : agents d'interface, tuteurs virtuels... Pourtant, parmi les cadres logiques utilisés pour formaliser des "agents rationnels", très peu intègrent ces aspects émotionnels. Dans cet article, nous caractérisons certaines émotions, telles que définies en psychologie cognitive par Lazarus, dans une logique modale BDI (Belief, Desire, Intention). Nous validons ensuite notre cadre formel grâce à l'étude d'un exemple issu de la problématique de l'Intelligence Ambiante.
Published: 2006

47. A simple logical framework for emotional agents

Author: Adam, Carole, Evrard, Fabrice, Gaudou, Benoit, Herzig, Andreas, Longin, Dominique, and Grélaud, Françoise
Subjects: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO]
Abstract: In the study of autonomous agents, emotional aspects have received more and more attention recently, due to various applications such as video games, interactive computer-aided learning, or virtual training environments. The theoretical basis of such approaches are various works in cognitive neuroscience, where the essential role of emotions in reasoning is established by now. In contrast, while frameworks such as logics of belief, desire, and intention (BDI logics) aim at the formalization of “rational agents”, only very few of them integrate emotional aspects. In this paper, based on work in psychology by Lazarus and its formalization by Ortony et al., we characterize some emotions in a BDI modal logic. More precisely we focus on how these emotions are triggered. We then apply this formalization to a short dialogue example where emotions are triggered by the performance of speech acts.
Published: 2006

48. A logical framework for an emotionally aware intelligent environment

Author: Adam, Carole, Gaudou, Benoit, Herzig, Andreas, Longin, Dominique, Grélaud, Françoise, Augusto, Juan Carlos, and Shapiro, Daniel
Subjects: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], BDI logic, Ambiant intelligence, emotions, modal logic
Abstract: In the agent community, emotional aspects receive more and more attention since they were proven to be essential for intelligent agents. Indeed, from a theoretical point of view, results from cognitive psychology and neuroscience have established the close links that exist in humans between emotions and reasoning or decision making. And from a practical point of view, numerous research findings show the interest of emotions in agents communicating with humans: interface agents, pedagogical agents... However, among the logical frameworks used to formalize these `rational agents', very few integrate these emotional aspects. In this paper, we characterize some emotions, as defined in cognitive psychology, in a BDI (Belief, Desire, Intention) modal logic. We then validate our framework with a case study illustrating the problematic of Ambient Intelligence.
Published: 2006

49. A logical framework for grounding-based dialogue analysis (3rd Int. Workshop on Logic and Communication in Multiagent Systems (LCMAS 2005), Edinburgh, 01/08/05)

Author: Gaudou, Benoit, Herzig, Andreas, Longin, Dominique, Systèmes Multi-Agents Coopératifs (IRIT-SMAC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Centre National de la Recherche Scientifique (CNRS), van der Hoek, Wiebe and Lomuscio, Alessio and de Vink, Erik and Wooldridge, and Mike
Subjects: dynamic logic, dialogue games, actions, BDI, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: Workshop at IJCAI 2005; International audience
Published: 2005

50. C&L intention revisited

Author: Herzig, Andreas, Longin, Dominique, Grélaud, Françoise, Dubois, Didier, Welty, Chris, Williams, Mary-Anne, Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, and Centre National de la Recherche Scientifique (CNRS)
Subjects: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], intention, action, Cohen and Levesque theory, ComputingMilieux_MISCELLANEOUS, belief, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract: International audience; The 1990 papers of Cohen and Levesque (C&L) on rational interaction have been most influential. Their approach is based on a logical framework integrating the concepts of belief, action, time, and choice. On top of these they define notions of achievement goal, persistent goal, and intention. We here revisit their approach in a simplified, propositional logic, for which we give complete axiomatization. Within that logic we study the definition of achievement goals, refining C&L's analysis. Our analysis allows us to identify the conditions under which achievement goals persist. We then discuss the C&L definition of intention as well as a variant that has been proposed by Sadek and Bretier. We argue that both are too strong and propose a weakened version.
Published: 2004

Catalog

Books, media, physical & digital resources

See catalog results

Searchworks

Select search scope, currently: Articles Catalog books, media & more in Jio Institute collections Articles journal articles & other e-resources

Search

Search Constraints

Refine your results

Search Limiters

Topic

Publication Year Range

Language

Database

63 results on '"Longin, Dominique"'

Search Results

Catalog

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources