Team
Coordinators
- Andreas Herzig (IRIT, University of Toulouse and CNRS)
- Renata Wasserman (IME, University of São Paulo)
Members
- Thomas Caridroit (CRIL, University of Artois)
- Marcelo Finger (IME, University of São Paulo)
- Paulo de Tarso Guerra Oliveira (IME, University of São Paulo)
- Tiago de Lima (CRIL, University of Artois)
- Marcio Moretto Ribeiro (EACH, University of São Paulo)
Description
Funding:
CampusFrance,
Programme USP-COFECUB
Period:
2013–2015
Abstract: Multi-agent environments are inhabited by various ‘autonomous agents’. These are are entities capable of acting autonomously, i.e., without external intervention, in order to meet their design objectives. Although single-agent environments have been studied for a long time, studies about multi-agent environments are relatively new. This kind of environment brings new issues to be dealt with, such as non-deterministic actions, competition and cooperation among agents. Current solutions treat such issues by using some kind of multi-modal logic. But these logics present two important limitations: they do not allow efficient representations and they do not allow efficient reasoning. By applying some techniques previously studied by us, we intend to design new logics that overcome these limitations. The project aims at (1) to develop formal languages able to represent multi-agent environments; (2) to develop formal methods by means of which multi-agent reasoning tasks can be performed; and (3) to implement such methods in software prototypes. The proposal involves the Institute of Mathematics and Statistics of the University of São Paulo (IME-USP) as well as two French partners, the Toulouse Computer Science Research Institute (IRIT-CNRS) and the Computer Science Research Center of Lens (CRIL-CNRS).
Meetings
- 16 Aug 2013: IME, Universidade de São Paulo
Participants: Marcelo Finger (IME, USP), Tiago de Lima (CRIL, UArtois), Paulo de Tarso G. Oliveira (IME, USP), Márcio M. Ribeiro (IME, USP) and Renata Wassermann (IME, USP). - 8 Nov 2013: IME, Universidade de São Paulo
Participants: Andreas Herzig (IRIT, CNRS) and Marcelo Finger, Paulo de Tarso G. Oliveira, Márcio M. Ribeiro, Renata Wassermann, Viviane Menezes, Leliane Nunes de Barros (all from IME, USP).
Contributions
- Andreas Herzig, Viviane Menezes, Leliane Nunes De Barros, and Renata Wassermann
On the revision of planning tasks.
In Torsten Schaub, editor, European Conference on Artificial Intelligence (ECAI), Prag, 18/08/2014-22/08/2014, http://www.iospress.nl/, Aug 2014. IOS Press - Thomas Caridroit, Sébastien Konyeczny, Tiago de Lima ,and Pierre Marquis
Expansion et révision privée dans KD45n.
In Actes des Huitièmes Journées de l’Intelligence Artificielle Fondamentale, Angers, July 11–13, 2014, pages 42–49, 2014 - Tiago de Lima and Andreas Herzig
Tableaux for dynamic logic of propositional assignments.
Technical Report 0996467, arXiv, http://arxiv.org/abs/1406.2161, June 2014 - Andreas Herzig
Belief change operations: a short history of nearly everything, told in dynamic logic of propositional assignments
In Chitta Baral and Giuseppe De Giacomo, editors, Inter- national Conference on Principles of Knowledge Representation and Reasoning (KR), Vienna, 20/07/2014-24/07/2014, pages 141–150, http://www.aaai.org/Press/press.php, juillet 2014. AAAI Press - Guillaume Feuillade and Andreas Herzig
A dynamic view of active integrity constraints
In Eduardo Ferme and Joao Leite, editors, European Conference on Logics in Artificial Intelligence (JELIA), Madeira. Springer, 2014 - Andreas Herzig
Logics of knowledge and action: critical analysis and challenges
Journal of Autonomous Agents and Multi-Agent Systems, to appear. DOI: 10.1007/s10458-014-9267-z - Andreas Herzig, Emiliano Lorini, Faustine Maffre, and Dirk Walther
Alternating-time Temporal Logic with Explicit Programs
(LAMAS 2014, Paris, 05/05/2014). 2014 - Raphael Cóbe, Fillipe Resina, and Renata Wassermann
Merging ontologies via kernel contraction
In Proceedings of the 6th Seminar on Ontology Research in Brazil (ONTOBRAS), pages 94–105, 2013 - Mácio Ribeiro and Renata Wassermann
Minimal Change in AGM Revision for Non-classical Logics In Chitta Baral and Giuseppe De Giacomo, editors, International Conference on Principles of Knowledge Representation and Reasoning (KR), Vienna, 20/07/2014-24/07/2014. AAAI Press, 2014 - Fillipe Resina, Márcio Ribeiro, and Renata Wassermann
Algorithms for Multiple Contraction and an Application to OWL ontologies
In Brazilian Conference on Intelligent Systems (BRACIS), page to appear. IEEE Press, 2014 - Marcelo Finger, Andreas Herzig, and Márcio Moretto Ribeiro
Logical Independence as Invariance Under Change to be submitted, 2014
Prototype
Cluedo
The prototype cluedo is still under construction. When ready, it will be able to play the well known board game Cluedo. It implements some of the formalisms studied in the project to make strategic decisions and to reason about the knowledge of the other players.
Download the source code.