scholarly journals Finding Optimal Solutions in HTN Planning - A SAT-based Approach

2019 ◽  
Author(s):  
Gregor Behnke ◽  
Daniel Höller ◽  
Susanne Biundo
Keyword(s):  
Propositional Logic ◽  
Propositional Formula ◽  
Optimal Solutions ◽  
Hierarchical Task Network ◽  
New Approaches ◽  
Htn Planning ◽  
Overall Performance ◽  
The Relationship

Over the last years, several new approaches to Hierarchical Task Network (HTN) planning have been proposed that increased the overall performance of HTN planners. However, the focus has been on agile planning - on finding a solution as quickly as possible. Little work has been done on finding optimal plans. We show how the currently best-performing approach to HTN planning - the translation into propositional logic - can be utilised to find optimal plans. Such SAT-based planners usually bound the HTN problem to a certain depth of decomposition and then translate the problem into a propositional formula. To generate optimal plans, the length of the solution has to be bounded instead of the decomposition depth. We show the relationship between these bounds and how it can be handled algorithmically. Based on this, we propose an optimal SAT-based HTN planner and show that it performs favourably on a benchmark set.

scholarly journals Lilotane: A Lifted SAT-based Approach to Hierarchical Planning

2021 ◽  
Vol 70 ◽  
pp. 1117-1181
Author(s):  
Dominik Schreiber
Keyword(s):  
Worst Case Analysis ◽  
Propositional Formula ◽  
Layer By Layer ◽  
Worst Case ◽  
Hierarchical Task Network ◽  
Htn Planning ◽  
Preliminary Version ◽  
Sat Encoding ◽  
Task Networks ◽  
International Planning

One of the oldest and most popular approaches to automated planning is to encode the problem at hand into a propositional formula and use a Satisfiability (SAT) solver to find a solution. In all established SAT-based approaches for Hierarchical Task Network (HTN) planning, grounding the problem is necessary and oftentimes introduces a combinatorial blowup in terms of the number of actions and reductions to encode. Our contribution named Lilotane (Lifted Logic for Task Networks) eliminates this issue for Totally Ordered HTN planning by directly encoding the lifted representation of the problem at hand. We lazily instantiate the problem hierarchy layer by layer and use a novel SAT encoding which allows us to defer decisions regarding method arguments to the stage of SAT solving. We show the correctness of our encoding and compare it to the best performing prior SAT encoding in a worst-case analysis. Empirical evaluations confirm that Lilotane outperforms established SAT-based approaches, often by orders of magnitude, produces much smaller formulae on average, and compares favorably to other state-of-the-art HTN planners regarding robustness and plan quality. In the International Planning Competition (IPC) 2020, a preliminary version of Lilotane scored the second place. We expect these considerable improvements to SAT-based HTN planning to open up new perspectives for SAT-based approaches in related problem classes.

The Impact of Bar Service Operation Practices on Organizational Performance in Indian Hotel Industry

2015 ◽  
Vol 8 (1) ◽  
Author(s):  
Mohinder C. Dhiman ◽  
Abhishek Ghai
Keyword(s):  
Organizational Performance ◽  
Hotel Industry ◽  
Demographic Variables ◽  
Study Results ◽  
Service Operation ◽  
Managerial Implications ◽  
Overall Performance ◽  
The Impact ◽  
The Relationship ◽  
Bivariate Test

The paper has a two fold purpose - examine the impact of bar service operation practices (BSOP) on organizational performance (OP) and study the relationship between organizational performance and demographic variables. Based on a survey of 362 bar managers perceptions on the impact of bar service operation practices on organizational performance were assessed by 59 practices and 6 demographic variables. Bivariate test and ANOVA were employed to test the working hypothesis in the study. Results indicated that there is a positive relationship between the bar service operation practices and organizational performance. Further, the results indicate some practical and managerial implications to improve organizational overall performance.

Emotion information processing as a new component of emotional intelligence: Theoretical framework and empirical evidence

2021 ◽  
pp. 089020702110076
Author(s):  
Marina Fiori ◽  
Shagini Udayar ◽  
Ashley Vesely Maillefer
Keyword(s):  
Emotional Intelligence ◽  
Information Processing ◽  
Incremental Validity ◽  
Stressful Situation ◽  
Factorial Structure ◽  
Ability Emotional Intelligence ◽  
Processing Component ◽  
Overall Performance ◽  
The Relationship

The relationship between emotional intelligence (EI) and emotion information processing (EIP) has received surprisingly little attention in the literature. The present research addresses these gaps in the literature by introducing a conceptualization of emotional intelligence as composed of two distinct components: (1) EIK or emotion Knowledge component, captured by current ability emotional intelligence tests, related to top-down, higher order reasoning about emotions, and which depends more strongly on acquired and culture-bound knowledge about emotions; (2) EIP or emotion information Processing component, measured with emotion information processing tasks, requires faster processing and is based on bottom-up attention-related responses to emotion information. In Study 1 ( N = 349) we tested the factorial structure of this new EIP component within the nomological network of intelligence and current ability emotional intelligence. In Study 2 ( N =111) we tested the incremental validity of EIP in predicting both overall performance and the charisma of a presenter while presenting in a stressful situation. Results support the importance of acknowledging the role of emotion information processing in the emotional intelligence literature and point to the utility of introducing a new EI measure that would capture stable individual differences in how individuals process emotion information.

scholarly journals Demystifying Learning Analytics in Personalised Learning

2018 ◽  
Vol 7 (3) ◽  
pp. 1124 ◽  
Author(s):  
Andino Maseleno ◽  
Noraisikin Sabani ◽  
Miftachul Huda ◽  
Roslee Ahmad ◽  
Kamarul Azmi Jasmi ◽  
...  
Keyword(s):  
Learning Environment ◽  
Learning Process ◽  
Learning Analytics ◽  
Educational Institutions ◽  
Learning Resources ◽  
Personalised Learning ◽  
Report Data ◽  
Overall Performance ◽  
The Relationship ◽  
Specific Learning

This paper presents learning analytics as a mean to improve students’ learning. Most learning analytics tools are developed by in-house individual educational institutions to meet the specific needs of their students. Learning analytics is defined as a way to measure, collect, analyse and report data about learners and their context, for the purpose of understanding and optimizing learning. The paper concludes by highlighting framework of learning analytics in order to improve personalised learning. In addition, it is an endeavour to define the characterising features that represents the relationship between learning analytics and personalised learning environment. The paper proposes that learning analytics is dependent on personalised approach for both educators and students. From a learning perspective, students can be supported with specific learning process and reflection visualisation that compares their respective performances to the overall performance of a course. Furthermore, the learners may be provided with personalised recommendations for suitable learning resources, learning paths, or peer students through recommending system. The paper’s contribution to knowledge is in considering personalised learning within the context framework of learning analytics. 

Micro-loans and financial performance: a case of a Chinese commercial bank

2021 ◽  
Vol ahead-of-print (ahead-of-print) ◽  
Author(s):  
Jasmine Alam ◽  
Mustapha Ibn Boamah ◽  
Yuheng Liu
Keyword(s):  
Corporate Social Responsibility ◽  
Social Responsibility ◽  
Financial Performance ◽  
Design Methodology ◽  
Annual Reports ◽  
Content Type ◽  
Overall Performance ◽  
Corporate Social ◽  
Corporate Social Responsibility Reports ◽  
The Relationship

Purpose This study aims to investigate the relationship between a commercial bank’s micro-loaning activity and overall performance over a 10-year period. Design/methodology/approach Quarterly data was obtained from the Wind Database, China Minsheng Banks’s official annual reports and annual corporate social responsibility reports from 2009 to 2019, to test the linear relationship between micro-loan activities and the overall financial performance of the bank. Findings The results of this study empirically demonstrate that there is a positive relationship between increases in micro-loaning activity and the overall performance of the bank. Some key recommendations for the sector are shared in the conclusion of this paper. Originality/value In the financial sector, some corporate social responsibility activities focus on the issuance of micro-loans. It is unclear, however, if this has also served as a means to increase profitability and overall performance for such institutions.

scholarly journals Residents' Procedural Experience Does Not Ensure Competence: A Research Synthesis

2017 ◽  
Vol 9 (2) ◽  
pp. 201-208 ◽  
Author(s):  
Jeffrey H. Barsuk ◽  
Elaine R. Cohen ◽  
Joe Feinglass ◽  
William C. McGaghie ◽  
Diane B. Wayne
Keyword(s):  
Venous Catheter ◽  
Research Synthesis ◽  
Medical Procedure ◽  
Clinical Procedures ◽  
Simulated Performance ◽  
Northwestern University ◽  
Minimum Number ◽  
Overall Performance ◽  
Using Data ◽  
The Relationship

ABSTRACT Background Many medical certifying bodies require that a minimum number of clinical procedures be completed during residency training to obtain board eligibility. However, little is known about the relationship between the number of procedures residents perform and their clinical competence. Objective This study evaluated associations between residents' medical procedure skills measured in a simulation laboratory and self-reported procedure experience and year of training. Methods This research synthesis extracted and summarized data from multiple cohorts of internal medicine, emergency medicine, anesthesiology, and neurology resident physicians who performed simulated clinical procedures. The procedures were central venous catheter insertion, lumbar puncture, paracentesis, and thoracentesis. We compared residents' baseline simulated performance to their self-reported procedure experience using data from 7 research reports written by Northwestern University investigators between 2006 and 2016. We also evaluated how performance differed by postgraduate year (PGY). Results A total of 588 simulated procedures were performed during the study period. We found significant associations between passing the skills examinations and higher number of self-reported procedures performed (P = .011) and higher PGY (P < .001). However, performance for all procedures was poor, as only 10% of residents passed the assessments with a mean of 48% of checklist items correct (SD = 24.2). The association between passing the skills examination and year of training was mostly due to differences between PGY-1 and subsequent years of training. Conclusions Despite positive associations between self-reported experience and simulated procedure performance, overall performance was poor. Residents' clinical experience is not a proxy for skill.

scholarly journals Preface. Religion and education

2014 ◽  
pp. 5-7
Author(s):  
Liudmyla O. Fylypovych
Keyword(s):  
Human Existence ◽  
New Approaches ◽  
The World ◽  
Information Research ◽  
External Forces ◽  
The Relationship ◽  
The Brain ◽  
Negative Sense

Religion and education are a topic that has emerged relatively recently in the Ukrainian information, research, and educational space. The relationship between religion and education meditated before, but usually in a negative sense. New circumstances also dictate new approaches to the stated topic. Polyphony of thoughts holds in itself and explicit criticism of any possibility of coexistence of religion and education, vulgarly linking religion with obscurantism, which can not bear any enlightenment, blurring the brain of a person. Such pre-historic estimates of religion are less and less popular in society, which in those years has "opened" a religion (as opposed to the present and still existing perception of it as a fantastic reflection in the heads of people of those external forces that prevail over them) as a spiritually rich reality as something that fills the meaning of human existence, defines the vocation of the person asserting it in the world, in society, in their own lives.

scholarly journals State and Private Archives: Construction of the System of Relations and Opportunities of Cooperation

Atlanti ◽  
2018 ◽  
Vol 28 (1) ◽  
pp. 229-237
Author(s):  
Andrei Rybakou
Keyword(s):  
Future Generations ◽  
Archival Science ◽  
Optimal Solutions ◽  
Public And Private ◽  
Private Organizations ◽  
Permanent Storage ◽  
State Archives ◽  
The Relationship

The article is devoted to the search for optimal solutions for building the relationship between public and private archives. The author acknowledges that the documents formed in the activities of private organizations have value and are subject to permanent storage for future generations. However, it is impossible to keep all the documentation, therefore, when selecting documents for permanent storage, it is necessary to take into account the principles and criteria for disposal developed by archival science, to apply them in a complex and creatively. When organizing work with private archives and accepting their documents in state archives, it is necessary to proceed from the property of the documents and, depending on the established legal relations and the value of documents of specific organizations, apply different approaches.

scholarly journals New Approaches to Documenting Performance in the Museum: Value, History, and Strategy

2021 ◽  
Author(s):  
Acatia Finbow
Keyword(s):  
Effective Activation ◽  
The Past ◽  
New Approaches ◽  
Future Value ◽  
Value History ◽  
And Performance ◽  
The Relationship ◽  
Radical Shift ◽  
Museum Value

This chapter shows how over the past two decades the relationship between the museum and performance has undergone a radical shift with the acquisition of performance-based artworks into the collection, shifting the role of the museum from that of a repository to that of a vital participant in the activation of the work. This chapter reflects on the new value this turn affords to documentation, and on how it is being used to support the effective activation of performance-based artworks in the museum. It reflects particularly on Tate’s development of documentation practices that address these new institutional needs and on how these navigate both immediate and potential future value.

Reexamining the relationship between design performance and the design process using reflection in action

2012 ◽  
Vol 26 (2) ◽  
pp. 205-219 ◽  
Author(s):  
Hsien-Hui Tang ◽  
Yuying Y. Lee ◽  
Wenzhi Chen
Keyword(s):  
Design Process ◽  
Collaborative Design ◽  
Statistical Correlation ◽  
Statistical Testing ◽  
Improve Design ◽  
Design Performance ◽  
Reflection In Action ◽  
Quantitative Results ◽  
Overall Performance ◽  
The Relationship

AbstractReflective actions in collaborative design can potentially improve design performance and results. This paper quantitatively reexamines the relationships between reflective activities and design performance during the collaborative design process in terms of reflection in action. Twenty sets of protocol data were encoded by a modified version of Valkenburg and Dorst's coding scheme. Using statistical testing, the relationship between the design performance and the number of activities plus the transitions was examined. A significant statistical correlation was found between the percentage of mature framing (setting up of a desired goal with sufficient follow-ups) and the overall performance. These quantitative results verify the qualitative findings of the previous study.

Sign in / Sign up

Export Citation Format

Share Document