Knuth-Bendix algorithm and the conjugacy problems in monoids

We present an algorithmic approach to the conjugacy problems in monoids, using rewriting systems. We extend the classical theory of rewriting developed by Knuth and Bendix to a rewriting that takes into account the cyclic conjugates.Comment: This is a new version of the paper 'The conjugacy problems in monoids and semigroups'. This version will appear in the journal 'Semigroup forum

A new four parameter q-series identity and its partition implications

We prove a new four parameter q-hypergeometric series identity from which the three parameter key identity for the Goellnitz theorem due to Alladi, Andrews, and Gordon, follows as a special case by setting one of the parameters equal to 0. The new identity is equivalent to a four parameter partition theorem which extends the deep theorem of Goellnitz and thereby settles a problem raised by Andrews thirty years ago. Some consequences including a quadruple product extension of Jacobi's triple product identity, and prospects of future research are briefly discussed.Comment: 25 pages, in Sec. 3 Table 1 is added, discussion is added at the end of Sec. 5, minor stylistic changes, typos eliminated. To appear in Inventiones Mathematica

Rewriting Constraint Models with Metamodels

An important challenge in constraint programming is to rewrite constraint models into executable programs calculat- ing the solutions. This phase of constraint processing may require translations between constraint programming lan- guages, transformations of constraint representations, model optimizations, and tuning of solving strategies. In this paper, we introduce a pivot metamodel describing the common fea- tures of constraint models including different kinds of con- straints, statements like conditionals and loops, and other first-class elements like object classes and predicates. This metamodel is general enough to cope with the constructions of many languages, from object-oriented modeling languages to logic languages, but it is independent from them. The rewriting operations manipulate metamodel instances apart from languages. As a consequence, the rewriting operations apply whatever languages are selected and they are able to manage model semantic information. A bridge is created between the metamodel space and languages using parsing techniques. Tools from the software engineering world can be useful to implement this framework

An Algebra of Pieces of Space -- Hermann Grassmann to Gian Carlo Rota

We sketch the outlines of Gian Carlo Rota's interaction with the ideas that Hermann Grassmann developed in his Ausdehnungslehre of 1844 and 1862, as adapted and explained by Giuseppe Peano in 1888. This leads us past what Rota variously called 'Grassmann-Cayley algebra', or 'Peano spaces', to the Whitney algebra of a matroid, and finally to a resolution of the question "What, really, was Grassmann's regressive product?". This final question is the subject of ongoing joint work with Andrea Brini, Francesco Regonati, and William Schmitt. The present paper was presented at the conference "The Digital Footprint of Gian-Carlo Rota: Marbles, Boxes and Philosophy" in Milano on 17 Feb 2009. It will appear in proceedings of that conference, to be published by Springer Verlag.Comment: 28 page

Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories

The computer-mechanization of an ambitious explicit ethical theory, Gewirth's Principle of Generic Consistency, is used to showcase an approach for representing and reasoning with ethical theories exhibiting complex logical features like alethic and deontic modalities, indexicals, higher-order quantification, among others. Harnessing the high expressive power of Church's type theory as a meta-logic to semantically embed a combination of quantified non-classical logics, our work pushes existing boundaries in knowledge representation and reasoning. We demonstrate that intuitive encodings of complex ethical theories and their automation on the computer are no longer antipodes.Comment: 14 page