Using the Causal Graph to Enhance Translations to Solve Contingent Planning Problems

This paper explores the phase transitions of the contingent planning problems. We present CONTINGENT PLAN-EXISTENCE algorithm and CONTINGENT PLAN-NONEXISTENCE algorithm for quickly proving that the contingent planning instances have solutions and have no solutions, respectively. By analyzing the two algorithms, the phase transition area of the contingent planning problems is obtained. If the number of the actions is not greater thanθub, the CONTINGENT PLAN-NONEXISTENCE algorithm can prove that nearly all the contingent planning instances have no solution. If the number of the actions is not lower thanθlb, the CONTINGENT PLAN-EXISTENCE algorithm can prove that nearly all the contingent planning instances have solutions. The results of the experiments show that there exist phase transitions from a region where almost all the contingent planning instances have no solution to a region where almost all the contingent planning instances have solutions.

Download Full-text

New Islands of Tractability of Cost-Optimal Planning

Journal of Artificial Intelligence Research ◽

10.1613/jair.2498 ◽

2008 ◽

Vol 32 ◽

pp. 203-288 ◽

Cited By ~ 5

Author(s):

M. Katz ◽

C. Domshlak

Keyword(s):

Constructive Proof ◽

Optimal Planning ◽

Constraint Optimization ◽

State Variables ◽

Proof Technique ◽

Causal Graph ◽

Intractable Problems ◽

Causal Graphs ◽

Almost All ◽

Planning Problems

We study the complexity of cost-optimal classical planning over propositional state variables and unary-effect actions. We discover novel problem fragments for which such optimization is tractable, and identify certain conditions that differentiate between tractable and intractable problems. These results are based on exploiting both structural and syntactic characteristics of planning problems. Specifically, following Brafman and Domshlak (2003), we relate the complexity of planning and the topology of the causal graph. The main results correspond to tractability of cost-optimal planning for propositional problems with polytree causal graphs that either have O(1)-bounded in-degree, or are induced by actions having at most one prevail condition each. Almost all our tractability results are based on a constructive proof technique that connects between certain tools from planning and tractable constraint optimization, and we believe this technique is of interest on its own due to a clear evidence for its robustness.

Download Full-text

Inspiration Space

Conference Proceedings of the Academy for Design Innovation Management ◽

10.33114/adim.2017.19 ◽

2019 ◽

Vol 1 (1) ◽

Author(s):

Milene GONÇALVES ◽

Katja THORING ◽

Roland M. MUELLER ◽

Petra BADKE-SCHAUB ◽

Pieter DESMET

Keyword(s):

Learning Environments ◽

Physical Environment ◽

Educational Institutions ◽

Expert Interviews ◽

Learning Spaces ◽

Causal Graph ◽

Physical Environments ◽

Creative Learning ◽

Design Students

Building on the assumption that the physical environment can have an influence on the creativity of designers and design students in particular, the aim of this paper is to provide theoretical propositions and evidences for this relationship. We develop various propositions about the influence of physical environments on creativity, based on eight expert interviews and supported by literature. A particular focus was given to the environments of design educational institutions. We present a summary of the main insights and visualize the developed propositions as a causal graph addressing how space influences creativity. These propositions can be regarded as a first step towards a theory of creativity-supporting learning environments and they can serve as a reference when designing or adjusting creative learning spaces.

Download Full-text

Production management of standardized products using electronic process automation — single window

Automation. Modern Techologies ◽

10.36652/0869-4931-2020-74-8-339-345 ◽

2020 ◽

Keyword(s):

Programming Languages ◽

Production Management ◽

Work Place ◽

Web Interface ◽

Process Automation ◽

Control Programs ◽

New Information ◽

Shift Report ◽

Planning Problems ◽

Registration Card

A non-standard approach to solving the activation planning problems of the standardized products in a multinomenclature workshop is considered. This approach is caused by writing control programs and developing new information systems without changing previously developed workstations, which were created by using an outdated programming languages, in particular Clipper applications. The concept of creating a single information space — a set of databases and software tools integrated at the software level is proposed. Keywords standardized product; normal; software; web interface; single window; automatic work place; production task; shift task; order-shift report; control and registration card

Download Full-text