Author: Éric Monfroy
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Book Description
Collaboration de solveurs pour la programmation logique a contraintes
Collaboration de solveurs pour la programmation logique à contraintes
Author: Éric Monfroy
Publisher:
ISBN:
Category :
Languages : fr
Pages : 231
Book Description
La programmation logique à contraintes (CLP) combine la déclarativité de la programmation logique à l'efficacité de la programmation à contraintes. Ainsi, les programmes CLP sont flexibles, et souvent plus efficaces que tout autre programme. Le solveur de contraintes (composant essentiel d'un systeme CLP) influence énormément la déclarativité et l'efficacité du système. Néanmoins, il n'est pas toujours possible d'obtenir un solveur suffisamment efficace pour un domaine donné. Jusqu'à maintenant, les travaux basés sur la coopération et la combinaison de solveurs (concepts visant à pallier ce problème) sont dédiés à des domaines spécifiques, et ne sont pas toujours faciles à implanter ni à adapter. Ainsi nous est venue l'idée de Bali, un environnement pour la construction de collaborations (concept unifiant coopération et combinaison) de solveurs. Il fournit d'abord un cadre formel, ainsi qu'un langage pour manipuler et faire collaborer les solveurs. Cette phase s'appuie sur des primitives de collaborations autorisant plusieurs paradigmes (tels que séquentialité, concurrence et parallélisme, adaptés à la notion de solveur), et des primitives de contrôle (telles que répétition, point-fixe, garde, conditionnelle) pour composer les collaborations. La deuxième spécificité de Bali est de créer automatiquement des serveurs ayant une architecture distribuée et réalisant les collaborations désirées. Ainsi, les expressions spécifiées avec le langage de collaborations de solveurs deviennent directement exécutables. Nous proposons également un langage d'accueil de type CLP(x), qui offre plusieurs stratégies de résolution et dont l'implantation est un client particulier des serveurs. De plus, ce langage est générique: la connexion à une collaboration instancié le paramètre x par le domaine de contraintes de cette dernière. Bali peut donc être considéré comme un environnement pour réaliser facilement et rapidement de nouveaux systèmes CLP fondés sur des collaborations de solveurs. Ceci modifie la méthodologie de programmation: ce n'est plus le programme qui est transformé si le solveur n'est pas assez puissant, mais la collaboration de solveurs qui est modifiée à un haut niveau. Une maquette a montré la faisabilité de notre approche ainsi que son intérêt en pratique.
Publisher:
ISBN:
Category :
Languages : fr
Pages : 231
Book Description
La programmation logique à contraintes (CLP) combine la déclarativité de la programmation logique à l'efficacité de la programmation à contraintes. Ainsi, les programmes CLP sont flexibles, et souvent plus efficaces que tout autre programme. Le solveur de contraintes (composant essentiel d'un systeme CLP) influence énormément la déclarativité et l'efficacité du système. Néanmoins, il n'est pas toujours possible d'obtenir un solveur suffisamment efficace pour un domaine donné. Jusqu'à maintenant, les travaux basés sur la coopération et la combinaison de solveurs (concepts visant à pallier ce problème) sont dédiés à des domaines spécifiques, et ne sont pas toujours faciles à implanter ni à adapter. Ainsi nous est venue l'idée de Bali, un environnement pour la construction de collaborations (concept unifiant coopération et combinaison) de solveurs. Il fournit d'abord un cadre formel, ainsi qu'un langage pour manipuler et faire collaborer les solveurs. Cette phase s'appuie sur des primitives de collaborations autorisant plusieurs paradigmes (tels que séquentialité, concurrence et parallélisme, adaptés à la notion de solveur), et des primitives de contrôle (telles que répétition, point-fixe, garde, conditionnelle) pour composer les collaborations. La deuxième spécificité de Bali est de créer automatiquement des serveurs ayant une architecture distribuée et réalisant les collaborations désirées. Ainsi, les expressions spécifiées avec le langage de collaborations de solveurs deviennent directement exécutables. Nous proposons également un langage d'accueil de type CLP(x), qui offre plusieurs stratégies de résolution et dont l'implantation est un client particulier des serveurs. De plus, ce langage est générique: la connexion à une collaboration instancié le paramètre x par le domaine de contraintes de cette dernière. Bali peut donc être considéré comme un environnement pour réaliser facilement et rapidement de nouveaux systèmes CLP fondés sur des collaborations de solveurs. Ceci modifie la méthodologie de programmation: ce n'est plus le programme qui est transformé si le solveur n'est pas assez puissant, mais la collaboration de solveurs qui est modifiée à un haut niveau. Une maquette a montré la faisabilité de notre approche ainsi que son intérêt en pratique.
Logic Programming
Author: Joxan Jaffar
Publisher: MIT Press
ISBN: 9780262600316
Category : Computers
Languages : en
Pages : 388
Book Description
Includes tutorials, lectures, and refereed papers on all aspects of logic programming, The Joint International Conference and Symposium on Logic Programming, sponsored by the Association for Logic Programming, includes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, nonmonotonic reasoning, and logic programming and the Internet.
Publisher: MIT Press
ISBN: 9780262600316
Category : Computers
Languages : en
Pages : 388
Book Description
Includes tutorials, lectures, and refereed papers on all aspects of logic programming, The Joint International Conference and Symposium on Logic Programming, sponsored by the Association for Logic Programming, includes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, nonmonotonic reasoning, and logic programming and the Internet.
Artificial Intelligence and Symbolic Computation
Author: John A. Campbell
Publisher: Springer
ISBN: 3540449906
Category : Computers
Languages : en
Pages : 264
Book Description
This book constitutes the thoroughly refereed post-proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC 2000, held in Madrid, Spain in July 2000. The 17 revised full papers presented together with three invited papers were carefully reviewed and revised for inclusion in the book. Among the topics addressed are automated theorem proving, logical reasoning, mathematical modeling of multi-agent systems, expert systems and machine learning, computational mathematics, engineering, and industrial applications.
Publisher: Springer
ISBN: 3540449906
Category : Computers
Languages : en
Pages : 264
Book Description
This book constitutes the thoroughly refereed post-proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC 2000, held in Madrid, Spain in July 2000. The 17 revised full papers presented together with three invited papers were carefully reviewed and revised for inclusion in the book. Among the topics addressed are automated theorem proving, logical reasoning, mathematical modeling of multi-agent systems, expert systems and machine learning, computational mathematics, engineering, and industrial applications.
Coordination of Internet Agents
Author: Andrea Omicini
Publisher: Springer Science & Business Media
ISBN: 3662044013
Category : Computers
Languages : en
Pages : 537
Book Description
The Internet confronts IT researchers, system designers, and application developers with completely new challenges and, as a fascinating new computing paradigm, agent technology has recently attracted broad interest and strong hopes for shaping the future information society. This monograph-like anthology is the first systematic guide to models and enabling technologies for the coordination of intelligent agents on the Internet and respective applications.
Publisher: Springer Science & Business Media
ISBN: 3662044013
Category : Computers
Languages : en
Pages : 537
Book Description
The Internet confronts IT researchers, system designers, and application developers with completely new challenges and, as a fascinating new computing paradigm, agent technology has recently attracted broad interest and strong hopes for shaping the future information society. This monograph-like anthology is the first systematic guide to models and enabling technologies for the coordination of intelligent agents on the Internet and respective applications.
Perspectives of System Informatics
Author: Dines Bjørner
Publisher: Springer
ISBN: 3540465626
Category : Computers
Languages : en
Pages : 552
Book Description
This book constitutes the thoroughly refereed post-proceedings of the Third International Andrei Ershov Memorial Conference, PSI'99, held in Akademgorodok, Novosibirsk, Russia, in July 1999. The 44 revised papers presented together with five revised full invited papers were carefully reviewed and selected from a total of 73 submissions. The papers are organized in sections on algebraic specifications, partial evaluation and super compilation, specification with states, concurrency and parallelism, logic and processes, languages and software, database programming, object-oriented programming, constraint programming, model checking and program checking, and artificial intelligence.
Publisher: Springer
ISBN: 3540465626
Category : Computers
Languages : en
Pages : 552
Book Description
This book constitutes the thoroughly refereed post-proceedings of the Third International Andrei Ershov Memorial Conference, PSI'99, held in Akademgorodok, Novosibirsk, Russia, in July 1999. The 44 revised papers presented together with five revised full invited papers were carefully reviewed and selected from a total of 73 submissions. The papers are organized in sections on algebraic specifications, partial evaluation and super compilation, specification with states, concurrency and parallelism, logic and processes, languages and software, database programming, object-oriented programming, constraint programming, model checking and program checking, and artificial intelligence.
Rewriting, Computation and Proof
Author: Hubert Comon-Lundh
Publisher: Springer Science & Business Media
ISBN: 3540731466
Category : Computers
Languages : en
Pages : 287
Book Description
Jean-Pierre Jouannaud has played a leading role in the field of rewriting and its technology. This Festschrift volume, published to honor him on his 60th Birthday, includes 13 refereed papers by leading researchers, current and former colleagues. The papers are grouped in thematic sections on Rewriting Foundations, Proof and Computation, and a final section entitled Towards Safety and Security.
Publisher: Springer Science & Business Media
ISBN: 3540731466
Category : Computers
Languages : en
Pages : 287
Book Description
Jean-Pierre Jouannaud has played a leading role in the field of rewriting and its technology. This Festschrift volume, published to honor him on his 60th Birthday, includes 13 refereed papers by leading researchers, current and former colleagues. The papers are grouped in thematic sections on Rewriting Foundations, Proof and Computation, and a final section entitled Towards Safety and Security.
Artificial Intelligence and Symbolic Computation
Author:
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 284
Book Description
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 284
Book Description
Fundamenta Informaticae
Author: Polskie Towarzystwo Matematyczne
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 920
Book Description
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 920
Book Description
Annales Societatis Mathematicae Polonae
Author: Polskie Towarzystwo Matematyczne
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 792
Book Description
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 792
Book Description