Logic-Based Decision Support for Strategic Environmental Assessment

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.Comment: 17 pages, 1 figure, 26th Int'l. Conference on Logic Programming (ICLP'10

Drawing the line: balancing the spatial requirements of customer and contractor in occupied refurbishment

In planning the refurbishment of railway stations the spatial needs of the contractor and ofthe ongoing business stakeholders have to be balanced. A particular concern is thedisruptive effect of construction works upon pedestrian movement.RaCMIT (Refurbishment and Customer Movement Integration Tool) is a research projectaimed at addressing this problem through combining the knowledge of the client projectmanager, the construction planner and the pedestrian modelling expert.The objective of the research is to develop a decision protocol (based on problemsencountered in two case studies) facilitating optimisation of overall project value to theclient?s business.Research observations as well as current literature suggest that:? for overall decision-making, opportunities may be lost (under current practice) forminimising joint project cost/revenue disruption and? for spatial decision-making, temporary station configuration during construction(and not just overall pedestrian capacity) is a significant variable for both businessand safety outcomes. In planning the refurbishment of railway stations the spatial needs of the contractor and ofthe ongoing business stakeholders have to be balanced. A particular concern is thedisruptive effect of construction works upon pedestrian movement.RaCMIT (Refurbishment and Customer Movement Integration Tool) is a research projectaimed at addressing this problem through combining the knowledge of the client projectmanager, the construction planner and the pedestrian modelling expert.The objective of the research is to develop a decision protocol (based on problemsencountered in two case studies) facilitating optimisation of overall project value to theclient?s business.Research observations as well as current literature suggest that:? for overall decision-making, opportunities may be lost (under current practice) forminimising joint project cost/revenue disruption and? for spatial decision-making, temporary station configuration during construction(and not just overall pedestrian capacity) is a significant variable for both businessand safety outcomes

KEMNAD: A Knowledge Engineering Methodology for Negotiating Agent Development

Automated negotiation is widely applied in various domains. However, the development of such systems is a complex knowledge and software engineering task. So, a methodology there will be helpful. Unfortunately, none of existing methodologies can offer sufficient, detailed support for such system development. To remove this limitation, this paper develops a new methodology made up of: (1) a generic framework (architectural pattern) for the main task, and (2) a library of modular and reusable design pattern (templates) of subtasks. Thus, it is much easier to build a negotiating agent by assembling these standardised components rather than reinventing the wheel each time. Moreover, since these patterns are identified from a wide variety of existing negotiating agents(especially high impact ones), they can also improve the quality of the final systems developed. In addition, our methodology reveals what types of domain knowledge need to be input into the negotiating agents. This in turn provides a basis for developing techniques to acquire the domain knowledge from human users. This is important because negotiation agents act faithfully on the behalf of their human users and thus the relevant domain knowledge must be acquired from the human users. Finally, our methodology is validated with one high impact system

The Threat of Exclusion and Relational Contracting

Relational contracts have been shown to mitigate moral hazard in labor and credit markets. A central assumption in most theoretical and experimental studies is that, upon misbehaving, agents can be excluded from their current source of income and have to resort to less attractive outside options. This threat of exclusion is unrealistic in many environments, and especially in credit and investment contexts. We examine experimentally the emergence and time structure of relational contracts when the threat of exclusion is weakened. We focus on bilateral credit relationships in which strategic default is possible. We compare a weak exclusion treatment in which defaulting borrowers can reinvest borrowed funds, to a strong exclusion treatment in which defaulting borrowers must liquidate borrowed funds. We find that under weak exclusion more relationships break down in early periods and credit relationships are more likely to “start small”

A robust fuzzy possibilistic AHP approach for partner selection in international strategic alliance

The international strategic alliance is an inevitable solution for making competitive advantage and reducing the risk in today’s business environment. Partner selection is an important part in success of partnerships, and meanwhile it is a complicated decision because of various dimensions of the problem and inherent conflicts of stockholders. The purpose of this paper is to provide a practical approach to the problem of partner selection in international strategic alliances, which fulfills the gap between theories of inter-organizational relationships and quantitative models. Thus, a novel Robust Fuzzy Possibilistic AHP approach is proposed for combining the benefits of two complementary theories of inter-organizational relationships named, (1) Resource-based view, and (2) Transaction-cost theory and considering Fit theory as the perquisite of alliance success. The Robust Fuzzy Possibilistic AHP approach is a noveldevelopment of Interval-AHP technique employing robust formulation; aimed at handling the ambiguity of the problem and let the use of intervals as pairwise judgments. The proposed approach was compared with existing approaches, and the results show that it provides the best quality solutions in terms of minimum error degree. Moreover, the framework implemented in a case study and its applicability were discussed

Strategic Judicial Decision Making

This survey paper starts from the basic, and intuitive, assumption that judges are human and as such, can be modeled in the same fashion we model politicians, activists, managers: driven by well-defined preferences, behaving in a purposive and forward-looking fashion. We explore, then, the role politics play in judicial decision-making. We provide a brief overview of what is called the "strategic approach," compare it to alternative approaches to understand judicial behavior, and offer some concluding thoughts about the future of positive analyses of judicial decision-making.