Unraveling the Hidden Environmental Impacts of AI Solutions for Environment
Authors:
Anne-Laure Ligozat,
Julien Lefèvre,
Aurélie Bugeau,
Jacques Combaz
Abstract:
In the past ten years, artificial intelligence has encountered such dramatic progress that it is now seen as a tool of choice to solve environmental issues and in the first place greenhouse gas emissions (GHG). At the same time the deep learning community began to realize that training models with more and more parameters requires a lot of energy and as a consequence GHG emissions. To our knowledg…
▽ More
In the past ten years, artificial intelligence has encountered such dramatic progress that it is now seen as a tool of choice to solve environmental issues and in the first place greenhouse gas emissions (GHG). At the same time the deep learning community began to realize that training models with more and more parameters requires a lot of energy and as a consequence GHG emissions. To our knowledge, questioning the complete net environmental impacts of AI solutions for the environment (AI for Green), and not only GHG, has never been addressed directly. In this article, we propose to study the possible negative impacts of AI for Green. First, we review the different types of AI impacts, then we present the different methodologies used to assess those impacts, and show how to apply life cycle assessment to AI services. Finally, we discuss how to assess the environmental usefulness of a general AI service, and point out the limitations of existing work in AI for Green.
△ Less
Submitted 21 April, 2022; v1 submitted 22 October, 2021;
originally announced October 2021.
Compositional Verification for Timed Systems Based on Automatic Invariant Generation
Authors:
Lacramioara Astefanoaei,
Souha Ben Rayana,
Saddek Bensalem,
Marius Bozga,
Jacques Combaz
Abstract:
We propose a method for compositional verification to address the state space explosion problem inherent to model-checking timed systems with a large number of components. The main challenge is to obtain pertinent global timing constraints from the timings in the components alone. To this end, we make use of auxiliary clocks to automatically generate new invariants which capture the constraints i…
▽ More
We propose a method for compositional verification to address the state space explosion problem inherent to model-checking timed systems with a large number of components. The main challenge is to obtain pertinent global timing constraints from the timings in the components alone. To this end, we make use of auxiliary clocks to automatically generate new invariants which capture the constraints induced by the synchronisations between components. The method has been implemented in the RTD-Finder tool and successfully experimented on several benchmarks.
△ Less
Submitted 16 September, 2015; v1 submitted 16 June, 2015;
originally announced June 2015.
