Terminological reasoning with constraint handling rules

Constraint handling rules (CHRs) are a flexible means to implement \u27user-defined\u27 constraints on top of existing host languages (like Prolog and Lisp). Recently, M. Schmidt-Schauß and G. Smolka proposed a new methodology for constructing sound and complete inference algorithms for terminological knowledge representation formalisms in the tradition of KLONE. We propose CHRs as a flexible implementation language for the consistency test of assertions, which is the basis for all terminological reasoning services. The implementation results in a natural combination of three layers: (i) a constraint layer that reasons in well- understood domains such as rationals or finite domains, (ii) a terminological layer providing a tailored, validated vocabulary on which (iii) the application layer can rely. The flexibility of the approach will be illustrated by extending the formalism, its implementation and an application example (solving configuration problems) with attributes, a new quantifier and concrete domains

Logic Programming for Describing and Solving Planning Problems

A logic programming paradigm which expresses solutions to problems as stable models has recently been promoted as a declarative approach to solving various combinatorial and search problems, including planning problems. In this paradigm, all program rules are considered as constraints and solutions are stable models of the rule set. This is a rather radical departure from the standard paradigm of logic programming. In this paper we revisit abductive logic programming and argue that it allows a programming style which is as declarative as programming based on stable models. However, within abductive logic programming, one has two kinds of rules. On the one hand predicate definitions (which may depend on the abducibles) which are nothing else than standard logic programs (with their non-monotonic semantics when containing with negation); on the other hand rules which constrain the models for the abducibles. In this sense abductive logic programming is a smooth extension of the standard paradigm of logic programming, not a radical departure.Comment: 8 pages, no figures, Eighth International Workshop on Nonmonotonic Reasoning, special track on Representing Actions and Plannin

Automated Discharging Arguments for Density Problems in Grids

Discharging arguments demonstrate a connection between local structure and global averages. This makes it an effective tool for proving lower bounds on the density of special sets in infinite grids. However, the minimum density of an identifying code in the hexagonal grid remains open, with an upper bound of $\frac{3}{7} \approx 0.428571$ and a lower bound of $\frac{5}{12}\approx 0.416666$. We present a new, experimental framework for producing discharging arguments using an algorithm. This algorithm replaces the lengthy case analysis of human-written discharging arguments with a linear program that produces the best possible lower bound using the specified set of discharging rules. We use this framework to present a lower bound of $\frac{23}{55} \approx 0.418181$ on the density of an identifying code in the hexagonal grid, and also find several sharp lower bounds for variations on identifying codes in the hexagonal, square, and triangular grids.Comment: This is an extended abstract, with 10 pages, 2 appendices, 5 tables, and 2 figure

Constraint-based adaptation for complex space configuration in building services

In this paper an object-based CAD programming is used to take advantage of standardization to handle the schematic design, sizing and layout planning for ceiling mounted fan coil system in a building ceiling void. In order to deal with more complex geometry and real building size, we have used a hybrid approach combining case-based reasoning and constraint programming techniques. Very often, building services engineers use previous solutions and adapt them to new problems. Case-based reasoning mirrors this practical approach and did help us deal effectively with increasingly complex geometry. Our approach combines automation and interactivity. From the specification of the building 3D BIM model, our software prototype proceeds through four steps. First, the user divides the building into zones, each zone being defined by a geometrical primitive (i.e. rectangle zone, triangle zone, curved zone, etc.). Next, for each zone a similar case is retrieved from the case library. The retrieval process will generate a first incomplete 3D solution containing some inconsistencies. Next, the incomplete solution is adapted, using constraint programming techniques, to provide a consistent solution. Finally, distribution routes (i.e. ducts and pipes) are generated using constraint programming techniques. The 3D fan coil solution can be modified or improved by the designer, while providing further contribution by concentrating on interactivity. The project has been funded by the Engineering and Physical Sciences Research Council (EPSRC) in the UK