About: Etude des symétries et de la cardinalité en calcul propositionnel, application aux algorithmes syntaxiques

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Etude des symétries et de la cardinalité en calcul propositionnel, application aux algorithmes syntaxiques Goto Sponge NotDistinct Permalink

An Entity of Type : rdac:C10001, within Data Space : data.idref.fr associated with source document(s)

Attributes	Values
type	frbr:Work rdac:C10001
Thesis advisor	Siegel, Pierre (1950-....)
Author	Saïs, Lakhdar (1966-....) Benhamou, Belaïd (1963-....)
alternative label	Study of symetries and cardinality in propositional calculus : application to the syntactical algorithmes
dc:subject	Intelligence artificielle Thèses et écrits académiques Algorithmes SCIENCES APPLIQUEES : INFORMATIQUE, AUTOMATIQUE THEORIQUE, SYSTEMES INTELLIGENCE ARTIFICIELLE/DEMONSTRATION AUTOMATIQUE/CALCUL PROPOSITIONNEL/SYMETRIE/CARDINALITE/CD/ALGORITHME SYNTAXIQUE/CD ARTIFICIAL INTELLIGENCE/AUTOMATIC PROVING/PROPOSITIONAL CALCULUS/SYMMETRY/CARDINALITY/CD/SYNTECTICAL ALGORITHM/CD
preferred label	Etude des symétries et de la cardinalité en calcul propositionnel, application aux algorithmes syntaxiques
Language	http://lexvo.org/id/iso639-3/fra
Subject	http://www.idref.fr/027282171/id http://www.idref.fr/027234541/id http://www.idref.fr/027253139/id
dc:title	Etude des symétries et de la cardinalité en calcul propositionnel, application aux algorithmes syntaxiques
Degree granting institution	Université de Provence (1970-2011)
note	DE NOMBREUX PROBLEMES INTRAITABLES AVEC LES METHODES DE RESOLUTION CLASSIQUES PRESENTENT UNE STRUCTURE TRES SYMETRIQUE (L'ECHANGE DE PROPOSITIONS LAISSE CETTE STRUCTURE INVARIANTE). DANS LA PREMIERE PARTIE, ON MONTRE QUE L'UTILISATION DES PROPRIETES DE SYMETRIES PERMET UNE AMELIORATION CONSIDERABLE DE L'EFFICACITE DES ALGORITHMES DE DEMONSTRATION AUTOMATIQUE (PREUVE DE COMPLEXITE LINEAIRE POUR LE PROBLEME DE PIGEON-HOLE, PREMIERE DEMONSTRATION AUTOMATIQUE DU PROBLEME DE RAMSEY R(3,3,3)) AINSI QU'UNE REPRESENTATION PLUS COMPACTE DE L'ENSEMBLE DES SOLUTIONS. DANS LA SECONDE PARTIE, CE TRAVAIL A AMENE LE DEVELOPPEMENT D'UNE EXPRESSION PLUS NATURELLE ET COMPACTE DES PROBLEMES, FONDEE SUR LA NOTION DE CARDINALITE QUI GENERALISE LA REPRESENTATION CLAUSALE CLASSIQUE. UNE CLAUSE GENERALISEE EST UN COUPLE (N,L): OU N DESIGNE LE NOMBRE MINIMUM DE LITTERAUX DE LA AFFECTER A VRAI. UNE METHODE DE RESOLUTION COMPLETE ET DECIDABLE POUR CES CLAUSES EST DECRITE. UNE PROPRIETE D'EQUIVALENCE ENTRE LA REPRESENTATION CLAUSALE CLASSIQUE ET CLAUSES GENERALISEES EST DEMONTRE. CETTE PROPRIETE PERMET D'ADAPTER EFFICACEMENT CERTAINS OUTILS DE LA RESOLUTION CLASSIQUE
dc:type	Text
http://iflastandar...bd/elements/P1001	http://iflastandards.info/ns/isbd/terms/contentform/T1009
rdaw:P10219	1993
has content type	http://rdaregistry.info/termList/RDAContentType/1020
is primary topic of	http://www.idref.fr/213381575
is rdam:P30135 of	http://www.sudoc.fr/012312657/id http://www.sudoc.fr/126465592/id

Faceted Search & Find service v1.13.91 as of Aug 16 2018

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of May 14 2019, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (70 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software