Logic-based decision support for strategic environmental assessment


Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli

Theory and Practice of Logic Programming 10(4-6), pages 643–658
July 2010

Strategic Environmental Assessment is a procedure aimed at introducing systematic assess- ment of the environmental effects of plans and programs. This procedure is based on the so- called coaxial matrices that define dependencies between plan activities (infrastructures, plants, resource extractions, buildings, etc.) and positive and negative environmental impacts, and dependencies between these impacts and environmental receptors. Up to now, this procedure is manually implemented by environmental experts for checking the environmental effects of a given plan or program, but it is never applied during the plan/program construction. A decision support system, based on a clear logic semantics, would be an invaluable tool not only in assessing a single, already defined plan, but also during the planning process in order to produce an optimized, environmentally assessed plan and to study possible alternative scenarios. We propose two logic-based approaches to the problem, one based on Constraint Logic Programming and one on Probabilistic Logic Programming that could be, in the future, conveniently merged to exploit the advantages of both. We test the proposed approaches on a real energy plan and we discuss their limitations and advantages.

(keywords) strategic environmental assessment, regional planning, constraint logic programming, probabilistic logic programming, causality

Journals & Series

Publications

Publications / Views

Home

Clouds
•  tags  •  authors  •  editors  •  journals  

Year
 2023    2022    2021    2020    2019    2018    2017    2016    2015    2014–1927

Sort
•  in journal  •  in proc  •  chapters  •  books  •  edited  •  spec issues  •  editorials  •  entries  •  manuals  •  tech reps  •  phd th  •  others  

Status
•  online  •  in press  •  proof  •  camera-ready  •  revised  •  accepted  •  revision  •  submitted  •  draft  •  note  

Services
•  ACM Digital Library  •  DBLP  •  IEEE Xplore  •  IRIS  •  PubMed  •  Google Scholar  •  Scopus  •  Semantic Scholar  •  Web of Science  •  DOI  

Publication

— authors

Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli

— status

published

— sort

article in journal

— publication date

July 2010

— journal

Theory and Practice of Logic Programming

— volume

10

— issue

4-6

— pages

643–658

URLs

original page

identifiers

— DOI

10.1017/S1471068410000335

— print ISSN

1471-0684

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY