Backwards State-space Reduction for Planning in Dynamic Knowledge Bases

In this paper we address the problem of planning in rich domains, where knowledge representation is a key aspect for managing the complexity and size of the planning domain. We follow the approach of Description Logic (DL) based Dynamic Knowledge Bases, where a state of the world is represented concisely by a (possibly changing) ABox and a (fixed) TBox containing the axioms, and actions that allow to change the content of the ABox. The plan goal is given in terms of satisfaction of a DL query. In this paper we start from a traditional forward planning algorithm and we propose a much more efficient variant by combining backward and forward search. In particular, we propose a Backward State-space Reduction technique that consists in two phases: first, an Abstract Planning Graph P is created by using the Abstract Backward Planning Algorithm (ABP), then the abstract planning graph P is instantiated into a corresponding planning graph P by using the Forward Plan Instantiation Algorithm (FPI). The advantage is that in the preliminary ABP phase we produce a symbolic plan that is a pattern to direct the search of the concrete plan. This can be seen as a kind of informed search where the preliminary backward phase is useful to discover properties of the state-space that can be used to direct the subsequent forward phase. We evaluate the effectiveness of our ABP+FPI algorithm in the reduction of the explored planning domain by comparing it to a standard forward planning algorithm and applying both of them to a concrete business case study.Comment: In Proceedings GRAPHITE 2014, arXiv:1407.767

Restricted Dynamic Programming Heuristic for Precedence Constrained Bottleneck Generalized TSP

We develop a restricted dynamical programming heuristic for a complicated traveling salesman problem: a) cities are grouped into clusters, resp. Generalized TSP; b) precedence constraints are imposed on the order of visiting the clusters, resp. Precedence Constrained TSP; c) the costs of moving to the next cluster and doing the required job inside one are aggregated in a minimax manner, resp. Bottleneck TSP; d) all the costs may depend on the sequence of previously visited clusters, resp. Sequence-Dependent TSP or Time Dependent TSP. Such multiplicity of constraints complicates the use of mixed integer-linear programming, while dynamic programming (DP) benefits from them; the latter may be supplemented with a branch-and-bound strategy, which necessitates a “DP-compliant” heuristic. The proposed heuristic always yields a feasible solution, which is not always the case with heuristics, and its precision may be tuned until it becomes the exact DP

Decision-making and problem-solving methods in automation technology

The state of the art in the automation of decision making and problem solving is reviewed. The information upon which the report is based was derived from literature searches, visits to university and government laboratories performing basic research in the area, and a 1980 Langley Research Center sponsored conferences on the subject. It is the contention of the authors that the technology in this area is being generated by research primarily in the three disciplines of Artificial Intelligence, Control Theory, and Operations Research. Under the assumption that the state of the art in decision making and problem solving is reflected in the problems being solved, specific problems and methods of their solution are often discussed to elucidate particular aspects of the subject. Synopses of the following major topic areas comprise most of the report: (1) detection and recognition; (2) planning; and scheduling; (3) learning; (4) theorem proving; (5) distributed systems; (6) knowledge bases; (7) search; (8) heuristics; and (9) evolutionary programming

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

Doing evolution in economic geography

Evolutionary approaches in economic geography face questions about the relationships between their concepts, theories, methods, politics, and policy implications. Amidst the growing but unsettled consensus that evolutionary approaches should employ plural methodologies, the aims here are, first, to identify some of the difficult issues confronting those working with different frameworks. The concerns comprise specifying and connecting research objects, subjects, and levels; handling agency and context; engaging and integrating the quantitative and the qualitative; comparing cases; and, considering politics, policy, and praxis. Second, the purpose is to articulate a distinctive geographical political economy approach, methods, and illustrative examples in addressing these issues. Bringing different views of evolution in economic geography into dialogue and disagreement renders methodological pluralism a means toward improved understanding and explanation rather than an end in itself. Confronting such thorny matters needs to be embedded in our research practices and supported by greater openness; more and better substantiation of our conceptual, theoretical, and empirical claims; enhanced critical reflection; and deeper engagement with politics, policy, and praxis

Testing the orthodoxies of land degradation policy in Swaziland

This paper explores Swaziland's National Action Programme (NAP) to combat desertification; the country's main strategy for implementing the United Nations Convention to Combat Desertification (UNCCD). It considers whether this policy tackles real problems supported by micro-level scientific evidence and local experiences, or whether it further reinforces popular orthodoxies about land degradation. Data from one case study chiefdom in Swaziland are used to test two key orthodoxies identified within the country's NAP: (1) the presentation of degradation as a neo-Malthusian problem resulting from population pressure and (2) the assumption that the poor are responsible for degradation of their environment, in particular, the over-use of forest areas and the degradation of soils. It is found that diverse rural livelihoods inherently deliver patches of degradation at the micro-level but it is not necessarily population pressure or poor people that cause the degradation. Households with varying assets simultaneously degrade and conserve different parts of the land resource through pursuing different livelihood activities. The data indicate that while the NAP focuses on mythical problems grounded in the orthodoxies, policy attention is directed away from the more serious land degradation issues affecting rural livelihoods. The findings of this study provide a more nuanced understanding of the gaps between land degradation policy, local conservation practice and environmental and livelihood outcomes, and suggest that policymakers need to evaluate more critically the outdated and simplistic degradation orthodoxies on which much current policy is based. Stronger links need to be made between scientific and policymaking communities, while more credence should be given to land users’ own knowledges, perspectives, concepts and categories surrounding issues of soil conservation and degradation. It is suggested that steps need to be taken towards the development of broadly applicable benchmarks and indicators that bring together local and scientific knowledges across levels. Without this, popularised orthodoxies will continue to provide a basis for inappropriate land policy