Search

Your search keyword '"Longin, Dominique"' showing total 135 results
Start Over Author "Longin, Dominique"

Refine your results

more »

more »

more »

more »
135 results on '"Longin, Dominique"'

2. Relaxing Exclusive Control in Boolean Games

Author

Belardinelli, Francesco, Grandi, Umberto, Herzig, Andreas, Longin, Dominique, Lorini, Emiliano, Novaro, Arianna, and Perrussel, Laurent

Subjects
Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science
Abstract

In the typical framework for boolean games (BG) each player can change the truth value of some propositional atoms, while attempting to make her goal true. In standard BG goals are propositional formulas, whereas in iterated BG goals are formulas of Linear Temporal Logic. Both notions of BG are characterised by the fact that agents have exclusive control over their set of atoms, meaning that no two agents can control the same atom. In the present contribution we drop the exclusivity assumption and explore structures where an atom can be controlled by multiple agents. We introduce Concurrent Game Structures with Shared Propositional Control (CGS-SPC) and show that they ac- count for several classes of repeated games, including iterated boolean games, influence games, and aggregation games. Our main result shows that, as far as verification is concerned, CGS-SPC can be reduced to concurrent game structures with exclusive control. This result provides a polynomial reduction for the model checking problem of specifications in Alternating-time Temporal Logic on CGS-SPC., Comment: In Proceedings TARK 2017, arXiv:1707.08250

Published
2017
Full Text
View/download PDF

3. A logical modeling of the Yōkai board game.

Author

Fernandez, Jorge, Longin, Dominique, Lorini, Emiliano, and Maris, Frédéric

Subjects
*BOARD games, *GAMEBOARDS, *THEORY of mind, *NP-complete problems, *ARTIFICIAL languages
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. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

4. Beliefs, Time and Space: A Language for the Yōkai Board Game

Author

Longin, Dominique, Lorini, Emiliano, Maris, Frédéric, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Uchiya, Takahiro, editor, Bai, Quan, editor, and Marsá Maestre, Iván, editor

Published
2021
Full Text
View/download PDF

6. Modeling a Real-Case Situation of Egress Using BDI Agents with Emotions and Social Skills

Author

Valette, Marion, Gaudou, Benoit, Longin, Dominique, Taillandier, Patrick, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Weikum, Gerhard, Series Editor, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Miller, Tim, editor, Oren, Nir, editor, Sakurai, Yuko, editor, Noda, Itsuki, editor, Savarimuthu, Bastin Tony Roy, editor, and Cao Son, Tran, editor

Published
2018
Full Text
View/download PDF

9. On Modal Logics of Group Belief

Author

Gaudou, Benoit, Herzig, Andreas, Longin, Dominique, Lorini, Emiliano, Tuomela, Raimo, Editor-in-chief, Herzig, Andreas, editor, and Lorini, Emiliano, editor

Published
2015
Full Text
View/download PDF

10. Integration of Emotion in Evacuation Simulation

Author

Nguyen, Van Tho, Longin, Dominique, Ho, Tuong Vinh, Gaudou, Benoit, van der Aalst, Wil, Series editor, Mylopoulos, John, Series editor, Rosemann, Michael, Series editor, Shaw, Michael J., Series editor, Szyperski, Clemens, Series editor, Hanachi, Chihab, editor, Bénaben, Frédérick, editor, and Charoy, François, editor

Published
2014
Full Text
View/download PDF

11. Expressive Multimodal Conversational Acts for SAIBA Agents

Author

Riviere, Jeremy, Adam, Carole, Pesty, Sylvie, Pelachaud, Catherine, Guiraud, Nadine, Longin, Dominique, Lorini, Emiliano, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Vilhjálmsson, Hannes Högni, editor, Kopp, Stefan, editor, Marsella, Stacy, editor, and Thórisson, Kristinn R., editor

Published
2011
Full Text
View/download PDF

12. Unifying the Intentional and Institutional Semantics of Speech Acts

Author

Adam, Carole, Herzig, Andreas, Longin, Dominique, Louis, Vincent, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Baldoni, Matteo, editor, Bentahar, Jamal, editor, van Riemsdijk, M. Birna, editor, and Lloyd, John, editor

Published
2010
Full Text
View/download PDF

13. 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

14. OCC’s Emotions: A Formalization in a BDI Logic

Author

Adam, Carole, Gaudou, Benoit, Herzig, Andreas, Longin, Dominique, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Euzenat, Jérôme, editor, and Domingue, John, editor

Published
2006
Full Text
View/download PDF

15. 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

16. 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

17. LoTREC: Logical Tableaux Research Engineering Companion

Author

Gasquet, Olivier, Herzig, Andreas, Longin, Dominique, Sahade, Mohamad, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, and Beckert, Bernhard, editor

Published
2005
Full Text
View/download PDF

18. 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

19. On Modal Probability and Belief

Author

Herzig, Andreas, Longin, Dominique, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Nielsen, Thomas Dyhre, editor, and Zhang, Nevin Lianwen, editor

Published
2003
Full Text
View/download PDF

21. Belief reconstruction in cooperative dialogues

Author

del Cerro, Luis Fariñas, Herzig, Andreas, Longin, Dominique, Rifi, Omar, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Goos, G., editor, Hartmanis, J., editor, van Leeuwen, J., editor, and Giunchiglia, Fausto, editor

Published
1998
Full Text
View/download PDF

22. 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

24. 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

25. 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

28. 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

29. 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

35. 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

36. 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

37. 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 Université (SU), Institut de Recherche pour le Développement (IRD), and Sorbonne Université (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

38. 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

41. 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

42. 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

43. 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

44. 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

45. 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

46. 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

48. 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

49. 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

50. 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

Catalog

Books, media, physical & digital resources
See catalog results