Constraint-Based Reasoning


New Content Exploration Experience in BME

#artificialintelligence

As a creative marketer, you are already living and breathing the content you create, manage, and deliver to your audience. But if you're like most of us, it can sometimes be hard to see the forest for the trees. With that in mind, we have developed a powerful new platform for exploring and managing content within the Boomtrain Marketing Engine. This new feature allows you to easily see what content Boomtrain has ingested from your site, explore your content through flexible and powerful filtering, and establish global constraints for content recommendations within Boomtrain.


Deploying Constraint Programming for Testing ABB's Painting Robots

AI Magazine

Open Access Subscription Access Deploying Constraint Programming for Testing ABB's Painting Robots Morten Mossige, Arnaud Gotlieb, Hein Meling Abstract This report explores the use of constraint programming for the validation of ABB Robotics' painting robots. This report explores the use of constraint programming for the validation of ABB Robotics' painting robots.


The Road to Satisfaction: An Introduction to Constraint Programming

#artificialintelligence

There are many combinatorial problems in artificial intelligence, computer hardware design, production scheduling, timetabling, and product configuration that can be formulated and solved using boolean satisfiability (SAT) or constraint programming (CP). Over the past 10-15 years significant advances have been made in terms of the scalability of these problem solving approaches to the point where we can now solve instances with millions of variables. The'no free lunch' theorem tells us that there is no one best method for solving combinatorial problems. This opens the door for the application of machine learning techniques to improve the use of SAT and CP methods.


Using Global Constraints to Automate Regression Testing

AI Magazine

However, the selection of test cases in regression testing is challenging as the time available for testing is limited and some selection criteria must be respected. This problem, coined as Test Suite Reduction (TSR), is usually addressed by validation engineers through manual analysis or by using approximation techniques. By associating each test case a cost-value aggregating distinct criteria, such as execution time, priority or importance due to the error-proneness of each test case, we propose several constraint optimization models to find a subset of test cases covering all the test requirements and optimizing the overall cost of selected test cases. Our overall goal is to develop a constraint-based approach of test suite reduction that can be deployed to test a complete product line of conferencing systems in continuous delivery mode.


Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems - ScienceDirect

AITopics Original Links

The paper describes a simple heuristic approach to solving large-scale constraint satisfaction and scheduling problems. The search can be guided by a value-ordering heuristic, the min-conflicts heuristic, that attempts to minimize the number of constraint violations after each step. We demonstrate empirically that on the n-queens problem, a technique based on this approach performs orders of magnitude better than traditional backtracking techniques. We also describe a scheduling application where the approach has been used successfully.


Gradience in Grammar: Experimental and Computational Aspects of Degrees of Grammaticality

AITopics Original Links

In the experimental part of the thesis (Chapters 3-5), we present a set of magnitude estimation experiments investigating gradience in grammar. First, they demonstrate that an experimental investigation of gradient phenomena can advance linguistic theory by uncovering acceptability distinctions that have gone unnoticed in the theoretical literature. We propose an extension, Linear Optimality Theory, motivated by our experimental results on constraint ranking and the cumulativity of violations. On a theoretical level, our modeling results show that certain properties of gradient data (the hard/soft distinction, context effects, and crosslinguistic effects) do not have to be stipulated, but follow from core assumptions of Linear Optimality Theory.


Artificial Intelligence: A Modern Approach

AITopics Original Links

The 22nd most cited computer science publication on Citeseer (and 4th most cited publication of this century). What's New Free Online AI course, Berkeley's CS 188, offered through edX. Free Online AI course, Berkeley's CS 188, offered through edX. Free Online AI course, Berkeley's CS 188, offered through edX.


Traveling Salesman Problem

AITopics Original Links

The Traveling Salesman Problem is one of the most intensively studied problems in computational mathematics. These pages are devoted to the history, applications, and current research of this challenge of finding the shortest route visiting each member of a collection of locations and returning to your starting point.


Guide to Constraint Programming

AITopics Original Links

Welcome to the On-Line Guide to CONSTRAINT PROGRAMMING designed and maintained by Roman Barták. I have opened this site as an on-line tutorial or, if you want, a textbook for beginners to the area of constraint programming. This area belongs to the less known software technologies but it rapidly evolves and brings a significant commercial interest.


AIspace

AITopics Original Links

Description: Constraint satisfaction problems (CSPs) are pervasive in AI problems. A constraint satisfaction problem is the problem of assigning values to variables that satisfy some constraints. This constraint satisfaction problem solver (arc consistency) tool is designed to help you learn about solving CSPs with a systematic search technique called arc consistency.