Denis Berthier's Web pages


permanent URL: http://www.carva.org/denis.berthier




photo


Recent works and publications


The publications below have appeared in a book, a journal or a conference record. By allowing you to download them or part of them, I am required to post the following copyright reminder:

"This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In particular, these works may not be reposted without the explicit permission of the copyright holder."

Note: all the publications mentioned below, except the two books in French, are available in pdf form on Researchgate.



Books


<> NEW "User Manual and Research Notebooks for CSP-Rules"

book cover

Book published by Lulu Press (July 2023)
342 pages, ISBN 978-1-4475-2714-5.

CSP-Rules is a generic pattern-based (or rule-based) solver of finite binary Constraint Satisfaction Problems (CSPs). This software is available on GitHub and it includes fully developed applications to various logic puzzles such as Sudoku, Latin Squares (allowing their Pandiagonal variant), Futoshiki, Kakuro, Numbrix, Hidato, Slitherlink and Map Colouring.
CSP-Rules produces not only the solution to a CSP (as all the existing CSP solvers) but also a full "resolution path", i.e. a detailed justification for each step; this is a full mathematical proof of the solution. CSP-Rules and the present book are closely related to the author's book "Pattern Based Constraint Satisfaction and Logic Puzzles", where the fundamental theory underlying the approach is presented.
This book includes an extended version of the original "Basic User Manual for CSP-Rules".
But it also introduces new powerful generic rules (OR-chains) for taking advantage of almost-contradictory patterns. In particular, it applies these chains to the analysis of a newly discovered impossible pattern (tridagon) and to the classification of a large database of extreme Sudoku puzzles that have it. It also adds the analyses of 630 impossible patterns and explains how to deal with such a large number of patterns. It shows that a handful of them provide almost the same resolution power as the full set. The long final two chapters are written as research notebooks on these very advanced topics..



<> Pattern-Based Constraint Satisfaction and Logic Puzzles (Third Edition)

book cover

A pure logic, pattern-based perspective of solving finite Constraint Satisfaction Problems, with applications to varied logic puzzles.
Book published by "Lulu.com Publishers" (November 2021)
608 pages, ISBN 978-1-326-67589-9
This is the third, revised edition of "Pattern-Based Constraint Satisfaction and Logic Puzzles" (see below).

<>   Pattern-Based Constraint Satisfaction and Logic Puzzles (Second Edition)

book cover

A pure logic, pattern-based perspective of solving finite Constraint Satisfaction Problems, with applications to varied logic puzzles.
Book published by "Lulu.com Publishers" (July 2015)
568 pages, ISBN 978-1-326-35064-2
This is the second, revised edition of "Pattern-Based Constraint Satisfaction and Logic Puzzles" (see below). It also includes an additional chapter dedicated to the Slitherlink puzzle, involving both non-binary and non-local constraints.

<>   Pattern-Based Constraint Satisfaction and Logic Puzzles

book cover

A pure logic, pattern-based perspective of solving finite Constraint Satisfaction Problems, with applications to varied logic puzzles.
Book published by "Lulu.com Publishers" (Novembre 2012)
484 pages, ISBN 978-1-291-20339-4
This is the second, revised and largely extended edition of "Constraint Resolution Theories".
This book now includes several concrete applications to logic puzzles involving very different types of constraints: Sudoku, N-Queens, Futoshiki, Kakuro (or Cross Sums), Map colouring, Numbrix©, Hidato©, ...

<>   Constraint Resolution Theories

book cover

A pure logic, pattern-based perspective of solving finite Constraint Satisfaction Problems.
Book published by "Lulu.com Publishers" (October 2011)
312 pages, ISBN 978-1-4478-6888-0

 <>  The Hidden Logic of Sudoku (Second Edition)

book cover

A new conceptual framework for solving Sudoku puzzles with pure logic.
Second, extended edition.
Book published by "Lulu.com Publishers" (Second Edition: November 2007)
416 p., ISBN 978-1-84799-214-7

<>  The Hidden Logic of Sudoku (first edition)

book cover

A new conceptual framework for solving Sudoku puzzles with pure logic.
Book published by "Lulu.com Publishers" (May 2007)
384 p., ISBN 978-1-84753-472-9

<>  Méditations sur le réel et le virtuel ("Meditations on the real and the virtual", in French)

couverture

From the virtual as a general ontological category to the sensorimotor and semiotico-cognitive interoperability between Man and the Computer : virtual worlds and virtual agents.
Book published by "Editions L'Harmattan" (May 2004)
280 p., ISBN 978-2-74756-640-7

<>   Le savoir et l'ordinateur ("Knowledge and the Computer", in French)

couverture

From information processing to knowledge processing and knowledge "sharing" between Man and the Computer: an epistemological and semiotic approach of Artificial Intelligence in terms of semiotico-cognitive interoperability.
Book published by "Editions L'Harmattan" (November 2002)
478 p., ISBN 978-2-74753-350-8
English abstract (pdf)



Papers in journals with reviewing committee


<> "Qu'est-ce que le virtuel", La Jaune et la Rouge, Juin 2007. pdf preprint

<> "Enrichissement de la modélisation des processus métiers par le paradigme des systèmes multi agents", Systèmes d'information et management, vol. 3, n° 10, pp. 25-45, 2005 - in collaboration with Chantal Morley and Michel Maurice-Demourioux. pdf preprint

<> "L'intentionnalité et le virtuel", Intellectica, n° 40, pp. 91-108, November 2005. pdf preprint

<> "Virtuel / virtual", in "Virtuel / virtual", "Dictionnaire International des Termes Littéraires / International Dictionary of Literary Terms, Jean-Marie Grassin ed., 2005
(http://www.ditl.info/arttest/art6573.php). First published at the colloquium of AILC (Association Internationale de Littérature Comparée): "A partir de Venise: héritages, passages, horizons : Cinquante ans de l'AILC", University Cao Foscari, Venise, September 22-25, 2005. pdf preprint

<> "Penser notre relation à la Machine, plutôt que nous penser comme des Machines", Terminal, n° 92, pp. 155-170, Winter 2004-2005. pdf preprint

<> "La culture et la rationalité modernes, du structuralisme à l'IA symbolique", Cahiers de recherche d'ETOS : Ethique, Technologies, Organisations, Sociétés, n° 1, February 2005. First published in the electronic journal: Automates Intelligents n° 44.

<> "L'agent rationnel abstrait, objet de l'IA", Revue d'Intelligence Artificielle, vol. 8, n° 4, pp. 327-359, 1994. pdf preprint



Communications in conferences with reviewing committee and conference proceedings


<> "Unbiased Statistics of a CSP - A Controlled-Bias Generator", International Joint Conferences on Computer, Information, Systems Sciences and Engineering (CISSE 09), December 4-12, 2009, Springer. Published as a chapter of the book Innovations in Computing Sciences and Software Engineering, Khaled Elleithy Editor, pp. 11-17, Springer, 2010, ISBN 97890481911133. pdf preprint.

<> "From Constraints to Resolution Rules, Part II: chains, braids, confluence and T&E", International Joint Conferences on Computer, Information, Systems Sciences and Engineering (CISSE 08), December 5-13, 2008, Springer. Published as a chapter of the book Advanced Techniques in Computing Sciences and Software Engineering, Khaled Elleithy Editor, pp. 171-176, Springer, 2010, ISBN 9789094136599. pdf preprint.

<> "From Constraints to Resolution Rules, Part I: Conceptual Framework", International Joint Conferences on Computer, Information, Systems Sciences and Engineering (CISSE 08), December 5-13, 2008, Springer. Published as a chapter of the book Advanced Techniques in Computing Sciences and Software Engineering, Khaled Elleithy Editor, pp. 165-170, Springer, 2010, ISBN 9789094136599. pdf preprint.

<> "An Ontology for Building Flexible Business Processes", International Joint Conferences on Computer, Information, Systems Sciences and Engineering (CISSE 06), December 4-14, 2006, Springer. Published as a chapter of the book Advances and Innovations in Systems, Computing Sciences and Software Engineering, Khaled Elleithy Editor, pp. 83-88, Springer, 2007, ISBN 9781402062636. pdf preprint.

<> "Un modèle de processus métier pour les nouvelles formes d'organisation des activités", 11th conference of the AIM (Association Information & Management) "Systèmes d'Information et Collaboration : Etat de l'Art et Perspectives", Luxembourg, June 7-9, 2006 - in collaboration with Chantal Morley and Michel Maurice-Demourioux. pdf preprint.

<> "Artificial Agents and their Ontological Status", iC@P 2006 : International Conference on Computers and Philosophy, Laval  (France) , May 3-5, 2006. pdf preprint.

<>  "Using the Agent Paradigm to Improve Business Process Modelling", actes du Colloque ICSSEA 2005, Paris, November 29 - December 1, 2005 - in collaboration with Chantal Morley and Michel Maurice-Demourioux. pdf preprint

<> "Apport du paradigme agent à la maîtrise des systèmes d'information", 10th conference of the AIM (Association Information & Management) "Gouvernance des Technologies de l'Information & Stratégie des Systèmes d'Information pour le Succès Economique", Toulouse, September 21-23, 2005 - in collaboration with Chantal Morley and Michel Maurice-Demourioux. pdf preprint

<> "Discordances ontologiques et questions d'interopérabilité", colloque EHESS Sources et ressources pour les sciences sociales, Paris, December 9-11, 2004 pdf preprint



Software and associated publications

<> "Augmented User Manual for CSP-Rules-V2.1",
Lulu Press, November 2022, ISBN 9-781471-026874, 254p.

Main additions to the "Basic User Manual" are new kinds of generic OR-chains intended for use in conjunction with application-specific OR relations based on exotic patterns. It also contains a detailed analysis (based on the above OR-chain rules) of the newly found contradictory "Trivalue oddagon" pattern and associated Sudoku puzzles in T&E(3).

book cover


<> "Basic User Manual for CSP-Rules-V2.1 (Second Edition)",
Lulu Press, November 2021, ISBN 978-1-7948-6707-9, 168p.

Main additions to the first edition are about various additional (extra-logical) requirements on the number of steps in the resolution path.

book cover


<> "Basic User Manual for CSP-Rules-V2.1",
Lulu.com Publishers, August 2020, ISBN 978-1-71664-654-6, 102p.

book cover


<> "CSP-Rules-V2.1", the new version of CSP-Rules and the first public one, August 2020,
available on GitHub.


<> "CSP-Rules", a general pattern-based solver of finite Constraint Satisfaction Problems, 2011-2015, including a large core of generic patterns with broad applicability plus the following concrete applications to very different types of logic puzzles:
     - SudoRules (new version), a pattern-based solver of Sudoku puzzles
     - KakuRules, a pattern-based solver of Kakuro puzzles
     - FutoRules, a pattern-based solver of Futoshiki puzzles
     - HidatoRules, a pattern-based solver of Hidato and Numbrix puzzles
     - MapRules, a pattern-based solver of Map colouring puzzles
     - SlitherRules, a pattern-based solver of Slitherlink puzzles


<> "SudoRules", a pattern-based Sudoku solver, 2006-2012.



Miscellanea

<> Interview by Pierre Berger in the electronic journal: Stic-Hebdo, n° 61, 12 Septembre 2005 (also here)

<> "La culture et la rationalité modernes, du structuralisme à l'IA symbolique"
Paper in the electronic journal: Automates Intelligents, n° 44, Juin 2003 : (downloadable as a pdf)




Last update: November 18th, 2021