• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 128
  • 31
  • 17
  • 14
  • 3
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 200
  • 70
  • 50
  • 37
  • 28
  • 28
  • 26
  • 26
  • 19
  • 19
  • 17
  • 16
  • 13
  • 13
  • 12
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
71

Production automatique de modèles tridimensionnels par numérisation 3D

Khalfaoui, Souhaiel 19 November 2012 (has links) (PDF)
La numérisation 3D telle que pratiquée aujourd'hui repose essentiellement sur les connaissances de l'opérateur qui la réalise. La qualité des résultats reste très sensible à la procédure utilisée et par conséquent aux compétences de l'opérateur. Ainsi, la numérisation manuelle est très coûteuse en ressources humaines et matérielles et son résultat dépend fortement du niveau de technicité de l'opérateur. Les solutions de numérisation les plus avancées en milieu industriel sont basées sur une approche d'apprentissage nécessitant une adaptation manuelle pour chaque pièce. Ces systèmes sont donc semi-automatiques compte tenu de l'importance de la contribution humaine pour la planification des vues.Mon projet de thèse se focalise sur la définition d'un procédé de numérisation 3D automatique et intelligente. Ce procédé est présenté sous forme d'une séquence de processus qui sont la planification de vues, la planification de trajectoires, l'acquisition et les post-traitements des données acquises. L'originalité de notre démarche de numérisation est qu'elle est générique parce qu'elle n'est pas liée aux outils et méthodes utilisés pour la réalisation des tâches liées à chaque processus. Nous avons également développé trois méthodes de planification de vues pour la numérisation d'objets sans connaissance a priori de leurs formes. Ces méthodes garantissent une indépendance des résultats par rapport au savoir-faire de l'opérateur. L'originalité de ces approches est qu'elles sont applicables à tous types de scanners. Nous avons implanté ces méthodes sur une cellule de numérisation robotisée. Nos approches assurent une reconstruction progressive et intelligente d'un large panel d'objets de différentes classes de complexité en déplaçant efficacement le scanner
72

Contribution de la modélisation informationnelle aux Processus de Conception et Réalisation de Produits Manufacturiers : vers une Ontologie Métier

Lombard, Muriel 09 October 2006 (has links) (PDF)
La conception collaborative s'attache à la mise en commun d'intérêts et d'acteurs divers dans le but d'atteindre un propos commun qui est le développement de produits via le partage d'informations, d'interactions et de connaissances avec un certain niveau de coordination entre ces activités variées. Pour supporter cette coopération, les fonctions, jalonnant le cycle de vie produit, doivent disposer d'une information à la fois complète, précise et mise à jour sur tous les aspects du produit, des moyens et procédés de production et des gammes. Cette information partagée peut être structurée ou non, géographiquement délocalisée, partielle voire incomplète, difficilement localisable ou identifiable, porteuse d'une sémantique différente selon le métier.<br />Mes travaux récents s'articulent essentiellement autour de la modélisation de connaissances multi-points de vue support au processus de conception et réalisation de produit manufacturier.<br />Dans ce contexte, mon projet de recherche, présenté dans mon mémoire d'HDR, vise à mettre en place un cadre de méga-modélisation englobant les concepts des différents modèles et méta-modèles, inhérents aux métiers rencontrés, mais aussi un certain nombre d'autres choses concourant à l'utilisation ad hoc de ce cadre de modélisation.
73

Les nouvelles méthodes de navigation durant le Moyen Age

Com'Nougue, Michel 29 November 2012 (has links) (PDF)
Les nouvelles méthodes de navigation durant le Moyen Age. Le navire de commerce à voile est propulsé par le vent et doit donc suivre cette direction générale. La navigation peut se définir selon un aspect d'abord stratégique comme le choix d'une route en tenant compte des contraintes imposées par le vent et un aspect tactique concernant le tracé et le contrôle, en cours d'exécution de cette route. 1-Dans un premier temps, la navigation antique ne se réfère qu'au seul vent qui est le moteur mais aussi le guide du navigateur pour suivre la route fixée par l'observation des traces qu'il imprime sur la mer. C'est la navigation à vue. La limite de la méthode est atteinte quand le vent devient changeant au large, ce qui oblige alors une vérification de la direction par l'observation des astres. 2- L'apparition de l'aiguille aimantée résout en partie ce problème. L'orientation géographique entraine la mise au point, à la fin du XIIIe siècle, d'une nouvelle méthode : l'estime. L'estime est la résolution graphique des problèmes que pose le contrôle de la route choisie. Cette résolution suppose, d'une part, l'usage de la boussole et d'une orientation géographique et, d'autre part, une analyse vectorielle sur un support la carte marine qui est donc indissociable de la méthode. Le plus gros défaut de l'estime est que les positions sont définies par projection dans le futur de paramètres, cap et distances parcourues actuels. Des différences sont donc à prévoir qui entrainent une zone d'incertitude sur le point estimé. 3- Lorsqu'au début du XVe siècle les navigateurs se lancent dans l'inconnu, obligés de suivre le vent qui décrit des boucles, les voyages s'allongent sans voir la terre pour une confrontation avec des positions avérées. La taille des zones d'incertitude obligent le navigateur a préciser sa position finale par d'autres méthodes basées sur des observations astronomiques. On peut distinguer deux méthodes : Tout d'abord, la méthode des hauteurs de polaire, de 1433 à 1480 environ, qui permet de finaliser la volta et d'effectuer un atterrissage selon une route Est-Ouest. L'analyse de la technique nautique de Colomb, qui utilise cette méthode, est très semblable à celle décrite par Ibn Majid dans son traité de navigation. Il est probable qu'il y a eu transmission sans pouvoir préciser les circonstances exactes.Mais dès que les navigateurs franchissent l'équateur la polaire devient indisponible, les navigateurs doivent observer le soleil. Cette deuxième méthode est plus délicate car les paramètres du soleil changent chaque jour. Ils obligent donc le navigateur à calculer la latitude, à partir de l'observation de la méridienne de soleil et par l'usage de tables des données solaire : os regimentos do sol. C'est cette méthode qui permet à Vasco da Gama de doubler le cap de Bonne Esperance, en 1498, ce qui marque la fin de la période étudiée. Pour conclure il faut remarquer que ces deux derniers méthodes sont le fruit d'une coopération entre les usagers et les scientifiques sous l'égide du pouvoir, décidé à atteindre le but fixé. C'est donc le fruit d'une véritable recherche scientifique. En second lieu, il faut également noter que les progrès de la navigation accompagnent des progrès parallèles en architecture navale, le gouvernail d'étambot, ainsi que de nouvelles procédures dans le commerce maritime. L'étude des interactions entre ces divers domaines reste à faire.
74

Cartographie RGB-D dense pour la localisation visuelle temps-réel et la navigation autonome / Dense RGB-D mapping for real-time localisation and autonomous navigation

Meilland, Maxime 28 March 2012 (has links)
Dans le contexte de la navigation autonome en environnement urbain, une localisation précise du véhicule est importante pour une navigation sure et fiable. La faible précision des capteurs bas coût existants tels que le système GPS, nécessite l'utilisation d'autres capteurs eux aussi à faible coût. Les caméras mesurent une information photométrique riche et précise sur l'environnement, mais nécessitent l'utilisation d'algorithmes de traitement avancés pour obtenir une information sur la géométrie et sur la position de la caméra dans l'environnement. Cette problématique est connue sous le terme de Cartographie et Localisation Simultanées (SLAM visuel). En général, les techniques de SLAM sont incrémentales et dérivent sur de longues trajectoires. Pour simplifier l'étape de localisation, il est proposé de découpler la partie cartographie et la partie localisation en deux phases: la carte est construite hors-ligne lors d'une phase d'apprentissage, et la localisation est effectuée efficacement en ligne à partir de la carte 3D de l'environnement. Contrairement aux approches classiques, qui utilisent un modèle 3D global approximatif, une nouvelle représentation égo-centrée dense est proposée. Cette représentation est composée d'un graphe d'images sphériques augmentées par l'information dense de profondeur (RGB+D), et permet de cartographier de larges environnements. Lors de la localisation en ligne, ce type de modèle apporte toute l'information nécessaire pour une localisation précise dans le voisinage du graphe, et permet de recaler en temps-réel l'image perçue par une caméra embarquée sur un véhicule, avec les images du graphe, en utilisant une technique d'alignement d'images directe. La méthode de localisation proposée, est précise, robuste aux aberrations et prend en compte les changements d'illumination entre le modèle de la base de données et les images perçues par la caméra. Finalement, la précision et la robustesse de la localisation permettent à un véhicule autonome, équipé d'une caméra, de naviguer de façon sure en environnement urbain. / In an autonomous navigation context, a precise localisation of the vehicule is important to ensure a reliable navigation. Low cost sensors such as GPS systems are inacurrate and inefficicent in urban areas, and therefore the employ of such sensors alone is not well suited for autonomous navigation. On the other hand, camera sensors provide a dense photometric measure that can be processed to obtain both localisation and mapping information. In the robotics community, this problem is well known as Simultaneous Localisation and Mapping (SLAM) and it has been studied for the last thirty years. In general, SLAM algorithms are incremental and prone to drift, thus such methods may not be efficient in large scale environments for real-time localisation. Clearly, an a-priori 3D model simplifies the localisation and navigation tasks since it allows to decouple the structure and motion estimation problems. Indeed, the map can be previously computed during a learning phase, whilst the localisation can be handled in real-time using a single camera and the pre-computed model. Classic global 3D model representations are usually inacurrate and photometrically inconsistent. Alternatively, it is proposed to use an ego-centric model that represents, as close as possible, real sensor measurements. This representation is composed of a graph of locally accurate spherical panoramas augmented with dense depth information. These augmented panoramas allow to generate varying viewpoints through novel view synthesis. To localise a camera navigating locally inside the graph, we use the panoramas together with a direct registration technique. The proposed localisation method is accurate, robust to outliers and can handle large illumination changes. Finally, autonomous navigation in urban environments is performed using the learnt model, with only a single camera to compute localisation.
75

Etalonnage de caméras à champs disjoints et reconstruction 3D : Application à un robot mobile

Lébraly, Pierre 18 January 2012 (has links) (PDF)
Ces travaux s'inscrivent dans le cadre du projet VIPA " Véhicule Individuel Public Autonome ", au cours duquel le LASMEA et ses partenaires ont mis au point des véhicules capables de naviguer automatiquement, sans aucune infrastructure extérieure dédiée, dans des zones urbaines (parkings, zones piétonnes, aéroports). Il est doté de deux caméras, l'une à l'avant, et l'autre à l'arrière. Avant son déploiement, le véhicule doit tout d'abord être étalonné et conduit manuellement afin de reconstruire la carte d'amers visuels dans laquelle il naviguera ensuite automatiquement. Les travaux de cette thèse ont pour but de développer et de mettre en oeuvre des méthodes souples permettant d'étalonner cet ensemble de caméras dont les champs de vue sont totalement disjoints. Après une étape préalable d'étalonnage intrinsèque et un état de l'art sur les systèmes multi-caméra, nous développons et mettons en oeuvre différentes méthodes d'étalonnage extrinsèque (déterminant les poses relatives des caméras à champs de vue disjoints). La première méthode présentée utilise un miroir plan pour créer un champ de vision commun aux différentes caméras. La seconde approche consiste à manoeuvrer le véhicule pendant que chaque caméra observe une scène statique composée de cibles (dont la détection est sous-pixellique). Dans la troisième approche, nous montrons que l'étalonnage extrinsèque peut être obtenu simultanément à la reconstruction 3D (par exemple lors de la phase d'apprentissage), en utilisant des points d'intérêt comme amers visuels. Pour cela un algorithme d'ajustement de faisceaux multi-caméra a été développé avec une implémentation creuse. Enfin, nous terminons par un étalonnage déterminant l'orientation du système multi-caméra par rapport au véhicule.
76

Modélisation et reconnaissance active d'objets 3D de forme libre par vision en robotique

Trujillo-Romero, Felipe De Jesus 10 December 2008 (has links) (PDF)
Cette thèse concerne la robotique au service de l'Homme. Un robot compagnon de l'Homme devra manipuler des objets 3D courants (bouteille, verre...), reconnus et localisés à partir de données acquises depuis des capteurs embarqués sur le robot. Nous exploitons la Vision, monoculaire ou stéréo. Pour traiter de la manipulation à partir de données visuelles, il faut au préalable construire deux représentations pour chaque objet : un modèle géométrique 3D, indispensable pour contrôler la saisie, et un modèle d'apparence visuelle, nécessaire pour la reconnaissance. Cette thèse traite donc de l'apprentissage de ces représentations, puis propose une approche active de reconnaissance d'objets depuis des images acquises par les caméras embarquées. La modélisation est traitée sur un objet 3D isolé posé sur une table, ; nous exploitons des données 3D acquises depuis un capteur stéréo monté sur un bras manipulateur; le capteur est déplacé par le bras autour de l'objet pour acquérir N images, exploitées pour construire un modèle de type maillage triangulaire. Nous proposons d'abord une approche originale de recalage des vues partielles de l'objet, fondée sur des informations de pseudo-couleur générées à partir des points 3D acquis sur l'objet à apprendre ; puis une méthode simple et rapide, fondée sur la paramétrisation sphérique, est proposée pour construire un maillage triangulaire à partir des vues recalées fusionnées dans un nuage de points 3D. Pour la reconnaissance active, nous exploitons une simple caméra. L'apprentissage du modèle d'apparence pour chaque objet, se fait aussi en déplaçant ce capteur autour de l'objet isolé posé sur une table. Ce modèle est donc fait de plusieurs vues ; dans chacune, (1) la silhouette de l'objet est extraite par un contour actif, puis (2) plusieurs descripteurs sont extraits, globaux (couleur, signature de la silhouette, shape context calculés) ou locaux (points d'intérêt, couleur ou shape context dans des régions). Pendant la reconnaissance, la scène peut contenir un objet isolé, ou plusieurs en vrac, avec éventuellement des objets non appris ; nous proposons une approche active, approche incrémentale qui met à jour un ensemble de probabilités P(Obji), i=1 à N+1 si N objets ont été appris ; les objets inconnus sont affectés à la classe N+1 ; P(Obji) donne la probabilité qu'un objet de la classe i soit présent dans la scène. A chaque étape la meilleure position du capteur est sélectionnée en exploitant la maximisation de l'information mutuelle. De nombreux résultats en images de synthèse ou en images réelles ont permis de valider cette approche.
77

Addswift : En webbplattform för internetanvändare över hela världen

Gauffin, Christopher January 2018 (has links)
New technologies arise everyday, but which ones are the best for your project? How do you store data in a safe manner that complies with the new European GDPR law? How do you plan, develop and complete a project? These are but a few formulations of questions that the study in this report will cover.  The report is based around a business idea and vision for a company that offers advanced products built with modern technologies. The first step for the development of this company is to create a prototyp of its first product, a web platform. The prototyp will be formed after a projectplan with meetings with a supervisor and with the use of professional tools like Gantt, WBS and Trello. First and foremost a study will be done behind the theory of different frameworks and technologies but also a reasearch about GDPR and data security. The design phase will be the first part in shaping the projekt where wireframes, sitemap and ERdiagram have been created and documented. The choice of frameworks, mainly Vue, Express and MongoDB and the data security standards JWT and Oauth will be explained and used in the prototype as a base for the technical aspects of the project. Lastly the results och the finished prototype will be presented together with a discussion regarding problems that arose during the project, improvments that needs to be done and what the future holds for the complete web platform. / Nya tekniker växer i rasande fart, men vilka är bäst för ens projekt? Hur lagrar man data på ett säkert sätt som följer den nya europeiska GDPR lagen? Hur planerar, utvecklar och genomför man ett projekt? Dessa är några få frågeställningar som undersökningen i denna rapport tar tittar närmare på.  Rapporten grundar sig på en affärsidé och vision för ett företag som erbjuder avancerade produkter skapade med moderna webbteknologier. Det första steget för företagets utveckling är att skapa en prototyp av den första produkten, en webbplattform. Prototypen kommer att utvecklas efter en projektplan med handledningsmöten och användning av professionella verktyg som Gantt, WBS och Trello. Först och främst studeras teorin bakom om olika ramverk och tekniker men även en undersökning om GDPR och datasäkerhet. Designfasen kommer sedan vara det första momentet för projektets utformning där bland annat wireframes, sitemap och ERdiagram har skapats och dokumenterats. Valet av ramverk, främst Vue, Express och MongoDB samt datasäkerhetsstandarna JWT och Oauth kommer att förklaras och användas i prototypen som grund för projektets tekniska skapande.  Slutligen presenteras resultatet av den färdiga prototypen tillsammans med en diskussion över problem som uppstod under projektets gång, förbättringar som behöver göras och vilka framtidsplaner som finns för den fullständiga webbplattformen.
78

Comptes rendus de perception dans le contexte des N fenêtre(s) et porte(s). Approche sémantique et pragmatique. / Perceptual reports in fenêtre(s) and porte(s) nouns context. Semantic and pragmatic approach

Maëso Gardeil, Florence 08 November 2014 (has links)
Cette thèse a pour objectif d’expliquer pourquoi l’insertion de comptes-rendus de perception ou CRP dans un fragment narratif, lorsqu’elle entraîne une rupture dans la progression thématique de ce fragment, ne compromet pas sa compréhension.Les études narratologiques (Hamon, Adam et Petitjean) définissent les textes descriptifs comme des séquences qui se caractérisent par des marqueurs d’introduction et de clôture corrélés. Les études sur l’accès cognitif à l’information (Vogeleer) montrent, par ailleurs, que les CRP décrivent une situation accessible dans la situation spatio-temporelle d’un sujet. Ce sont des énoncés thétiques qui se caractérisent par leur absence de thème (Furukawa). A l’écrit, le contexte gauche d’un CRP peut compenser son absence de thème en décrivant une situation qui permet d’inférer le lieu cible de perception (Emma s’approcha de la fenêtre) d’un sujet introduit en amont. Les énoncés de ce type sont ainsi apparentés au DIL.La classification d’un corpus de CRP intégrant les noms fenêtre(s) et porte(s), nous a conduit à distinguer six types de CRP parmi lesquels les séquences de compte rendu de perception indirect libre ou CRPIL sont les plus fréquentes. Dans ces séquences, lorsque le premier CRP de l’extrait n’a aucun lien avec son contexte gauche, il décrit une situation perçue accessible dans la situation spatio-temporelle du sujet qui la perçoit, qui est donc inédite jusqu’à son introduction dans le monde fictif. La coïncidence spatio-temporelle entre le sujet et cette situation peut être dénotée dans certains extraits par un SP spatial ou temporel antéposé dans le premier CRP de la séquence et potentiellement cadratif (Charolles). Ce SP signale le point de vue du sujet introduit en amont, dénote le lieu cible ou la localisation temporelle de la situation décrite dans le CRP et permet d’interpréter tous les CRP de la séquence. Dans les extraits ne mentionnant pas de SP, le lieu cible et le temps de la situation perçue sont inférés dès l’introduction du premier CRP, cette inférence validant tous les CRP de la séquence. La rupture topicale suscitée par l’introduction des CRP signale, dans tous les cas, l’émergence du point de vue d’un personnage introduit en amont. / The aim of this thesis is to explain why the inclusion of perceptual reports (PRs) in a literary narrative does not interfere with the comprehension of such narratives, despite when breaking their thematic progression.Narratological studies (Hamon, Adam and Petitjean) define descriptive texts as sequences characterised by correlated introductory and closing markers. Furthermore, research on evidentiality (Vogeleer) shows that PR describe a situation that is accessible in the space/time situation of a subject. PRs are thetics statements characterised by a lack of topic (Furukawa). In the written form, the left context of the PR may make up for the lack of topic by describing a situation that may be used to infer the place targeted by the perception (Emma s’approcha de la fenêtre) of a subject introduced earlier. Statements of this type are thus similar to represented speech and thought or RST.The classification of a corpus of PRs incorporating the nouns fenêtre(s) and porte(s), leads us to distinguish six PRs types among which represented perceptual reports (RPRs), are most frequent. In these sequences, when the first PR of the excerpt has no link to its left context, it describes a perceived situation accessible in the spatial/temporal situation of the subject that perceives it, which is therefore unknown until introduced into the fictitious world. The spatial and temporal coincidence of the subject and this situation may be noted in certain excerpts by a spatial or temporal prepositional phrase (PP) that is placed earlier in the first PR of the sequence and that is potentially framing (Charolles). This PP signals the point of view of the subject introduced earlier, denotes the target location or temporal location of the situation described in the PR and makes it possible to interpret all the PRs in the sequence. In the excerpts that do not mention a PP, the target location and time of the perceived situation are inferred once the first PR is introduced, with this inference validating all perceptual reports in the sequence. The topical break caused by the introduction of PRs signals, in all cases, the emergence of the point of view of a character introduced earlier.
79

Extensions of equilibrium logic by modal concepts / Extensions modales de la logique de l'équilibre

Su, Ezgi Iraz 20 March 2015 (has links)
La logique Here-and-there (HT) est une logique monotone à trois valeurs, intermédiaire entre les logiques intuitionniste et classique. La logique de l'équilibre est un formalisme non-monotone dont la sémantique est donnée par un critère de minimalisation sur les modèles de la logique HT. Ce formalisme est fortement lié à la programmation orientée ensemble réponse (ASP), un paradigme relativement nouveau de programmation déclarative. La logique de l'équilibre constitue la base logique de l'ASP: elle reproduit la sémantique par ensemble réponse des programmes logiques et étend la syntaxe de l'ASP à des théories propositionnelles plus générales, i.e., des ensembles finis de formules propositionnelles. Cette thèse traite aussi bien des logiques modales sous-jacentes à la logique de l'équilibre que de ses extensions modales. Ceci nous permet de produire un cadre complet pour l'ASP et d'examiner de nouveau la base logique de l'ASP. A cet égard, nous présentons d'abord une logique modale monotone appelée MEM et capable de caractériser aussi bien l'existence d'un modèle de la logique de l'équilibre que la relation de conséquence dans ces modèles. La logique MEM reproduit donc la propriété de minimalisation qui est essentielle dans la définition des modèles de la logique de l'équilibre. Nous définissons ensuite une extension dynamique de la logique de l'équilibre. Pour ce faire, nous étendons le langage de la logique HT par deux ensembles de programmes atomiques qui permettent de mettre à jour, si possible, les valeurs de vérité des variables propositionnelles. Ces programmes atomiques sont ensuite combinés au moyen des connecteurs habituels de la logique dynamique. Le formalisme résultant est appelé logique Here-and-there dynamique (D-HT) et permet la mise-à-jour des modèles de la logique de l'équilibre. Par ailleurs, nous établissons un lien entre la logique D-HT et la logique dynamique des affectations propositionnelles (DL-PA): les affectations propositionnelles mettent à vrai ou à faux les valeurs de vérité des variables propositionnelles et transforment le modèle courant comme en logique dynamique propositionnelle. En conséquence, DL-PA constitue également une logique modale sous-jacente à la logique de l'équilibre. Au début des années 1990, Gelfond avait défini les spécifications épistémiques (E-S) comme une extension de la programmation logique disjonctive par des notions épistémiques. L'idée de base des E-S est de raisonner correctement à propos d'une information incomplète au moyen de la notion de vue-monde dans des situations où la notion précédente d'ensemble réponse n'est pas assez précise pour traiter le raisonnement de sens commun et où il y a une multitude d'ensembles réponses. Nous ajoutons ici des opérateurs épistémiques au langage original de la logique HT et nous définissons une version épistémique de la logique de l'équilibre. Cette version épistémique constitue une nouvelle sémantique non seulement pour les spécifications épistémiques de Gelfond, mais aussi plus généralement pour les programmes logiques épistémiques étendus. Enfin, nous comparons notre approche avec les sémantiques existantes et nous proposons une équivalence forte pour les théories de l'E-HT. Ceci nous conduit naturellement des E-S aux ASP épistémiques et peut être considéré comme point de départ pour les nouvelles extensions du cadre ASP. / Here-and-there (HT) logic is a three-valued monotonic logic which is intermediate between classical logic and intuitionistic logic. Equilibrium logic is a nonmonotonic formalism whose semantics is given through a minimisation criterion over HT models. It is closely aligned with answer set programming (ASP), which is a relatively new paradigm for declarative programming. To spell it out, equilibrium logic provides a logical foundation for ASP: it captures the answer set semantics of logic programs and extends the syntax of answer set programs to more general propositional theories, i.e., finite sets of propositional formulas. This dissertation addresses modal logics underlying equilibrium logic as well as its modal extensions. It allows us to provide a comprehensive framework for ASP and to reexamine its logical foundations. In this respect, we first introduce a monotonic modal logic called MEM that is powerful enough to characterise the existence of an equilibrium model as well as the consequence relation in equilibrium models. The logic MEM thus captures the minimisation attitude that is central in the definition of equilibrium models. Then we introduce a dynamic extension of equilibrium logic. We first extend the language of HT logic by two kinds of atomic programs, allowing to update the truth value of a propositional variable here or there, if possible. These atomic programs are then combined by the usual dynamic logic connectives. The resulting formalism is called dynamic here-and-there logic (D-HT), and it allows for atomic change of equilibrium models. Moreover, we relate D-HT to dynamic logic of propositional assignments (DL-PA): propositional assignments set the truth values of propositional variables to either true or false and update the current model in the style of dynamic epistemic logics. Eventually, DL-PA constitutes an alternative monotonic modal logic underlying equilibrium logic. In the beginning of the 90s, Gelfond has introduced epistemic specifications (E-S) as an extension of disjunctive logic programming by epistemic notions. The underlying idea of E-S is to correctly reason about incomplete information, especially in situations when there are multiple answer sets. Related to this aim, he has proposed the world view semantics because the previous answer set semantics was not powerful enough to deal with commonsense reasoning. We here add epistemic operators to the original language of HT logic and define an epistemic version of equilibrium logic. This provides a new semantics not only for Gelfond's epistemic specifications, but also for more general nested epistemic logic programs. Finally, we compare our approach with the already existing semantics, and also provide a strong equivalence result for EHT theories. This paves the way from E-S to epistemic ASP, and can be regarded as a nice starting point for further frameworks of extensions of ASP.
80

Philosophie du point de vue au cinéma : Gilles Deleuze et le renversement des notions d'objectivité et de subjectivité

Paquin, Clyde 08 1900 (has links)
Ce mémoire aborde la question du point de vue dans la philosophie du cinéma de Gilles Deleuze. Dans Cinéma 1 : L’image-mouvement, en reprenant les définitions de l’objectivité et de la subjectivité de Bergson, Deleuze effectue comme une espèce de « renversement » de ce qu’on entend communément au cinéma en ces termes. Cette étude vise à comprendre ce renversement. Nous voyons d’abord que Deleuze rejette les conceptions narratives du point de vue puisqu’elles ne donnent pas à l’image la primauté ontologique. Nous exposons de quelle façon Deleuze retourne Bergson contre lui-même en accordant à la perception cinématographique un degré d’objectivité supérieur à la perception naturelle, et nous demandons ensuite comment Deleuze pourrait concevoir l’expérience du spectateur. En adressant les notions d’objectivité et de subjectivité du 5e chapitre de L’image-mouvement, nous décrivons le processus à travers lequel Deleuze en arrive à reprendre les définitions de Bergson, puis de quelle façon se produit le renversement explicite. Nous découvrons à ce stade que, suivant l’influence de Vertov, c’est par un « œil non-humain » que s’effectue le renversement. Cela nous mène au passage entre l’image-mouvement et l’image-temps, où nous trouvons que la notion de point de vue a subi une sorte de « réflexion ». Dans un engrenage composite avec les mouvements aberrants, le point de vue se révèle être un élément important de la transition entre les deux régimes d’images. Nous rejoignons ensuite l’absolu de Bergson, la « durée » de l’image-temps, qui vient à signifier le dépassement même de la notion de point de vue. Nous remarquons plus généralement que nos conclusions ont en commun une entreprise sous-jacente de désubjectivation, qui traverse une grande partie de la philosophie deleuzienne. Nous en venons enfin au constat selon lequel le point de vue chez Deleuze est un élément crucial de son propre dépassement. / This thesis addresses the question of the point of view in the philosophy of the cinema of Gilles Deleuze. In Cinema 1: The Movement-Image, taking Bergson’s definitions of objectivity and subjectivity, Deleuze performs a kind of “reversal” of what is commonly understood in cinema in these terms. This study aims to understand this reversal. We first see that Deleuze rejects the narrative conceptions of the point of view since they do not give the image ontological primacy. We show how Deleuze turns Bergson against himself by attributing cinematographic perception a degree of objectivity superior to natural perception, and then see how Deleuze could conceive the spectator’s experience. In discussing the notions of objectivity and subjectivity of the 5th chapter of The Movement-Image, we describe the process through which Deleuze arrives at Bergson’s definitions, and then how the explicit reversal takes place. We discover at this stage that, following the influence of Vertov, it is through a “non-human eye” that the reversal occurs. This leads us to the transition from the movement-image to the time-image, where we find that the notion of point of view has undergone a kind of “reflection”. In a composite assembly with aberrant movements, the point of view proves to be an important element of the transition between the two regimes of images. We then reach the absolute of Bergson, the “durée” of the time-image, which comes to signify the very surpassing of the notion of point of view. We observe more generally that our conclusions share an underlying process of desubjectivization, which appears across much of the Deleuzian philosophy. Finally, we come to the conclusion that, for Deleuze, the point of view is a crucial element of its own overcoming.

Page generated in 0.0358 seconds