Logic-based decision support for strategic environmental assessment

DOI10.1017/S1471068410000335zbMATH Open1209.68092DBLPjournals/tplp/GavanelliRMC10arXiv1007.3159OpenAlexW3105396787WikidataQ58063800 ScholiaQ58063800MaRDI QIDQ3585174FDOQ3585174

Authors: Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli 

Publication date: 19 August 2010

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Abstract: Strategic Environmental Assessment is a procedure aimed at introducing systematic assessment 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.

Full work available at URL: https://arxiv.org/abs/1007.3159

Recommendations

• scientific article; zbMATH DE number 1738108
• An interactive decision-making approach based on intelligent systems to redraw district boundaries in regional planning
• Environmental impact assessment using the evidential reasoning approach
• Simultaneous Decision Networks with Multiple Objectives as Support for Strategic Planning
• scientific article; zbMATH DE number 1264455

zbMATH Keywords

causalityconstraint logic programmingprobabilistic logic programmingstrategic environmental assessmentregional planning

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Cites Work

• CP-logic: A language of causal probabilistic events and its relation to logic programming
• The independent choice logic for modelling multiple agents under uncertainty
• Semiring-based constraint satisfaction and optimization
• Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics
• Extended semantics and inference for the Independent Choice Logic
• An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy

Cited In (1)

• A Logical Foundation for Environment Classifiers

Uses Software

• Cbc
• CP-logic

This page was built for publication: Logic-based decision support for strategic environmental assessment

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3585174)