25,546 research outputs found

    On Different Strategies for Eliminating Redundant Actions from Plans

    Get PDF
    Satisficing planning engines are often able to generate plans in a reasonable time, however, plans are often far from optimal. Such plans often contain a high number of redundant actions, that are actions, which can be removed without affecting the validity of the plans. Existing approaches for determining and eliminating redundant actions work in polynomial time, however, do not guarantee eliminating the "best" set of redundant actions, since such a problem is NP-complete. We introduce an approach which encodes the problem of determining the "best" set of redundant actions (i.e. having the maximum total-cost) as a weighted MaxSAT problem. Moreover, we adapt the existing polynomial technique which greedily tries to eliminate an action and its dependants from the plan in order to eliminate more expensive redundant actions. The proposed approaches are empirically compared to existing approaches on plans generated by state-of-the-art planning engines on standard planning benchmark

    Searching for a Solution to Program Verification=Equation Solving in CCS

    Get PDF
    International audienceUnder non-exponential discounting, we develop a dynamic theory for stopping problems in continuous time. Our framework covers discount functions that induce decreasing impatience. Due to the inherent time inconsistency, we look for equilibrium stopping policies, formulated as fixed points of an operator. Under appropriate conditions, fixed-point iterations converge to equilibrium stopping policies. This iterative approach corresponds to the hierarchy of strategic reasoning in game theory and provides “agent-specific” results: it assigns one specific equilibrium stopping policy to each agent according to her initial behavior. In particular, it leads to a precise mathematical connection between the naive behavior and the sophisticated one. Our theory is illustrated in a real options model

    A State-Based Regression Formulation for Domains with Sensing Actions<br> and Incomplete Information

    Full text link
    We present a state-based regression function for planning domains where an agent does not have complete information and may have sensing actions. We consider binary domains and employ a three-valued characterization of domains with sensing actions to define the regression function. We prove the soundness and completeness of our regression formulation with respect to the definition of progression. More specifically, we show that (i) a plan obtained through regression for a planning problem is indeed a progression solution of that planning problem, and that (ii) for each plan found through progression, using regression one obtains that plan or an equivalent one.Comment: 34 pages, 7 Figure

    Autonomous Mechanical Assembly on the Space Shuttle: An Overview

    Get PDF
    The space shuttle will be equipped with a pair of 50 ft. manipulators used to handle payloads and to perform mechanical assembly operations. Although current plans call for these manipulators to be operated by a human teleoperator. The possibility of using results from robotics and machine intelligence to automate this shuttle assembly system was investigated. The major components of an autonomous mechanical assembly system are examined, along with the technology base upon which they depend. The state of the art in advanced automation is also assessed

    Portfolio-based Planning: State of the Art, Common Practice and Open Challenges

    Get PDF
    In recent years the field of automated planning has significantly advanced and several powerful domain-independent planners have been developed. However, none of these systems clearly outperforms all the others in every known benchmark domain. This observation motivated the idea of configuring and exploiting a portfolio of planners to perform better than any individual planner: some recent planning systems based on this idea achieved significantly good results in experimental analysis and International Planning Competitions. Such results let us suppose that future challenges of the Automated Planning community will converge on designing different approaches for combining existing planning algorithms. This paper reviews existing techniques and provides an exhaustive guide to portfolio-based planning. In addition, the paper outlines open issues of existing approaches and highlights possible future evolution of these techniques

    Equilibrium and government commitment

    Get PDF
    How should a government use the power to commit to ensure a desirable equilibrium outcome? In this paper, I show a misleading aspect of what has become a standard approach to this question, and I propose an alternative. I show that the complete description of an optimal (indeed, of any) policy scheme requires outlining the consequences of paths that are often neglected. The specification of policy along those paths is crucial in determining which schemes implement a unique equilibrium and which ones leave room for multiple equilibria that depend on the expectations of the private sector.Equilibrium (Economics)

    A Multi-disciplinary Approach to the Investigation of Aspects of Serial Order in Cognition

    Get PDF
    Serial order processing or Sequence processing underlies many human activities such as speech, language, skill learning, planning, problem solving, etc. Investigating the\ud neural bases of sequence processing enables us to understand serial order in cognition and helps us building intelligent devices. In the current paper, various\ud cognitive issues related to sequence processing will be discussed with examples. Some of the issues are: distributed versus local representation, pre-wired versus\ud adaptive origins of representation, implicit versus explicit learning, fixed/flat versus hierarchical organization, timing aspects, order information embedded in sequences, primacy versus recency in list learning and aspects of sequence perception such as recognition, recall and generation. Experimental results that give evidence for the involvement of various brain areas will be described. Finally, theoretical frameworks based on Markov models and Reinforcement Learning paradigm will be presented. These theoretical ideas are useful for studying sequential phenomena in a principled way

    Decision Taking versus Action Determination

    Full text link
    Decision taking is discussed in the context of the role it may play for various types of agents, and it is contrasted with action determination. Some remarks are made about the role of decision taking and action determination in the ongoing debate concerning the reverse polder development of the hertogin Hedwige polder
    corecore