scholarly journals New trends in constraint satisfaction, planning, and scheduling: a survey

2010 ◽  
Vol 25 (3) ◽  
pp. 249-279 ◽  
Author(s):  
Roman Barták ◽  
Miguel A. Salido ◽  
Francesca Rossi

AbstractDuring recent years, the development of new techniques for constraint satisfaction, planning, and scheduling has received increased attention, and substantial effort has been invested in trying to exploit such techniques to find solutions to real-life problems. In this paper, we present a survey on constraint satisfaction, planning, and scheduling from the Artificial Intelligence point of view. In particular, we present the main definitions and techniques, and discuss possible ways of integrating such techniques. We also analyze the role of constraint satisfaction in planning and scheduling, and hint at some open research issues related to planning, scheduling, and constraint satisfaction.

2010 ◽  
Vol 25 (3) ◽  
pp. 247-248
Author(s):  
Roman Barták ◽  
Amedeo Cesta ◽  
Lee McCluskey ◽  
Miguel A. Salido

AbstractPlanning, scheduling and constraint satisfaction are important areas in artificial intelligence (AI) with broad practical applicability. Many real-world problems can be formulated as AI planning and scheduling (P&S) problems, where resources must be allocated to optimize overall performance objectives. Frequently, solving these problems requires an adequate mixture of planning, scheduling and resource allocation to competing goal activities over time in the presence of complex state-dependent constraints. Constraint satisfaction plays an important role in solving such real-life problems, and integrated techniques that manage P&S with constraint satisfaction are particularly useful. Knowledge engineering supports the solution of such problems by providing adequate modelling techniques and knowledge extraction techniques for improving the performance of planners and schedulers. Briefly speaking, knowledge engineering tools serve as a bridge between the real world and P&S systems.


Author(s):  
Anita Moum

The objective of this chapter is to identify the role of BIMs in the architectural design process from the practitioners’ point of view. The chapter investigates the main factors affecting the practitioners’ use of BIM, and how BIM impacts their work and interactions. The chapter presents a holistic research approach as well as the findings from its application in four real-life projects. In these projects, much of the practitioners’ focus was on upgrading skills and improving technology. Nevertheless, a number of their challenges were linked to the nature of the architectural design process, particularly to its “hardto- grasp” iterative and intuitive features. A conclusion of this research indicates that the role of BIM is affected by the many interdependencies, relations and interfaces embedded in the highly complex and partly unpredictable real world practice. A future challenge would be to understand, master and balance these relationships - upstream and downstream across multiple levels, processes and activities. The presented holistic research approach and the related findings contributed to research which aimed to embrace the complexity of real-life problems and gain a more comprehensive understanding of what is happening in practice.


2016 ◽  
Vol 31 (5) ◽  
pp. 415-416
Author(s):  
Miguel A. Salido ◽  
Roman Barták

AbstractThe areas of Artificial Intelligence planning and scheduling have seen important advances thanks to the application of constraint satisfaction models and techniques. Especially, solutions to many real-world problems need to integrate plan synthesis capabilities with resource allocation, which can be efficiently managed by using constraint satisfaction techniques. Constraint satisfaction plays an important role in solving such real life problems, and integrated techniques that manage planning and scheduling with constraint satisfaction are particularly useful.


2019 ◽  
Vol 1 (1) ◽  
pp. 177-183
Author(s):  
Jan Guncaga ◽  
Lilla Korenova ◽  
Jozef Hvorecky

AbstractLearning is a complex phenomenon. Contemporary theories of education underline active participation of learners in their learning processes. One of the key arguments supporting this approach is the learner’s simultaneous and unconscious development of their ability of “learning to learn”. This ability belongs to the soft skills highly valued by employers today.For Mathematics Education, it means that teachers have to go beyond making calculations and memorizing formulas. We have to teach the subject in its social context. When the students start understanding the relationship between real-life problems and the role of numbers and formulas for their solutions, their learning becomes a part of their tacit knowledge. Below we explain the theoretical background of our approach and provide examples of such activities.


Author(s):  
Marlene Arangú ◽  
Miguel Salido

A fine-grained arc-consistency algorithm for non-normalized constraint satisfaction problems Constraint programming is a powerful software technology for solving numerous real-life problems. Many of these problems can be modeled as Constraint Satisfaction Problems (CSPs) and solved using constraint programming techniques. However, solving a CSP is NP-complete so filtering techniques to reduce the search space are still necessary. Arc-consistency algorithms are widely used to prune the search space. The concept of arc-consistency is bidirectional, i.e., it must be ensured in both directions of the constraint (direct and inverse constraints). Two of the most well-known and frequently used arc-consistency algorithms for filtering CSPs are AC3 and AC4. These algorithms repeatedly carry out revisions and require support checks for identifying and deleting all unsupported values from the domains. Nevertheless, many revisions are ineffective, i.e., they cannot delete any value and consume a lot of checks and time. In this paper, we present AC4-OP, an optimized version of AC4 that manages the binary and non-normalized constraints in only one direction, storing the inverse founded supports for their later evaluation. Thus, it reduces the propagation phase avoiding unnecessary or ineffective checking. The use of AC4-OP reduces the number of constraint checks by 50% while pruning the same search space as AC4. The evaluation section shows the improvement of AC4-OP over AC4, AC6 and AC7 in random and non-normalized instances.


Author(s):  
Dimitar Christozov ◽  
Katia Rasheva-Yordanova

The article shares the authors' experiences in training bachelor-level students to explore Big Data applications in solving nowadays problems. The article discusses curriculum issues and pedagogical techniques connected to developing Big Data competencies. The following objectives are targeted: The importance and impact of making rational, data driven decisions in the Big Data era; Complexity of developing and exploring a Big Data Application in solving real life problems; Learning skills to adopt and explore emerging technologies; and Knowledge and skills to interpret and communicate results of data analysis via combining domain knowledge with system expertise. The curriculum covers: The two general uses of Big Data Analytics Applications, which are well distinguished from the point of view of end-user's objectives (presenting and visualizing data via aggregation and summarization [data warehousing: data cubes, dash boards, etc.] and learning from Data [data mining techniques]); Organization of Data Sources: distinction of Master Data from Operational Data, in particular; Extract-Transform-Load (ETL) process; and Informing vs. Misinforming, including the issue of over-trust vs. under-trust of obtained analytical results.


2020 ◽  
Vol 64 (13) ◽  
pp. 1921-1932
Author(s):  
Laura Soledad Norton

The purpose of this paper is to offer some critical comments about the collected articles, by introducing a point of view inspired by cultural psychology concerning information and communication technologies for development (ICT4D) research issues. This conception of ICTs highlights three fundamental aspects: the role of artifacts in mediating action that are culturally meaningful; the agency of people, and thus their responsibility as social actors; and the need for highly contextualized analysis. In the article, I will read these three points through the lenses of cultural psychology.


2018 ◽  
Vol 55 (1) ◽  
pp. 27-49 ◽  
Author(s):  
Anna Yström ◽  
Susanne Ollila ◽  
Marine Agogué ◽  
David Coghlan

Collaboration has become a common way for organizational actors to engage in problem solving and innovation. Yet shifting from strategic interactions (driven by reduction of transaction costs) to transformational interaction (driven by collaborative transorganizational development) appears to be difficult to achieve in practice in a network setting. This article argues that such a shift can be enhanced by adopting an action learning approach, which entails working on real-life problems without clear solutions and collectively working to resolve them. Based on an action learning research process, this article therefore explores ways to support collective knowledge creation within an interorganizational network setting. It provides rich illustrations of how the interactions in the network changed through the process, and the participants moved from a space of territorial protection to a space for collaborative exploration. From this case, the article outlines a model for learning in interorganizational networks and discusses related challenges.


Symmetry ◽  
2019 ◽  
Vol 11 (2) ◽  
pp. 246 ◽  
Author(s):  
Nizam Ghawadri ◽  
Norazak Senu ◽  
Firas Fawzi ◽  
Fudziah Ismail ◽  
Zarina Ibrahim

The primary contribution of this work is to develop direct processes of explicit Runge-Kutta type (RKT) as solutions for any fourth-order ordinary differential equation (ODEs) of the structure u ( 4 ) = f ( x , u , u ′ , u ′ ′ ) and denoted as RKTF method. We presented the associated B-series and quad-colored tree theory with the aim of deriving the prerequisites of the said order. Depending on the order conditions, the method with algebraic order four with a three-stage and order five with a four-stage denoted as RKTF4 and RKTF5 are discussed, respectively. Numerical outcomes are offered to interpret the accuracy and efficacy of the new techniques via comparisons with various currently available RK techniques after converting the problems into a system of first-order ODE systems. Application of the new methods in real-life problems in ship dynamics is discussed.


2008 ◽  
Vol 17 (01) ◽  
pp. 205-221 ◽  
Author(s):  
ROMAN BARTÁK ◽  
ONDŘEJ ČEPEK

Precedence constraints specify that an activity must finish before another activity starts and hence such constraints play a crucial role in planning and scheduling problems. Many real-life problems also include dependency constraints expressing logical relations between the activities – for example, an activity requires presence of another activity in the plan. For such problems a typical objective is a maximization of the number of activities satisfying the precedence and dependency constraints. In the paper we propose new incremental filtering rules integrating propagation through both precedence and dependency constraints. We also propose a new filtering rule using the information about the requested number of activities in the plan. We demonstrate efficiency of the proposed rules on log-based reconciliation problems and min-cutset problems.


Sign in / Sign up

Export Citation Format

Share Document