Plan Synthesis for Knowledge and Action Bases

We study plan synthesis for a variant of Knowledge and Action Bases (KABs), a rich, dynamic framework, where states are description logic (DL) knowledge bases (KBs) whose extensional part is manipulated by actions that possibly introduce new objects from an infinite domain. We show that plan existence over KABs is undecidable even under severe restrictions. We then focus on state-bounded KABs, a class for which plan existence is decidable, and provide sound and complete plan synthesis algorithms, which combine techniques based on standard planning, DL query answering, and finite-state abstraction. All results hold for any DL with decidable query answering. We finally show that for lightweight DLs, plan synthesis can be compiled into standard ADL planning

Synthesizing and executing plans in Knowledge and Action Bases

We study plan synthesis for a variant of Knowledge and Action Bases (KABs). KABs have been recently introduced as a rich, dynamic framework where states are full-fledged description logic (DL) knowledge bases (KBs) whose extensional part is manipulated by actions that can introduce new objects from an infinite domain. We show that, in general, plan existence over KABs is undecidable even under severe restrictions. We then focus on the class of state-bounded KABs, for which plan existence is decidable, and we provide sound and complete plan synthesis algorithms, through a novel combination of techniques based on standard planning, DL query answering, and finite-state abstractions. All results hold for any DL with decidable query answering. We finally show that for lightweight DLs, plan synthesis can be compiled into standard ADL planning. © 2016, CEUR-WS. All rights reserved

The Materials Science Procedural Text Corpus: Annotating Materials Synthesis Procedures with Shallow Semantic Structures

Materials science literature contains millions of materials synthesis procedures described in unstructured natural language text. Large-scale analysis of these synthesis procedures would facilitate deeper scientific understanding of materials synthesis and enable automated synthesis planning. Such analysis requires extracting structured representations of synthesis procedures from the raw text as a first step. To facilitate the training and evaluation of synthesis extraction models, we introduce a dataset of 230 synthesis procedures annotated by domain experts with labeled graphs that express the semantics of the synthesis sentences. The nodes in this graph are synthesis operations and their typed arguments, and labeled edges specify relations between the nodes. We describe this new resource in detail and highlight some specific challenges to annotating scientific text with shallow semantic structure. We make the corpus available to the community to promote further research and development of scientific information extraction systems.Comment: Accepted as a long paper at the Linguistic Annotation Workshop (LAW) at ACL 201

A planning approach to the automated synthesis of template-based process models

The design-time specification of flexible processes can be time-consuming and error-prone, due to the high number of tasks involved and their context-dependent nature. Such processes frequently suffer from potential interference among their constituents, since resources are usually shared by the process participants and it is difficult to foresee all the potential tasks interactions in advance. Concurrent tasks may not be independent from each other (e.g., they could operate on the same data at the same time), resulting in incorrect outcomes. To tackle these issues, we propose an approach for the automated synthesis of a library of template-based process models that achieve goals in dynamic and partially specified environments. The approach is based on a declarative problem definition and partial-order planning algorithms for template generation. The resulting templates guarantee sound concurrency in the execution of their activities and are reusable in a variety of partially specified contextual environments. As running example, a disaster response scenario is given. The approach is backed by a formal model and has been tested in experiment

Theoretical results of research on spatial and territorial development (with examples on the european north of Russia)

This article focuses primarily on the correlation between the concepts of “spatial” and “territorial” development. It is shown that, while differing in their content, these concepts substantially complement each other when it comes to specific research studies. In this case, the topic of spatial development includes considering the general areas for the location of productive forces, geographic dimension of the specific types of economic activities, economic measurement of distances, linear communications and a network structure of the economy while. In the topic of territorial development, the author introduces the territory itself as a natural and economic capital and territorial economic management based on such capital. The study of spatial and territorial aspects of socio-economic development in the European North of Russia (ENR) showed that its immediate future is associated not so much with the large projects aimed at creating new fuel and energy, mineral and raw material, or forestry bases, as with the improvement in the existing economic systems based on scientific and technological progress and interregional integration. The progression from developed territories to new Arctic and Northern locations is associated with tremendous costs and requires time for scientific and technical preparation. The modernization of existing production facilities, territorial and production complexes is a priority in the development of productive forces in ENR. The author proposes to apply the theoretical provisions and practical recommendations formulated as a result of studying the spatial and territorial development in the elaboration of government strategic planning documents. Currently, the practice of strategic planning does not fully consider the substance of such concepts as “spatial development” and “territorial development.” This incompleteness is so significant that overcoming it should be considered as one of the key objectives pursued by the regional policy

Planning actions in robot automated operations

Action planning in robot automated operations requires intelligent task level programming. Invoking intelligence necessiates a typical blackboard based architecture, where, a plan is a vector between the start frame and the goal frame. This vector is composed of partially ordered bases. A partial ordering of bases presents good and bad sides in action planning. Partial ordering demands the use of a temporal data base management system