scholarly journals Lifted Fact-Alternating Mutex Groups and Pruned Grounding of Classical Planning Problems

2020 ◽  
Vol 34 (06) ◽  
pp. 9835-9842
Author(s):  
Daniel Fišer
Keyword(s):  
Positive Impact ◽  
Planning System ◽  
Inference Algorithm ◽  
Planning Problems ◽  
Pruning Techniques

In this paper, we focus on the inference of mutex groups in the lifted (PDDL) representation. We formalize the inference and prove that the most commonly used translator from the Fast Downward (FD) planning system infers a certain subclass of mutex groups, called fact-alternating mutex groups (fam-groups). Based on that, we show that the previously proposed fam-groups-based pruning techniques for the STRIPS representation can be utilized during the grounding process with lifted fam-groups, i.e., before the full STRIPS representation is known. Furthermore, we propose an improved inference algorithm for lifted fam-groups that produces a richer set of fam-groups than the FD translator and we demonstrate a positive impact on the number of pruned operators and overall coverage.

scholarly journals On Reachability, Relevance, and Resolution in the Planning as Satisfiability Approach

2001 ◽  
Vol 14 ◽  
pp. 1-28 ◽  
Author(s):  
R. I. Brafman
Keyword(s):  
Relative Merit ◽  
Pruning Algorithms ◽  
Unit Propagation ◽  
Planning Problems ◽  
Pruning Techniques ◽  
Shed Light ◽  
Pruning Methods

In recent years, there is a growing awareness of the importance of reachability and relevance-based pruning techniques for planning, but little work specifically targets these techniques. In this paper, we compare the ability of two classes of algorithms to propagate and discover reachability and relevance constraints in classical planning problems. The first class of algorithms operates on SAT encoded planning problems obtained using the linear and Graphplan encoding schemes. It applies unit-propagation and more general resolution steps (involving larger clauses) to these plan encodings. The second class operates at the plan level and contains two families of pruning algorithms: Reachable-k and Relevant-k. Reachable-k provides a coherent description of a number of existing forward pruning techniques used in numerous algorithms, while Relevant-k captures different grades of backward pruning. Our results shed light on the ability of different plan-encoding schemes to propagate information forward and backward and on the relative merit of plan-level and SAT-level pruning methods.

scholarly journals HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems

2020 ◽  
Vol 34 (06) ◽  
pp. 9883-9891 ◽  
Author(s):  
Daniel Höller ◽  
Gregor Behnke ◽  
Pascal Bercher ◽  
Susanne Biundo ◽  
Humbert Fiorino ◽  
...  
Keyword(s):  
Planning System ◽  
Hierarchical Planning ◽  
Planning Systems ◽  
Description Language ◽  
Input Language ◽  
Common Input ◽  
Modeling Process ◽  
Planning Problems ◽  
Domain Independent ◽  
Tailored Advice

The research in hierarchical planning has made considerable progress in the last few years. Many recent systems do not rely on hand-tailored advice anymore to find solutions, but are supposed to be domain-independent systems that come with sophisticated solving techniques. In principle, this development would make the comparison between systems easier (because the domains are not tailored to a single system anymore) and – much more important – also the integration into other systems, because the modeling process is less tedious (due to the lack of advice) and there is no (or less) commitment to a certain planning system the model is created for. However, these advantages are destroyed by the lack of a common input language and feature set supported by the different systems. In this paper, we propose an extension to PDDL, the description language used in non-hierarchical planning, to the needs of hierarchical planning systems.

Declarative Planning and Knowledge Representation in an Action Language

2011 ◽  
pp. 192-221 ◽  
Author(s):  
Thomas Eiter ◽  
Wolfgang Faber ◽  
Gerald Pfeifer
Keyword(s):  
Knowledge Representation ◽  
Logic Programming ◽  
Planning System ◽  
Epistemic State ◽  
Action Languages ◽  
Knowledge States ◽  
Action Language ◽  
High Level ◽  
Planning Problems ◽  
Complex Planning

This chapter introduces planning and knowledge representation in the declarative action language K. Rooted in the area of Knowledge Representation & Reasoning, action languages like K allow the formalization of complex planning problems involving non-determinism and incomplete knowledge in a very flexible manner. By giving an overview of existing planning languages and comparing these against our language, we aim on further promoting the applicability and usefulness of high-level action languages in the area of planning. As opposed to previously existing languages for modeling actions and change, K adopts a logic programming view where fluents representing the epistemic state of an agent might be true, false or undefined in each state. We will show that this view of knowledge states can be fruitfully applied to several well-known planning domains from the literature as well as novel planning domains. Remarkably, K often allows to model problems more concisely than previous action languages. All the examples given can be tested in an available implementation, the DLVK planning system.

Lean manufacturing: The history and our time

2021 ◽  
Vol 17 (9) ◽  
pp. 1650-1669
Author(s):  
Ekaterina N. STRIZHAKOVA ◽  
Dmitrii V. STRIZHAKOV
Keyword(s):  
Production Process ◽  
Lean Manufacturing ◽  
Positive Impact ◽  
Manufacturing Sector ◽  
Lean Production ◽  
Economic Security ◽  
Production Model ◽  
Planning System ◽  
Industrial Enterprises ◽  
Production Concept

Subject. The article discusses the use of the lean production concept at the production enterprise. Objectives. We evaluate the existing lean production toolkit, determine opportunities for their implementation and possible difficulties. Methods. Methodologically, the study is based on the comparative analysis of methods that constitute the lean production system. Results. We review one of the economic security aspects for Russia, such as an increased production competitiveness due to the ubiquitous implementation and use of lean production instruments. We conducted an historical analysis of the origination and development of the production process approach. Some lean production tools and aspects were proved to have been designed and actively used in the USSR manufacturing sector since the 1960s. The lean production concept was found to become very appropriate for enterprises. We analyzed the continuing production planning system by A.S. Rodov, which were in use ans proved its high cost efficiency at the USSR industrial enterprises. We also delved into the profit generating production process that was put in place in Toyota. The article provides the comparative description of modern lean production methods and concludes on their future use. Conclusions. Having compared the Soviet lean production model and the classical Japanese one, we concluded on the use of such production process methods that really went beyond their time. In the mean time, the Soviet model was simpler to use and implement. Based on the overview of modern lean production tools that evolved from the Soviet and Japanese lean production theories, we believe that the lean production principles and methods will have a positive impact on the efficiency and competitiveness of the national manufacturing sector.

Design and simulation in SAR satellites’ task planning system using genetic algorithm with entropy operator

2021 ◽  
Vol ahead-of-print (ahead-of-print) ◽  
Author(s):  
Wan Liu ◽  
Zeyu Li ◽  
Li Chen ◽  
Dexin Zhang ◽  
Xiaowei Shao
Keyword(s):  
Genetic Algorithm ◽  
Satellite Observation ◽  
Operating Costs ◽  
Planning System ◽  
Task Planning ◽  
Content Type ◽  
Emergency Rescue ◽  
Planning Algorithm ◽  
Planning Problems ◽  
Fitness Calculation

Purpose This paper aims to innovatively propose to improve the efficiency of satellite observation and avoid the waste of satellite resources, a genetic algorithm with entropy operator (GAE) of synthetic aperture radar (SAR) satellites’ task planning algorithm. Design/methodology/approach The GAE abbreviated as GAE introduces the entropy value of each orbit task into the fitness calculation of the genetic algorithm, which makes the orbit with higher entropy value more likely to be selected and participate in the remaining process of the genetic algorithm. Findings The simulation result shows that in a condition of the same calculate ability, 85% of the orbital revisit time is unchanged or decreased and 30% is significantly reduced by using the GAE compared with traditional task planning genetic algorithm, which indicates that the GAE can improve the efficiency of satellites’ task planning. Originality/value The GAE is an optimization of the traditional genetic algorithm. It combines entropy in thermodynamics with task planning problems. The algorithm considers the whole lifecycle of task planning and gets the desired results. It can greatly improve the efficiency of task planning in observation satellites and shorten the entire task execution time. Then, using the GAE to complete SAR satellites’ task planning is of great significance in reducing satellite operating costs and emergency rescue, which brings certain economic and social benefits.

scholarly journals Solving Hard AI Planning Instances Using Curriculum-Driven Deep Reinforcement Learning

2020 ◽  
Author(s):  
Dieqiao Feng ◽  
Carla Gomes ◽  
Bart Selman
Keyword(s):  
Reinforcement Learning ◽  
Training Curriculum ◽  
Ai Planning ◽  
Significant Progress ◽  
Planning Systems ◽  
Domain Specific ◽  
Proper Training ◽  
Planning Task ◽  
Planning Problems ◽  
Pruning Techniques

Despite significant progress in general AI planning, certain domains remain out of reach of current AI planning systems. Sokoban is a PSPACE-complete planning task and represents one of the hardest domains for current AI planners. Even domain-specific specialized search methods fail quickly due to the exponential search complexity on hard instances. Our approach based on deep reinforcement learning augmented with a curriculum-driven method is the first one to solve hard instances within one day of training while other modern solvers cannot solve these instances within any reasonable time limit. In contrast to prior efforts, which use carefully handcrafted pruning techniques, our approach automatically uncovers domain structure. Our results reveal that deep RL provides a promising framework for solving previously unsolved AI planning problems, provided a proper training curriculum can be devised.

scholarly journals Implementasi Model Zonasi Penataan Pedagang Kaki Lima di Kota Bandung

2015 ◽  
Vol 10 (1) ◽  
Author(s):  
Adam Ramadhan
Keyword(s):  
Local Government ◽  
City Planning ◽  
Positive Impact ◽  
Municipal Government ◽  
City Government ◽  
Planning System ◽  
Street Vendors ◽  
Two Factors ◽  
Management And Development ◽  
The City

Maraknya pedagang kaki lima yang memadati lingkungan kota dengan menggelar dagangannya diruas jalan maupun ruang publik lainnya dirasa tidak sesuai dengan sistem penataan kota. Keadaan demikian mendesak Pemerintah Kota Bandung untuk menata PKL tersebut dengan membentuk suatu Peraturan Daerah Kota Bandung Nomor 4 Tahun 2011 Tentang Penataan dan Pembinaan Pedagang Kaki Lima. Permasalahan yang dikaji dalam penelitian ini adalah apakah  model zonanisasi penataan PKL dikota, bedampak positif terhadap kejesahteraan PKL. dan apa saja hambatan yang dihadapi pemkot kota bandung dalam model zonanisasi penataan PKL di kota Bandung. Hasil dan pembahasan dari penelitian ini adalah model zonanisasi dalam penataan PKL sangat berdampak positif terhadap kesejahteraan PKL. Kemudian ada 2 faktor hambatan yang dihadapi oleh pemkot bandung khususnya Satpol PP dalam penataan PKL yaitu faktor internal dan faktor eksternal Pemkot Bandung harus bisa meningkatkan kembali penataan keseluruh PKL yang ada di kota bandung. Kemudian perlunya pemkot menyediakan sarana dan prasarana yang lebih memadai dan terus memberikan sosialisai kepada seluruh PKL yang ada di kota Bandung tentang perda nomor 4 tahun 2011 tentang penataan dan pembinaan PKL.<br /><br /><br />The rise of street vendors who crowded city environments with hold merchandise diruas roads and other public spaces are found to be in accordance with the city planning system. Thus the state of Bandung City Government urged to organize the street vendors to establish a Regional Regulation No. 4 of 2011 Bandung About Management and Development street vendors. Issues examined in this study is whether the model zonanisasi arrangement of street vendors in the city, bedampak positively to kejesahteraan PKL. and what are the barriers faced by local government in the city of Bandung zonanisasi structuring models of street vendors in the city. Results and discussion of this study is a model in structuring PKL zonanisasi very positive impact on the welfare of street vendors. Then there are two factors barriers faced by local government, especially municipal police duo in the arrangement of street vendors ie internal factors and external factors Bandung municipal government should be able to increase the re-arrangement of existing street vendors throughout the city of Bandung. Then the need for local government to provide facilities and infrastructure more adequate and continues to provide socialization to all street vendors in the city of Bandung on regulation No. 4 of 2011 on the structuring and formation of street vendors.<br /><br />

Cooperatively Planning Sheet Metal Bending

1996 ◽  
Author(s):  
David A. Bourne ◽  
Satyandra K. Gupta ◽  
Kyoung H. Kim
Keyword(s):  
Sheet Metal ◽  
Planning System ◽  
Search Process ◽  
Tool Selection ◽  
Sheet Metal Parts ◽  
Current State ◽  
Sheet Metal Bending ◽  
Planning Problems ◽  
Robotic Grasp ◽  
Cooperative Planning

Abstract A cooperative planning system for bending sheet metal parts is presented by using a detailed example. In this example, two of subplanners (a robotic grasp planner and a tool selection planner) have conflicting results that prevent a timely solution. We show how these conflicts can be avoided by sharing constraints before the search process begins. In this discussion, we detail the decisions that are made by each of the subsystems. The resulting cooperative planner is able to solve difficult real-world planning problems, while reducing the time between design and production by 50 times from the current state of practice.

scholarly journals The Impact of Characteristics of Enterprise Resource Planning System in Improving the Effectiveness of Budgeting Systems: A Field Study of Telecommunication Companies in Yemen

2021 ◽  
Vol 27 (2) ◽  
pp. 29-50
Author(s):  
أ.د. محمد علي الربيدي ◽  
أ. محمد منصور الماس
Keyword(s):  
Enterprise Resource Planning ◽  
Financial Analysis ◽  
Positive Impact ◽  
Internal Audit ◽  
Resource Planning ◽  
Target Population ◽  
Planning System ◽  
Erp Systems ◽  
Telecommunication Companies ◽  
The Impact

This study aimed to measure the impact of characteristics of enterprise resource planning (ERP) systems in improving the effectiveness of budgeting systems on telecommunication companies in Yemen. To achieve the objective of this study, a questionnaire was designed for collecting data from the target population in the six telecommunication companies in Sana’a city in the Republic of Yemen. A sample of 135 employees in four non-governmental telecommunication companies was selected from the departments of finance, budget and financial analysis, internal audit, and information technology. The Statistical Program for Social Sciences (SPSS) was used to analyze the data. The results of the study revealed that there is statistically significant positive impact of ERP characteristics on improving the effectiveness of the budgeting system. The study recommends that telecommunication companies need to adopt the implementation of ERP systems completely to improve the effectiveness of their budgeting systems.

scholarly journals Features of formation of payment calendar for enterprises

2021 ◽  
Vol 11/2 (-) ◽  
pp. 40-42
Author(s):  
Liubov HANAS ◽  
Sofiia PALCHYNSKA
Keyword(s):  
Cash Flow ◽  
Financial Stability ◽  
Positive Impact ◽  
Cash Flows ◽  
Information Support ◽  
Planning System ◽  
Economic Activities ◽  
Cash Flow Management ◽  
Step Model ◽  
Correct Application

Introduction. The development of a payment calendar for enterprises is relevant at the moment, because in the process of analysis detected that a lot of enterprises have financial gaps. If enterprises have an inefficient cash flow planning system, as evidenced by financial gaps in production and economic activities, then there will be neccessary to develop a sequence of cash flow planning, which is the payment calendar. Due to the payment calendar will be possible to identify the periods of their occurrence, to determine the factors that affect this process, which, accordingly, will allow more effective processes of controlling and regulating the movement of funds. The main purpose of the paper is to develop a model of forming a payment calendar. The theoretical and methodological basis of the paper is the study of the process of forming a payment calendar as a tool of financial planning and diagnostics. The following methods were used in writing the paper: logical generalization, dialectical analysis, grouping, etc. Results. The paper analyzes the issues of diagnosing cash flows, considers the essence of the concept of “payment calendar” as a tool for cash flow management. The need to diagnose cash flows in order to determine possible cash gaps is determined. For the correct application of the payment calendar, has been developed a step-by-step model of its formation, which contains the stages of formation and information support for the implementation of each of the stages. In explanations for the construction of the model contain recommendations for finding reserves as a result of identifying cash gaps and shortages of funds by reducing expenditures and increasing revenues from certain activities. The step-by-step model consists of six stages that contains determined of the period of formation of the payment calendar, planned revenues, other revenues and expenditures, balance and possible surpluses and deficits of cash flows. Conclusions. The introduction of a payment calendar will have a positive impact on the functioning of the enterprise, will keep funds under constant control, which will increase financial productivity. The payment calendar allows you to save time to identify the shortcomings of the diagnosis, reduce the cost of human resources to draw conclusions about the effectiveness of the system of diagnosing cash flows, respectively, the company is able to increase its financial stability.

Sign in / Sign up

Export Citation Format

Share Document