Academic literature on the topic 'Logique default'

La symétrie est par définition un concept multidisciplinaire. Il apparaît dans de nombreux domaines. En général, elle revient à une transformation qui laisse invariant un objet. Le problème de satisfaisabilité (SAT) occupe un rôle central en théorie de la complexité. Il est le problème de décision de référence de la classe NP-complet (Cook, 71). Il consiste à déterminer si une formule CNF admet ou non une valuation qui la rend vraie. Dans la première contribution de ce mémoire, nous avons introduit une nouvelle méthode complète qui élimine toutes les symétries locales pour la résolution du problème SAT en exploitant son groupe des symétries. Les résultats obtenus montrent que l'exploitation des symétries locales est meilleure que l'exploitation des symétries globales sur certaines instances SAT et que les deux types de symétries sont complémentaires, leur combinaison donne une meilleure exploitation.En deuxième contribution, nous proposons une approche d'apprentissage de clauses pour les solveurs SAT modernes en utilisant les symétries. Cette méthode n'élimine pas les modèles symétriques comme font les méthodes statiques d'élimination des symétries. Elle évite d'explorer des sous-espaces correspondant aux no-goods symétriques de l'interprétation partielle courante. Les résultats obtenus montrent que l'utilisation de ces symétries et ce nouveau schéma d'apprentissage est profitable pour les solveurs CDCL.En Intelligence Artificielle, on inclut souvent la non-monotonie et l'incertitude dans le raisonnement sur les connaissances avec exceptions. Pour cela, en troisième et dernière contribution, nous avons étendu la notion de symétrie à des logiques non classiques (non-monotones) telles que les logiques préférentielles, les X-logiques et les logiques des défauts.Nous avons montré comment raisonner par symétrie dans ces logiques et nous avons mis en évidence l'existence de certaines symétries dans ces logiques qui n'existent pas dans les logiques classiques
Symmetry is by definition a multidisciplinary concept. It appears in many fields. In general, it is a transformation which leaves an object invariant. The problem of satisfiability (SAT) is one of the central problems in the complexity theory. It is the first decision Np-complete problem (Cook, 71). It deals with determining if a CNF formula admits a valuation which makes it true. First we introduce a new method which eliminates all the local symmetries during the resolution of a SAT problem by exploiting its group of symmetries. Our experimental results show that for some SAT instances, exploiting local symmetries is better than exploiting just global symmetries and both types of symmetries are complementary. As a second contribution, we propose a new approach of Conflict-Driven Clause Learning based on symmetry. This method does not eliminate the symmetrical models as the static symmetry elimination methods do. It avoids exploring sub-spaces corresponding to symmetrical No-goods of the current partial interpretation. Our experimental results show that using symmetries in clause learning is advantageous for CDCL solvers.In artificial intelligence, we usually include non-monotony and uncertainty in the reasoning on knowledge with exceptions. Finally, we extended the concept of symmetry to non-classical logics that are preferential logics, X-logics and default logics. We showed how to reason by symmetry in these logics and we prove the existence of some symmetries in these non-classical logics which do not exist in classical logics

La synthèse de films minces et de multicouches à base de matériaux piézoélectriques, AlN et ZnO, a été réalisée par PLD pour des intégrations dans des dispositifs à ondes acoustiques de surface (SAW). L’orientation (002) de couches minces d’AlN hexagonal a été obtenue sur des substrats d’Al2O3(C) et Si (111). Ces couches piézoélectriques ont des vitesses moyennes de propagation des ondes acoustiques respectives de 5230 m. S-1 et 4500 m. S-1. L’orientation (110) d’AlN obtenue sur Al2O3 (R), pour laquelle coïncide la direction de propagation de l’onde acoustique de surface avec l’axe piézoélectrique, permet d’atteindre des vitesses de propagation des ondes acoustiques supérieures d‘environ 6000 m. S-1. Les films minces de ZnO orientés (002) sur Al2O3(C) ont montré de bonnes propriétés piézoélectriques, offrant la possibilité de travailler avec des modes de propagation des ondes acoustiques supérieurs qui induisent des fréquences de fonctionnement plus élevées. Finalement, des bicouches à base de ZnO et AlN ont également été réalisées et intégrées dans des dispositifs SAW afin de combiner les avantages de ces deux matériaux
Thin films and multilayers, of piezoelectric materials AlN and ZnO, were prepared by PLD to be integrated in surface acoustic waves devices (SAW). AlN films orientation (002) was obtained on Al2O3 (C) and Si (111) substrates. These piezoelectric layers present average acoustic velocities, respectively of 5230 m. S-1 and 4500 m. S-1. (110) AlN thin films obtained on Al2O3 (R), with acoustic wave propagation along the piezoelectric axis, achieved superior acoustic velocities about 6000 m. S-1. On Al2O3 (C) ZnO thin films oriented (002) have shown good piezoelectric properties, allowing to work with superior propagation modes of acoustic waves, leading to higher frequencies. Finally multilayers combining the advantages of AlN and ZnO were also realized and integrated in SAW devices

Après une présentation du concept de profondeur variable mis en oeuvre, l'emploi simultané de la logique des défauts de r. Reiter et d'un principe circonscriptif est analysé. La notion d'univers sert de base à la formulation de conditions de validité pour ce raisonnement. La notion d'univers complet régulier est ensuite comparée à celle d'extension employée par r. Reiter pour la logique des defauts. Elles sont montrées équivalentes pour les théories restreintes, mais distinctes dans le cas génèral

Cette thèse porte sur la modélisation du comportement humain dans les simulations de combat naval. Au sein de l'entreprise DCNS, les simulations de combat naval permettent d'évaluer les performances opérationnelles des navires militaires, dans un scénario donné. Les simulations actuelles ne permettent pas de prendre en compte l'analyse et la décision d'un opérateur, qui peuvent parfois conduire à des réactions inattendues. Le but de cette thèse est donc de modéliser le comportement d'un opérateur pour les simulations de combats navals.Pour représenter les connaissances, la logique non monotone la plus employée a été utilisée: la logique des défauts. Une prise en compte du temps a été ajoutée à cette logique des défauts. La logique des défauts va permettre de calculer des extensions. Chaque extension correspond à une action possible pour l'opérateur.Une méthode qui permet de choisir une extension a été définie. Cette méthode simule la décision de l'opérateur et elle prend en compte le caractère de l'opérateur.

Cette thèse présente un modèle résilient pour piloter un avion basé sur une logique non monotone. Ce modèle est capable de gérer des solutions à partir d’informations incomplètes, contradictoires et des exceptions. C’est un problème très connu en Intelligence Artificial, qui est étudié depuis plus de 40 ans. Pour ce faire, nous utilisons la logique des défauts pour formaliser la situation et trouver des conclusions possibles. Grâce à cette logique, nous pouvons transformer les règles de pilotage en défauts. Ensuite, lorsque nous calculons les solutions, plusieurs options peuvent en résulter. À ce stade, il existe un critère de décision opportuniste pour choisir la meilleure solution. Le contrôle du système se fait via la propriété de résilience. Nous redéfinissons cette propriété comme l’intégration de la logique non monotone dans le modèle de Minsky. En conséquence, il est démontré que le modèle de résilience proposé pourrait être généralisé aux systèmes intégrant une connaissance du monde contenant des situations, des objectifs et des actions. Enfin, nous présentons les résultats expérimentaux et la conclusion de la thèse en discutant des perspectives et des défis pour les orientations futures. Différentes applications dans d’autres domaines sont prises en compte pour l’intérêt du comportement du modèle
This thesis presents a resilient model to pilot an aircraft based on a non-monotonic logic. This model is capable of handling solutions from incomplete, contradictory information and exceptions. This is a very well known problem in Artificial Intelligence, which has been studied for more than 40 years. To do this, we use default logic to formalise the situation and find possible conclusions. Thanks to this logic we can transform the piloting rules to defaults. Then, when we calculate the solutions, several options could result. At this point an opportunistic decision criteria takes place to choose the better solution. The control of the system is done via the property of resilence, we redefine this property as the integration of the non-monotonic logic in the Minsky’s model. As a result, it is shown that the proposed resilient model could be generalised to systems that incorporate a knowledge of the world that contains situations, objectives and actions. Finally, we present the experimental results and conclusion of the thesis discussing the prospects and challenges that exist for future directions. Different applications in other fields are taken into account for the interest of the model’s behavior

Dans ce mémoire de thèse, afin de caractériser complètement les extensions de la théorie de défauts propositionnelle semi-normale sans disjonction, nous proposons, d'abord les nouveaux concepts : - l'ordre prérequis-w, - l'ensemble de défauts générateurs de e is w valide dans e:g p w(e is w, e), - la contrainte d'applicabilité d'un ensemble de défauts. Ces concepts nous permettent de démontrer les conditions nécessaires et suffisantes d'existence d'extensions. La première contribution de cette thèse est, donc la caractérisation complète des extensions de la théorie de défauts propositionnelle semi-normale sans disjonction. Nous proposons un corollaire de cette proposition. Ensuite, nous présentons l'approche de calcul d'extensions par la satisfaction de contraintes booléennes, fondée sur ce corollaire. Nous proposons la méthode de satisfaction maximale du nombre de contraintes d'ordre prérequis-w, qui est une instance de max-csp. Dans cette thèse, le problème max-csp est transformé en problème d'optimisation. Cette méthode permet d'implémenter entièrement la proposition des conditions nécessaires et suffisantes d'existence d'extensions de la théorie de défauts propositionnelle semi-normale sans disjonction. L'implémentation de cette méthode de calcul d'extensions fait appel au - problème sat, - problème max-csp. Donc, l'implémentation se réalise naturellement en programmation logique avec contraintes. Cette thèse contribue, donc à amener le domaine du raisonnement non-monotone de l'état d'une discipline théorique pur vers un paradigme calculatoire en plein développement. Le problème sat et le max-csp sont actuellement des domaines de recherche et de développement les plus actifs en intelligence artificielle et recherche opérationnelle, d'où cette méthode peut bénéficier les résultats de ces recherches. Ce qui constitue un attrait intéressant de cette méthode de calcul d'extensions. Enfin, nous appliquons cette réalisation aux quelques problèmes en théorie de graphe.