Treffer: Raisonnement sur les propriétés de contraintes numériques / Reasoning on constraint properties
Title:
Raisonnement sur les propriétés de contraintes numériques / Reasoning on constraint properties
Authors:
Source:
Programmation en logique avec contraintes (Sophia Antipolis, 27-30 mai 2002). :13-26
Publisher Information:
Paris: Hermès Sciences Publications, 2002.
Publication Year:
2002
Physical Description:
print, 1 p.1/4
Original Material:
INIST-CNRS
Subject Terms:
Control theory, operational research, Automatique, recherche opérationnelle, Computer science, Informatique, Sciences exactes et technologie, Exact sciences and technology, Sciences appliquees, Applied sciences, Informatique; automatique theorique; systemes, Computer science; control theory; systems, Informatique théorique, Theoretical computing, Théorie programmation, Programming theory, Convexité, Convexity, Convexidad, Inégalité, Inequality, Desigualdad, Monotonie, Monotonicity, Monotonía, Programmation logique avec contrainte, Constraint logic programming, Programación lógica con restricción, Satisfaction contrainte, Constraint satisfaction, Satisfaccion restricción, Contrainte numérique
Document Type:
Konferenz
Conference Paper
File Description:
text
Language:
French
Author Affiliations:
Institut de Recherche en Informatique de Nantes, 2, rue de la Houssinière B.P. 92208, 44322 Nantes, France
Rights:
Copyright 2002 INIST-CNRS
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
Notes:
Computer science; theoretical automation; systems
Accession Number:
edscal.14195170
Database:
PASCAL Archive
Weitere Informationen
Les problèmes de satisfaction de contraintes numériques (NCSPs) sont formulés par des égalités et inégalités entre des fonctions numériques. Les propriétés de ces fonctions sont une information précieuse, qui détermine l'utilisation d'algorithmes spécialisés. Nous proposons un cadre pour raisonner sur un ensemble de propriétés qui inclue la monotonie et la convexité, et se veut générique et extensible. Les propriétés y sont vues comme des abstractions des courbes de la fonction, et nous proposons des règles de déduction pour raisonner sur ces ions. Nous donnons des indications sur les possibilités d'intégration de tels outils dans des résolveurs, actuels ou modifiés.