scholarly journals Cost-optimal Planning, Delete Relaxation, Approximability, and Heuristics

2021 ◽  
Vol 70 ◽  
pp. 169-204
Author(s):  
Christer Bäckström ◽  
Peter Jonsson ◽  
Sebastian Ordyniak

Cost-optimal planning is a very well-studied topic within planning, and it has proven to be computationally hard both in theory and in practice. Since cost-optimal planning is an optimisation problem, it is natural to analyse it through the lens of approximation. An important reason for studying cost-optimal planning is heuristic search; heuristic functions that guide the search in planning can often be viewed as algorithms solving or approximating certain optimisation problems. Many heuristic functions (such as the ubiquitious h+ heuristic) are based on delete relaxation, which ignores negative effects of actions. Planning for instances where the actions have no negative effects is often referred to as monotone planning. The aim of this article is to analyse the approximability of cost-optimal monotone planning, and thus the performance of relevant heuristic functions. Our findings imply that it may be beneficial to study these kind of problems within the framework of parameterised complexity and we initiate work in this direction.

2015 ◽  
Vol 52 ◽  
pp. 97-169 ◽  
Author(s):  
Carmel Domshlak ◽  
Vitaly Mirkis

While in classical planning the objective is to achieve one of the equally attractive goal states at as low total action cost as possible, the objective in deterministic oversubscription planning (OSP) is to achieve an as valuable as possible subset of goals within a fixed allowance of the total action cost. Although numerous applications in various fields share the latter objective, no substantial algorithmic advances have been made in deterministic OSP. Tracing the key sources of progress in classical planning, we identify a severe lack of effective domain-independent approximations for OSP. With our focus here on optimal planning, our goal is to bridge this gap. Two classes of approximation techniques have been found especially useful in the context of optimal classical planning: those based on state-space abstractions and those based on logical landmarks for goal reachability. The question we study here is whether some similar-in-spirit, yet possibly mathematically different, approximation techniques can be developed for OSP. In the context of abstractions, we define the notion of additive abstractions for OSP, study the complexity of deriving effective abstractions from a rich space of hypotheses, and reveal some substantial, empirically relevant islands of tractability. In the context of landmarks, we show how standard goal-reachability landmarks of certain classical planning tasks can be compiled into the OSP task of interest, resulting in an equivalent OSP task with a lower cost allowance, and thus with a smaller search space. Our empirical evaluation confirms the effectiveness of the proposed techniques, and opens a wide gate for further developments in oversubscription planning.


2006 ◽  
Vol 15 (05) ◽  
pp. 779-802 ◽  
Author(s):  
AMOL DATTATRAYA MALI ◽  
YING LIU

Recent advances in solving constraint satisfaction problems (CSPs) and heuristic search have made it possible to solve classical planning problems significantly faster. There is an increasing amount of work on extending these advances to solving planning problems in more expressive languages. These problems and languages contain metric time, quantifiers and resource quantities. SAT-based approaches are very effective at optimal planning. In this paper we report on SAT-based temporal planner T-SATPLAN. One key challenge in the development of planners casting planning as SAT or CSP is the identification of constraints which are satisfied if and only if there is a plan of k steps. In this paper we show how such a SAT encoding can be synthesized for temporal planning. As part of this, we generalize explanatory frame axioms for two states of fluents (true, false) to three states of fluents (true, false and undefined). We show how this SAT encoding can be simplified. We discuss two additional SAT encodings of temporal planning. The encoding schemes make it easier to exploit progress in SAT and CSP solving to solve temporal planning problems. We also report on an experimental evaluation of T-SATPLAN using one such encoding scheme. The evaluation shows that significantly large SAT encodings of temporal planning problems can be solved extremely fast.


2010 ◽  
Vol 39 ◽  
pp. 51-126 ◽  
Author(s):  
M. Katz ◽  
C. Domshlak

State-space search with explicit abstraction heuristics is at the state of the art of cost-optimal planning. These heuristics are inherently limited, nonetheless, because the size of the abstract space must be bounded by some, even if a very large, constant. Targeting this shortcoming, we introduce the notion of (additive) implicit abstractions, in which the planning task is abstracted by instances of tractable fragments of optimal planning. We then introduce a concrete setting of this framework, called fork-decomposition, that is based on two novel fragments of tractable cost-optimal planning. The induced admissible heuristics are then studied formally and empirically. This study testifies for the accuracy of the fork decomposition heuristics, yet our empirical evaluation also stresses the tradeoff between their accuracy and the runtime complexity of computing them. Indeed, some of the power of the explicit abstraction heuristics comes from precomputing the heuristic function offline and then determining h(s) for each evaluated state s by a very fast lookup in a ``database.'' By contrast, while fork-decomposition heuristics can be calculated in polynomial time, computing them is far from being fast. To address this problem, we show that the time-per-node complexity bottleneck of the fork-decomposition heuristics can be successfully overcome. We demonstrate that an equivalent of the explicit abstraction notion of a ``database'' exists for the fork-decomposition abstractions as well, despite their exponential-size abstract spaces. We then verify empirically that heuristic search with the ``databased" fork-decomposition heuristics favorably competes with the state of the art of cost-optimal planning.


2018 ◽  
Vol 62 (2) ◽  
pp. 97-107 ◽  
Author(s):  
Nina Keith

Abstract. The positive effects of goal setting on motivation and performance are among the most established findings of industrial–organizational psychology. Accordingly, goal setting is a common management technique. Lately, however, potential negative effects of goal-setting, for example, on unethical behavior, are increasingly being discussed. This research replicates and extends a laboratory experiment conducted in the United States. In one of three goal conditions (do-your-best goals, consistently high goals, increasingly high goals), 101 participants worked on a search task in five rounds. Half of them (transparency yes/no) were informed at the outset about goal development. We did not find the expected effects on unethical behavior but medium-to-large effects on subjective variables: Perceived fairness of goals and goal commitment were least favorable in the increasing-goal condition, particularly in later goal rounds. Results indicate that when designing goal-setting interventions, organizations may consider potential undesirable long-term effects.


Crisis ◽  
2013 ◽  
Vol 34 (5) ◽  
pp. 348-353 ◽  
Author(s):  
Hajime Sueki

Background: Previous studies have shown that suicide-related Internet use can have both negative and positive psychological effects. Aims: This study examined the effect of suicide-related Internet use on users’ suicidal ideation, depression/anxiety tendency, and loneliness. Method: A two-wave panel study of 850 Internet users was conducted via the Internet. Results: Suicide-related Internet use (e.g., browsing websites about suicide methods) had negative effects on suicidal ideation and depression/anxiety tendency. No forms of suicide-related Internet use, even those that would generally be considered positive, were found to decrease users’ suicidal ideation. In addition, our results suggest that the greater the suicidal ideation and feelings of depression and loneliness of Internet users, the more they used the Internet. Conclusion: Since suicide-related Internet use can adversely influence the mental health of young adults, it is necessary to take measures to reduce their exposure to such information.


Crisis ◽  
2020 ◽  
pp. 1-8
Author(s):  
Christian Ulrich Eriksen ◽  
Flemming Konradsen ◽  
Thilde Vildekilde

Abstract. Background: Information on methods of suicide is available online, and access to information on methods of suicide appears to contribute to a small but significant proportion of suicides. There is limited documentation of how methods of suicide are being profiled, as well as what content exists in other languages than English. Aim: We aimed to analyze and compare how methods of suicide are profiled on Danish and English-language websites. Method: We applied a categorization and content analysis of websites describing methods of suicide. Sites were retrieved by applying widely used Danish and English-language search terms. Results: A total of 136 English-language websites and 106 Danish-language websites were included for analysis. Websites were more often categorized as prevention or support sites, academic or policy sites, and against suicide sites than dedicated suicide sites (i.e., pro-suicide sites), or information sites. However, information on methods of suicide was available, and 20.1% and 8.9% of the English and Danish-language sites, respectively, suggested that a particular method of suicide was quick, easy, painless, or certain to result in death. Limitations: Only one author coded and analyzed all websites. A further operationalization of the content analysis checklist is warranted to increase reliability. Conclusion: The websites primarily had a prevention or anti-suicide focus, but information on methods of suicide was available, requiring an increased focus on how to diminish the negative effects of harmful online content.


2020 ◽  
Vol 25 (1) ◽  
pp. 1-15 ◽  
Author(s):  
Amaia Del Campo ◽  
Marisalva Fávero

Abstract. During the last decades, several studies have been conducted on the effectiveness of sexual abuse prevention programs implemented in different countries. In this article, we present a review of 70 studies (1981–2017) evaluating prevention programs, conducted mostly in the United States and Canada, although with a considerable presence also in other countries, such as New Zealand and the United Kingdom. The results of these studies, in general, are very promising and encourage us to continue this type of intervention, almost unanimously confirming its effectiveness. Prevention programs encourage children and adolescents to report the abuse experienced and they may help to reduce the trauma of sexual abuse if there are victims among the participants. We also found that some evaluations have not considered the possible negative effects of this type of programs in the event that they are applied inappropriately. Finally, we present some methodological considerations as critical analysis to this type of evaluations.


2020 ◽  
Vol 19 (2) ◽  
pp. 86-96
Author(s):  
Isaac A. Lindquist ◽  
Emily E. Adams ◽  
Joseph A. Allen

Abstract. Most employees participate in workplace meetings, and their experiences in meetings can vary greatly, which can lead to positive or negative effects on both job attitudes and behavior. In this study, we examined the effect that a meeting attendee’s competence in the meeting topic had on their participation in the meeting and their perception of meeting effectiveness. Results indicated those with higher levels of competence in the meeting topic were more likely to participate and through participation found their meeting more effective; this relationship was stronger when employee dissent in the meetings was high. Leaders should ensure that those who are present in a meeting are competent in the topic of the meeting and encourage them to participate.


Author(s):  
Jeeyun Oh ◽  
Mun-Young Chung ◽  
Sangyong Han

Despite of the popularity of interactive movie trailers, rigorous research on one of the most apparent features of these interfaces – the level of user control – has been scarce. This study explored the effects of user control on users’ immersion and enjoyment of the movie trailers, moderated by the content type. We conducted a 2 (high user control versus low user control) × 2 (drama film trailer versus documentary film trailer) mixed-design factorial experiment. The results showed that the level of user control over movie trailer interfaces decreased users’ immersion when the trailer had an element of traditional story structure, such as a drama film trailer. Participants in the high user control condition answered that they were less fascinated with, absorbed in, focused on, mentally involved with, and emotionally affected by the movie trailer than participants in the low user control condition only with the drama movie trailer. The negative effects of user control on the level of immersion for the drama trailer translated into users’ enjoyment. The impact of user control over interfaces on immersion and enjoyment varies depending on the nature of the media content, which suggests a possible trade-off between the level of user control and entertainment outcomes.


Sign in / Sign up

Export Citation Format

Share Document