CONTRIBUTIONS A LA SEMANTIQUE DE LA PROGRAMMATION LOGIQUE PDF Download

Author: MATHIEU.. JAUME
Publisher:
ISBN:
Category :
Languages : fr
Pages : 198

View

Book Description
LA NOTION DE PREUVES EN PROGRAMMATION LOGIQUE EST EXAMINEE A DEUX NIVEAUX DIFFERENTS. D'UN POINT DE VUE EXTERNE, LA THEORIE CLASSIQUE DE LA PROGRAMMATION LOGIQUE EST COMPLETEMENT FORMALISEE DANS LE CALCUL DES CONSTRUCTIONS INDUCTIVES. APRES AVOIR ENVISAGE LE PROBLEME DE LA DEFINITION DE FONCTIONS PARTIELLES DANS UN SYSTEME DANS LEQUEL SEULES LES FONCTIONS TOTALES SONT REPRESENTABLES, L'UNIFICATION EST OBTENUE EN REUTILISANT UNE PREUVE FORMELLE EXISTANTE PORTANT SUR UN SUR-ENSEMBLE DES TERMES. LES PROPRIETES FONDAMENTALES DE LA SLD-RESOLUTION SONT ALORS FORMALISEES. LE NIVEAU DE DETAIL IMPOSE PAR LA MECANISATION DES PREUVES CONSIDEREES A MIS EN RELIEF LA COMPLEXITE CACHEE DE CERTAINES PREUVES : LE MECANISME DE RENOMMAGE EST TRAITE DE MANIERE EXPLICITE, TRANSFORMANT AINSI CERTAINES CERTITUDES THEORIQUES EN REALITES. D'UN POINT DE VUE INTERNE, LES PREUVES SLD, FINIES OU INFINIES, SONT COMPAREES A CELLES QUE L'ON PEUT OBTENIR, PAR INDUCTION OU PAR CO-INDUCTION, A PARTIR DES CLAUSES D'UN PROGRAMME LOGIQUE VUES COMME DES REGLES D'INFERENCE. DANS LE CAS FINI LA CORRESPONDANCE EST COMPLETE (CE QUE CALCULE UN PROGRAMME EST PROUVABLE) TANDIS QUE DANS LE CAS INFINI, CERTAINS OBJETS NON CALCULABLES SONT TOUTEFOIS PROUVABLES. LES PROPRIETES CLASSIQUES DES DEFINITIONS CO-INDUCTIVES ET LA COMPARAISON DE CERTAINES DERIVATIONS INFINIES A DES TERMES DE PREUVE D'UN TYPE CO-INDUCTIF, SE REVELENT UTILES TANT POUR EXPLIQUER LES RESULTATS D'INCOMPLETUDE D'APPROCHES EXISTANTES QUE POUR DEFINIR UNE SEMANTIQUE VALIDE ET COMPLETE POUR UNE CLASSE DE DERIVATION INFINIES (PRECISEMENT CELLES QUI NE CONSTRUISENT PAS DE TERMES INFINIS).

Author: MACAIRE.. NGOMO
Publisher:
ISBN:
Category :
Languages : fr
Pages : 325

View

Book Description
CETTE THESE PREND PLACE DANS UN PROJET INTERNE DE REALISATION DE LANGAGES A VOCATION MULTIPLE, INTEGRANT PLUSIEURS STYLES DE PROGRAMMATION ET ADAPTES AU PLUS PRES A NOS BESOINS EN MATIERE DE CONCEPTION ET PROGRAMMATION DES APPLICATIONS. DANS CELLE-CI, NOUS ETUDIONS LES POSSIBILITES DE COMBINER LES ASPECTS DE DEUX PARADIGMES DE PROGRAMMATION : LA PROGRAMMATION LOGIQUE ET DE LA PROGRAMMATION PAR OBJETS. CES DERNIERES ANNEES, CES DEUX PARADIGMES DE PROGRAMMATION ONT SUSCITE UN INTERET DE PLUS EN PLUS GRAND PARCE QU'ILS OFFRENT BEAUCOUP D'AVANTAGES SUR LES METHODES TRADITIONNELLES DE PROGRAMMATION. DANS CETTE THESE, NOUS PROPOSONS UN NOUVEAU MODELE POUR INTEGRER CES DEUX PARADIGMES DE PROGRAMMATION, EN METTANT EN AVANT L'ASPECT DECLARATIF DE LA PROGRAMMATION LOGIQUE. SUR LA BASE DE CE MODELE, NOUS DEVELOPPONS UN NOUVEAU LANGAGE NOMME OO-PROLOG (OBJECT-ORIENTED PROLOG). CE LANGAGE INTEGRE DE MANIERE COHERENTE LES GRANDS MECANISMES DE LA PROGRAMMATION LOGIQUE ET DE LA PROGRAMMATION PAR OBJETS. IL EST BASE SUR DELPHIAPROLOG ET CONCU SUIVANT LE MODELE METACLASSE/CLASSE/INSTANCE INSPIRE DU MODELE OBJVLISP. L'HERITAGE EST DYNAMIQUE ET MULTIPLE, AVEC UNE SEMANTIQUE NON MONOTONE. UNE NOUVELLE METHODE DE RESOLUTION DES CONFLITS EST PROPOSEE. ELLE EST BASEE SUR LA RESOLUTION NON-DETERMINISTE. UN MECANISME DE VERSIONS D'OBJETS EST PROPOSE PERMETTANT DE CONSTRUIRE L'HISTOIRE D'UN OBJET PAR UNIFICATION ET DE LA DEFAIRE PAR RETOUR ARRIERE. CE MECANISME REPOSE SUR L'UTILISATION DES STRUCTURES DE DONNEES INCOMPLETES. L'APERCU D'UNE STRUCTURE INCOMPLETE PEUT S'UTILISER POUR PERMETTRE L'ENTREE DE NOUVELLES INFORMATIONS MOYENNANT L'UNIFICATION ET DONC DE PREVOIR L'AVENIR. LA LECTURE DECLARATIVE DES PROGRAMMES UTILISANT CES STRUCTURES EST IMMEDIATE. DE FACON OPERATOIRE, CES PROGRAMMES SE COMPRENNENT EN TERMES DE CONSTRUCTION D'UNE STRUCTURE PAR INCREMENTATION. UN SCHEMA D'EXTENSION DE L'UNIFICATION EST PROPOSE, PRENANT EN COMPTE LE CONCEPT D'IDENTIFICATEUR D'OBJET.

Author: Macaire Ngomo
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0

View

Book Description

Author: Julien Hué
Publisher:
ISBN:
Category :
Languages : fr
Pages : 202

View

Book Description
L'acquisition et la représentation des connaissances est un aspect central dans le domaine de l'Intelligence Artificielle car une machine intelligente doit avant tout s'appuyer sur des informations représentant le monde de façon suffisamment précise. Cette difficulté à disposer d'une représentation correcte du monde est particulièrement importante lorsque l'on a à faire à un monde changeant ou à des informations provenant de sources multiples. Nous proposons dans cette thèse une méthode de fusion syntaxique de croyances dans le cas où les croyances sont représentées dans le cas où il n'existe pas de priorités explicites ni entre les agents, ni entre les croyances exprimées par les agents. Cette méthode, appelée fusion par R-ensembles, repose sur la recherche des sous-ensembles de formules à retirer afin de restaurer la cohérence. Nous avons réalisé une mise en œuvre de cette méthode basée sur la traduction du problème de fusion en un programme logique avec sémantique des modèles stables. Nous avons d'abord proposé deux implantations : une adaptation de l'algorithme smodels ainsi qu'une autre implantation basée sur les instructions fournies par Lparse/Gringo. Nous avons testé cette dernière implantation avec des expérimentations portant sur des profils de croyances générés aléatoirement ainsi que sur les données issues d'un projet européen portant sur le relevé en archéologie sous-marine. Dans un deuxième temps, cette thèse propose une extension de la fusion par R-ensembles dans deux directions. Nous nous sommes ainsi intéressés au cas où des préférences sont exprimées entre les agents ou entre les croyances exprimées par chaque agent. Nous nous sommes également penchés sur le cas où les croyances sont exprimées sous forme de programmes logiques.

Author:
Publisher:
ISBN:
Category : Logic
Languages : en
Pages : 476

View

Book Description

Author: International Association of Science and Technology for Development
Publisher: Anaheim, Calif. ; Calgary : ACTA Press
ISBN:
Category : Computers
Languages : en
Pages : 80

View

Book Description

Author: M. Cotsaftis
Publisher: Elsevier
ISBN: 1483291502
Category : Technology & Engineering
Languages : en
Pages : 550

View

Book Description
Productivity enhancement is a major concern for all manufacturing enterprises. Productivity enhancement can be achieved in many ways and many facets of its problems have been investigated over the last decades. A number of methods, tools and technologies have emerged to efficiently increase productivity and rationalize management of manufacturing enterprises. International experts from both academia and industry share their experiences in this collection of articles, contributing to the latest advances in the many facets of productivity enhancement in manufacturing enterprises. Themes and visions are detailed on factories of the future, new management approaches, manufacturing system integration and manufacturing information systems. These technical areas can be grouped into four major sections: Factories of the future; Techniques and tools for automated manufacturing; Robotics; and Industrial applications. The papers illustrate a pattern of valuable and interesting approaches to the fascinating problem of designing a new generation of robots with high enough performance capabilities to be used in an industrial context.

Author:
Publisher:
ISBN:
Category : Automatic control
Languages : en
Pages : 526

View

Book Description

Author: Christian Choffrut
Publisher: Springer Science & Business Media
ISBN: 9783540537090
Category : Computers
Languages : en
Pages : 568

View

Book Description
Annotation The Symposium on Theoretical Aspects of Computer Science is organized jointly by the Special Interest Group for Applied Mathematics of AFCET (Association FranAaise de CybernA(c)tique Economique et Technique) and the Special Interest Group for Theoretical Computer Sciences of GI (Gesellschaft fA1/4r Informatik). It is held alternately in France and in Germany. This volume contains two invited papers, on combinatorial methods in computer science, and on the complexity of local optimization, and 24 contributions on theoretical aspects of computer science. Some software systems are presented showing the possibilities of applying theoretical research to the realization of software tools.

Author: Sabine Arndt-Lappe
Publisher: Walter de Gruyter GmbH & Co KG
ISBN: 3110498162
Category : Language Arts & Disciplines
Languages : en
Pages : 282

View

Book Description
The creation of new lexical units and patterns has been studied in different research frameworks, focusing on either system-internal or system-external aspects, from which no comprehensive view has emerged. The volume aims to fill this gap by studying dynamic processes in the lexicon – understood in a wide sense as not being necessarily limited to the word level – by bringing together approaches directed to morphological productivity as well as approaches analyzing general types of lexical innovation and the role of discourse-related factors. The papers deal with ongoing changes as well as with historical processes of change in different languages and reflect on patterns and specific subtypes of lexical innovation as well as on their external conditions and the speakers’ motivations for innovating. Moreover, the diffusion and conventionalization of innovations will be addressed. In this way, the volume contributes to understanding the complex interplay of structural, cognitive and functional factors in the lexicon as a highly dynamic domain.