×
马可·加瓦内利;法布里西奥·里古齐;米歇拉·米兰;保罗·卡格诺利

战略环境评估的基于逻辑的决策支持。 （英文） Zbl 1209.68092号

理论与实践。日志。程序。 10，编号4-6，643-658（2010）.
概要：战略环境评估是一种旨在对计划和方案的环境影响进行系统评估的程序。该程序基于所谓的同轴矩阵，该矩阵定义了计划活动（基础设施、工厂、资源开采、建筑物等）与积极和消极环境影响之间的相关性，以及这些影响与环境受体之间的相关性。到目前为止，该程序由环境专家手动执行，用于检查给定计划或方案的环境影响，但在计划/方案建设期间从未应用过。基于清晰逻辑语义的决策支持系统不仅在评估单个已定义的计划时，而且在规划过程中，都将是一个非常宝贵的工具，以便制定优化的环境评估计划，并研究可能的替代方案。我们提出了两种基于逻辑的方法来解决这个问题，一种基于约束逻辑编程，另一种基于概率逻辑编程，将来可以方便地合并使用这两种方法的优点。我们在实际的能源计划中测试了所提出的方法，并讨论了它们的局限性和优点。

MSC公司：

68N17号 逻辑编程
68T20型 人工智能背景下的问题解决（启发式、搜索策略等）

关键词：

战略环境评估;区域规划;约束逻辑程序设计;概率逻辑程序设计;因果关系

软件：

中国银行;CP逻辑
PDF格式BibTeX公司 XML格式引用
\textit{M.Gavanelli}等人，《理论与实践》。日志。程序。10，编号4--6643--658（2010；Zbl 1209.68092）
全文： 内政部 arXiv公司

参考文献：

[1] Schiex，《第十四届国际人工智能联合会议论文集》，IJCAI 95 pp 631–（1995）
[2] Sorensen，《协助影响报告过程的程序和计划》。(1973)
[3] 桑托斯·科斯塔，人工智能不确定性会议（2003年）
[4] DOI:10.1093/jigpal/jzp025·Zbl 1189.03039号 ·doi:10.1093/jigpal/jzp025
[5] 内政部：10.1145/129393.129398·doi:10.145/129393.129398
[6] 内政部：10.1007/978-3-540-89982-2_54·Zbl 1185.68178号 ·doi:10.1007/978-3-540-89982-254
[7] 内政部：10.1016/0743-1066（94）90033-7·doi:10.1016/0743-1066（94）90033-7
[8] 内政部：10.1007/978-3-540-74782-6_11·doi:10.1007/978-3-540-74782-6_11
[9] 内政部：10.1007/978-3-540-68679-8_14·Zbl 1143.68379号 ·数字对象标识代码：10.1007/978-3-540-68679-8_14
[10] DOI:10.1016/S0004-3702（97）00027-1·Zbl 0902.03017号 ·doi:10.1016/S0004-3702（97）00027-1
[11] 内政部：10.1007/978-3-642-04244-7_2·doi:10.1007/978-3-642-04244-72
[12] 珍珠，因果关系（2000）
[13] DOI:10.1002/（SICI）1097-4571（2000）51:2&lt；95:：AID-ASI2&gt；3.0.CO版本；2-H型·doi:10.1002/（SICI）1097-4571（2000）51:2<95:：AID-ASI2>3.0.CO；2-H型
[14] 内政部：10.1007/11564751_46·doi:10.1007/11564751_46
[15] Meert，第19届归纳逻辑编程国际会议记录（2009年）
[16] De Konink，WLP第91页–（2006）
[17] Dantsin，《第二届俄罗斯逻辑编程会议论文集》，第152页–（1991）
[18] 内政部：10.1145/256303.256306·Zbl 0890.68032号 ·数字对象标识代码：10.1145/256303.256306
[19] 周，IEA/AIE第790页–（1996）
[20] Vennekens，逻辑编程国际会议，第195页–（2004）·doi:10.1007/978-3-540-27775-0_14
[21] DOI:10.1017/S1471068409003767·Zbl 1179.68025号 ·doi:10.1017/S1471068409003767
[22] 佐藤，国际人工智能联合会议，第1330页–（1997）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。