Littérature scientifique sur le sujet « Logiciels – Philosophie »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Logiciels – Philosophie ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "Logiciels – Philosophie"
1
Gauthier, Yvon. « La théorie des nombres chez Herbrand et Lautman ». Articles 37, no 1 (14 mai 2010) : 149–61. http://dx.doi.org/10.7202/039716ar.
Texte intégralRésumé :
Résumé Dans cet article, je compare les vues de Lautman et Herbrand sur la théorie des nombres et la philosophie de l’arithmétique. Je montre que, bien que Lautman eût avoué avoir été marqué par l’influence de Herbrand, les postures fondationnelles des deux amis divergent considérablement. Alors que Lautman versait dans un réalisme platonicien, Herbrand est resté fidèle au finitisme hilbertien. Il est vrai que Lautman était philosophe et que Herbrand était avant tout arithméticien et logicien, mais il demeure que l’oeuvre de Herbrand a une portée philosophique mieux accordée à la logique et aux mathématiques contemporaines.
2
Nadeau, Robert. « Hommage à Hugues Leblanc, philosophe logicien ». Philosophiques 13, no 1 (1986) : 131. http://dx.doi.org/10.7202/203306ar.
Texte intégral
3
Savolle, Adrien, et Nicolas Hicher. « Pratiques et philosophies du logiciel libre à travers ses ambiguïtés ». Socio-anthropologie, no 46 (15 décembre 2022) : 145–54. http://dx.doi.org/10.4000/socio-anthropologie.12830.
Texte intégral
4
Laronde, Thierry. « Propriété intellectuelle et brevets logiciels ». Multitudes 5, no 2 (2001) : 66. http://dx.doi.org/10.3917/mult.005.0066.
Texte intégral
5
Higginbotham, James. « McGinn's Logicisms ». Philosophical Issues 4 (1993) : 119. http://dx.doi.org/10.2307/1522832.
Texte intégral
6
Gleizes, Jérôme. « Introduction au logiciel libre ». Multitudes 1, no 1 (2000) : 161. http://dx.doi.org/10.3917/mult.001.0161.
Texte intégral
7
Sorensen, Roy. « Fugu for Logicians ». Philosophy and Phenomenological Research 92, no 1 (4 juin 2014) : 131–44. http://dx.doi.org/10.1111/phpr.12117.
Texte intégral
8
Miller, David. « Sir Karl Raimund Popper, C. H., F. B. A. 28 July 1902—17 September 1994. » Biographical Memoirs of Fellows of the Royal Society 43 (janvier 1997) : 369–409. http://dx.doi.org/10.1098/rsbm.1997.0021.
Texte intégralRésumé :
Karl Raimund Popper, the philosopher and methodologist of science, died on 17 September 1994 at the age of 92 years. Locke was a Fellow of the Royal Society, of course, and some other early Fellows, Boyle in particular, have a secure place in the history of philosophy. Whewell, an intellectual forerunner of Popper's (Medawar 1967), was elected in 1820 when the Royal Society was, according to a contemporary philosopher, ‘in a state of unstable equilibrium’; he was a mere 26, a lecturer in mathematics, and was to occupy the chair of mineralogy at Cambridge for some years before writing his exceptional studies in the history and philosophy of science. Whitehead and Russell were elected as Fellows for their mathematical work, as have been one or two more recently elected logicians. Popper is the only philosopher in modern times to have been elected a Fellow of the Royal Society primarily in recognition of his philosophical achievement.
9
Rojek, Paweł. « Pavel Florensky’s Theory of Religious Antinomies ». Logica Universalis 13, no 4 (novembre 2019) : 515–40. http://dx.doi.org/10.1007/s11787-019-00234-0.
Texte intégralRésumé :
Abstract Pavel Florensky (1882–1937), a Russian theologian, philosopher, and mathematician, argued that the religious discourse is essentially contradictory and put forward the idea of the logical theory of antinomies. Recently his views raised interesting discussions among logicians who consider him a forerunner of many non-classical logics. In this paper I discuss four interpretations of Florensky’s views: paraconsistent, L-contradictory, non-monotonic and rhetorical. In conclusion I argue for the integral interpretation which unites these four approaches.
10
Parsons, Josh. « A-theory for tense logicians ». Analysis 63, no 277 (janvier 2003) : 4–6. http://dx.doi.org/10.1111/j.0003-2638.2003.00386.x.
Texte intégralThèses sur le sujet "Logiciels – Philosophie"
1
Wiggershaus, Nick. « Mind the Gap : A Historico-Philosophical Investigation of the Ontological Status of Computer Programs ». Electronic Thesis or Diss., Université de Lille (2022-....), 2025. https://pepite-depot.univ-lille.fr/ToutIDP/EDSHS/2025/2025ULILH004.pdf.
Texte intégralRésumé :
Cette thèse examine le statut ontologique des programmes informatiques. De précédentes études ont placé les programmes informatiques dans presque toutes les catégories ontologiques disponibles et ont affirmé qu'ils avaient une « double nature ». Ma principale contribution au débat consiste à proposer un cadre alternatif mettant l'accent sur l'implémentation informatique et ses relata. Je soutiens qu'il n'est pas nécessaire d'approuver le point de vue de la double nature en suggérant que le terme « programme » est un polysème - un terme générique abritant diverses entités couvrant la dichotomie abstrait-concret. L'avantage de ce point de vue est qu'il évite de poser des entités métaphysiquement douteuses. Au lieu de cela, nous pouvons comprendre l'ontologie des programmes comme un réseau de relations entre abstracta et concreta que nous rassemblons par la mise en oeuvre lorsque nous utilisons des machines informatiques comme outils épistémiques. Pour mettre en évidence et explorer les revendications de ce point de vue alternatif, je me plonge d'abord dans la littérature philosophique sur l'implémentation et je taxinomise ses différentes notions. En temps voulu, je propose une théorie unifiée de l'implémentation agentielle, l'UTAI. Plus précisément, l'UTAI préconise le développement d'une série d'études de cas clarificatrices connexes qui suivent trois relations de dépendance différentes entre nous et les constituants ontologiquement différents sous le terme de programme. En conséquence, je discute des implications de la première relation de dépendance entre les programmeurs et les programmes en tant qu'objets abstraits. En adoptant le problème de la création - une question bien connue de la philosophie de l'art - je présente une nouvelle perspective sur les options métaphysiques qui nous permettent de considérer les programmes comme des entités abstraites. Ensuite, je me concentre sur la seconde relation de dépendance entre les agents humains et l'informatique physique. En conséquence, je fournis un nouvel argument pour comprendre l'implémentation informatique comme une relation à trois places et je développe une notion appropriée appelée Implémentation-as (basée sur le compte DEKI de la représentation scientifique). Enfin, j'aborde la troisième relation de dépendance entre les programmeurs et les systèmes matériels utilisés pour l'exécution des programmes. En combinant les idées de l'interventionnisme, des artefacts techniques et de la littérature néo-mécaniste, j'introduis la notion de « programmabilité physique »This thesis addresses the ontological status of computer programs. Previous studies have placed computer programs in almost every ontological category available and claimed that they have a ‘dual nature.' My primary contribution to the debate is offering an alternative framework emphasizing computational implementation and its relata. I argue that we do not need to endorse the dual nature view by suggesting that ‘program' is a polyseme - an umbrella term hosting various entities spanning the abstract-concrete dichotomy. The advantage of this view is the avoidance of positing metaphysically dubious entities. Instead, we can understand the ontology of programs as a network of relations between abstracta and concreta that we bundle together through implementation when using computing machines as epistemic tools. To flash out and explore the claims of this alternative view, I first delve into the philosophical literature on implementation and taxonomize its different notions. In due course, I offer a unified theory of agential implementation, short UTAI. Specifically, UTAI advocates developing a series of related clarificatory case studies that track three different dependency relations between us and the ontologically different constituents under the term program. Accordingly, I discuss the implications of the first dependency relation between programmers and programs as abstract objects. By adopting the Problem of Creation - a well-known issue from the philosophy of art - I present a fresh perspective on the metaphysical options that allow us to view programs as abstract entities. Next, I focus on the second dependency relation between human agents and physical computation. As a result, I provide a new argument for understanding computational implementation as a three-place relation and develop a suitable notion called Implementation-as (based on the DEKI account of scientific representation). Lastly, I address the third dependency relation between programmers and the material systems used for program execution. By combining the insights of interventionism, technical artifacts, and neo-mechanistic literature, I introduce the notion of ‘physical programmability.'
2
Belloir, Nicolas. « Composition conceptuelle basée sur la relation Tout-Partie ». Pau, 2004. http://www.theses.fr/2004PAUU3020.
Texte intégralRésumé :
La composition est une préoccupation centrale dans la construction des applications par intégration de briques logicielles sur mesures ou standards. Dans ce cadre, la composition hiérarchique est une technique utile pour la construction de composants complexes et d'applications à base de composants <<~plus~>> élémentaires aussi appelés sous-composants. La spécification de la composition, appelée composition conceptuelle, définit la manière dont doivent être assemblés les composants entre eux. Toutefois, les moyens d'exprimer cette composition conceptuelle ne sont pas aujourd'hui suffisants, notamment dans le cadre de la composition hiérarchique. En particulier, UML qui est actuellement le standard de facto en modélisation, n'apporte pas de solution satisfaisante malgré sa récente évolution. Notre proposition s'appuie sur la relation Tout-Partie pour améliorer la sémantique de la composition conceptuelle au sens UML, c'est-à-dire en définissant un métamodèle et des contraintes OCL. Nous avons proposé une modification du métamodèle UML qui décrit une nouvelle relation de composition spécifique. Les contraintes OCL sont inspirées de l'identification d'un certain nombre de propriétés de composition résultant de l'étude menée sur la relation Tout-Partie. Un outillage a été développé pour offrir un cadre de composition. Il est composé d'un profil UML permettant la définition de modèles de composition basés sur notre proposition, d'un environnement contraint de composition permettant la description des propriétés spécifiées dans les modèles et d'une librairie permettant la définition et l'exécution de contrats de test basés sur les étatsComposition is a central preoccupation in application building from integration of either standards or tailor-made software units. In this context, hierarchical composition is a good technique to build both complex components and applications from "more" elementary components called sub-components. Component specification, also called conceptual composition, defines how components must be assembled. However, design capabilities are not enough in this domain. Specially, UML which is the de facto standard in design doesn't provide a satisfactory solution to this problem, despite its recent evolution. Our proposal is based on the Whole-Part relationship to increase semantic of conceptual composition (in the UML meaning), i. E. With definition of both a metamodel and OCL constraints. We have proposed a modification of the UML metamodel in order to define a new composition relationship. OCL constraints are inspired from the identification of numerous composition properties. Theses properties were identified from a study of the Whole-Part relationship. Tools have been developed to define a composition framework. It provide a UML profile allowing definition of composition models based on our proposal, a constrained composition environment allowing implementation of the specified properties from models, and a library allowing definition and execution of state-based testability contracts
3
Bernard, Bruno. « Modification et hybridation des images photoniques électroniques et algorithmiques ». Paris 8, 1998. http://www.theses.fr/1998PA081507.
Texte intégralRésumé :
Depuis quinze ans, les moyens d'expression visuels et automatiques integrent la technologie numerique et le controle par le nombre. A partir des annees 95, les moyens d'expression + hors-ligne ; et + en ligne ; ont entraine un renouvellement des ecritures audio-scripto-visuelles. Dans le cadre de ce travail de recherche, nous avons privilegie le moyen d'expression videographique traduisant d'une part la dimension indicielle de la morphogenese photonique et d'autre part la capacite de l'enchainement des coupes spatio-temporelles a reproduire ou a generer un mouvement. Nous nous sommes attaches a definir une typologie des images visuelles et automatiques, puis a apprehender la modification et l'hybridation en accordant un role principal au processus de fragmentation applique a l'accentuation ou a la reduction des ecarts entre une reference et un signe visuel. L'ensemble de ces investigations participe a la validation de notre question principale : quelles sont les incidences de la forme electronique et numerique sur les elements constitutifs de l'image et sur les ecritures des moyens d'expression videographique et infographique, presentant une orientation videographique?Since 15 years, the visual and automatic means of expression integrated digital technology, and number monitoring. Since the mid 1990s, the off-line and the on-line means of expression gave new life to the audio, computer graphics and visual style [ i. E. + audio-scriptovisuel ; in french as defined by jean cloutier ]. Within the context of our research, we favoured videography as a mean of expression conveying, on the one hand, the index dimension [as defined by c. S. Peirce] of the photonic morphogenesis and, on the other hand, the capacity to allow linking of spatio-temporal sections for reproducting or generating movement. First, we tried to define a typology of visual and automatic pictures, then we tried to apprehend the modification and hybridization of these ones, by giving the main role to the fragmentation process applied to the accentuation or reduction of gaps between a reference and a visual sign. All these investigations are participating in validating our main question, i. E. Which are effects of the electronic and digital form on the constituent elements of picture, and on style of video and computer graphics means of expression preventing a video graphics orientation?
4
Auvinet, Jean-Marie. « Interprétation, interactions et connaissances : artefacts et assistance aux opérateurs radio des salles d'information et de commandement ». Paris 1, 2005. http://www.theses.fr/2005PA010009.
Texte intégralRésumé :
La sécurité publique exige efficacité et diminution des erreurs et des risques. L'interprétation des messages échangés au cours d'une intervention s'appuie à la fois sur des connaissances et sur des interactions. Mais les connaissances mise en œuvre sont difficiles à capitaliser et la sécurité publique se construit par un double mouvement individu-collectif selon la théorie de la structuration de Giddens. L'intervention policière, incertaine et rapide, ne peut se contenter d'un système expert. Le modèle interactionniste du sens éclaire les enjeux et difficultés d'une automatisation de l'interprétation. La signification des éléments des messages se dégage d'un processus de catégorisation. Le sens de l'intervention émerge de la succession des interlocutions par un processus de mutation sémantique qui donne tout son poids au global et au structurel. Les systèmes adaptatifs et les systèmes multi-agents ouvrent une voie à l'interprétation assistée par ordinateur. L'opérateur radio dialogue avec le monde virtuel que lui propose l'outil d'interprétation des interlocutions.
5
El, Badaoui El Najjar Maan. « Localisation dynamique d'un véhicule sur une carte routière numérique pour l'assistance à la conduite ». Compiègne, 2003. http://www.theses.fr/2003COMP1480.
Texte intégralRésumé :
Dans cette thèse de doctorat, l'intérêt de la cartographie routière numérique pour la - conception de nouvelles applications d'aide à la conduite automobile ou l'amélioration d'applications existantes est présenté et discuté. Il ressort que la localisation dynamique d'un véhicule sur une carte routière numérique précise est un point clé. Ce problème nécessite l'utilisation d'un système de positionnement par satellites (GPS), d'une base de données géographiques (la carte routière numérique) et d'un Système d'Information Géographique (SIG) pour accéder à ces données. Pour suppléer le GPS en cas de mauvaise visibilité satellitaire, on propose d'utiliser des capteurs proprioceptifs, en l'occurrence les capteurs odométriques du système de freinage d'urgence de l'automobile. Pour localiser dynamiquement le véhicule, nous proposons d'utiliser des méthodes dynamiques d'observation d'état de façon à fusionner les mesures du GPS, les mesures des capteurs proprioceptifs et les données de la carte. Nous nous sommes intéressés plus particulièrement à la conception de méthodes de recherche de la route sur laquelle le véhicule roule, avec une quantification du degré de certitude de cette étape de sélection, en fonction de la qualité des informations manipulées et de la configuration géométrique du réseau routier autour du véhicule. Nous présentons deux grandes classes de méthodes de sélection de routes: une approche probabiliste gaussienne basée sur la distance de Mahalanobis et une approche crédibiliste s'inscrivant dans le cadre de la fusion de données multi-sources. Des résultats expérimentaux illustrent les performances des approches développées et on présente comment une telle solution peut être implémentée dans un système informatique temps-réel centralisé ou distribué.
6
Hoareau, Lara. « Co-conception et acceptance des enseignants de maternelle d’une application éducative sur tablette ». Thesis, Université de Lorraine, 2021. http://www.theses.fr/2021LORR0072.
Texte intégralRésumé :
Ce travail de thèse s’inscrit dans le cadre du projet LINUMEN (LIttératie et NUMératie Emergentes par le Numérique), lauréat de l’appel à projets e-FRAN (PIA2). Ce projet avait pour objectif de développer et tester une application éducative sur tablette numérique à l’usage d’enfants dans le contexte de la maternelle. Pour ce faire, le travail s’est divisé en deux phases : une première phase de co-conception et une seconde phase d’expérimentation. Durant les premières années du projet (mars 2017 - octobre 2018) une équipe pluri-catégorielle constituée de chercheurs, d’acteurs éducatifs et d’ingénieurs en informatique ont participé à la co-conception de l’application éducative AppLINOU (Apprendre avec Linou en maternelle). La phase d’expérimentation de ce projet (octobre 2018 - juin 2020) consistait à tester AppLINOU selon une méthodologie quasi-expérimentale et longitudinale. Les enseignants du groupe expérimental utilisaient l’application AppLINOU avec leurs élèves alors que, dans le groupe contrôle, les enseignants suivaient les programmes de l’école maternelle sans modification dans leur pratique. L’étude a porté sur 725 élèves de maternelle, scolarisés en moyenne section (356 filles et 369 garçons). Des mesures des compétences en littératie et en numératie émergentes ont été réalisées en début et en fin d’année.Les objectifs de la thèse sont liés à ces deux phases. Concernant la phase de co-conception, les objectifs du travail de thèse étaient de définir dans un premier temps le cadre théorique de co-conception. Dans un second temps, il s’agissait de participer, de décrire et d’analyser les différentes étapes de la co-conception. Concernant la phase d’expérimentation, les objectifs étaient d’étudier l’acceptance de l’application éducative AppLinou par les enseignants du groupe expérimental. Ces enseignants du groupe expérimental ont été recrutées sur la base du volontariat et ont suivi des formations afin de pouvoir utiliser l’application. Nos résultats montent que l’application AppLinou est bien acceptée par les enseignants. Cependant, des variables modèrent cette acceptance, comme le lieu d’exercice. En effet, les enseignants exerçant en réseau d’éducation prioritaire (REP) présentent des scores d’acceptance significativement plus bas que les enseignants exerçant en dehors des REP. Par ailleurs, des analyses de régression multiniveaux ont permis de montrer que l’acceptance de l’application par les enseignants avait un impact positif sur les performances des élèvesThis PhD work is part of the LINUMEN project (LIttératie et NUMératie Emergentes par le Numérique), laureate of the e-FRAN call for projects (PIA2). The objective of this project was to develop and test an educational app for children in the context of kindergarten. To do this, the work was divided into two phases: a first phase of co-design and a second phase of experimentation. During the first years of the project (March 2017 - October 2018) a multidisciplinary team consisting of researchers, educational actors and IT engineers participated in the co-design of the educational app called AppLINOU (Apprendre avec Linou en maternelle). The experimentation phase of this project (October 2018 - June 2020) consisted in testing AppLINOU according to a quasi-experimental and longitudinal methodology. The teachers in the experimental group used AppLINOU with their students, while in the control group, the teachers followed the usual kindergarten curriculum without any changes in their practice. The study involved 725 kindergarten students scholarized in ‘moyenne section’ (356 girls and 369 boys). Measures of emergent literacy and numeracy skills were taken at the beginning and end of the year.The objectives of this thesis are linked to these two phases. Concerning the co-design phase, the thesis goals were to first define the theoretical framework of co-design. In a second time, it was to participate, describe and analyze the different stages of co-design. Concerning the experimentation phase, the goals were to study the acceptance of the educational app AppLinou by the teachers of the experimental group. These teachers from the experimental group were recruited on a voluntary basis and received training to be able to use the application. Our results show that the AppLinou application is well accepted by teachers. However, there are variables that moderate this acceptance, such as the location of practice. Indeed, teachers working in a ‘Réseau d’éducation prioritaire’ (REP) have significantly lower acceptance scores than teachers working outside REPs. Furthermore, multilevel regression analyses showed that teachers' acceptance of the application had a positive impact on students' performance
7
Simard, Pierre-Luc. « La quantité : points de vue respectifs du métaphysicien et du logicien ». Master's thesis, Université Laval, 2021. http://hdl.handle.net/20.500.11794/69065.
Texte intégral
8
Broca, Sebastien. « L'utopie du logiciel libre. La construction de projets de transformation sociale en lien avec le mouvement du free software ». Phd thesis, Université Panthéon-Sorbonne - Paris I, 2012. http://tel.archives-ouvertes.fr/tel-00662283.
Texte intégralRésumé :
Dans le mouvement d'extension de la portée sociale du logiciel libre s'est constituée une utopie, qui constitue un pan de l'imaginaire politique contemporain. Cette utopie s'étend désormais bien au-delà de son milieu socio-culturel d'origine (le milieu hacker), du fait des liens tissés entre " libristes " et défenseurs des " biens communs ", du poids croissant de l'approche open source, et à proportion de l'intérêt suscité par le logiciel libre chez certains intellectuels critiques à partir de la fin des années 1990. Reprenant l'idéal cybernétique de libre circulation de l'information, l'utopie du logiciel libre se présente comme une contestation de la vision néolibérale de la propriété intellectuelle, et comme une critique des formes d'organisation du travail caractéristiques du capitalisme industriel. Elle se déploie en tant qu'" utopie concrète " (E. Bloch), mettant en jeu des pratiques de collaboration en ligne, des créations juridiques originales, et des formes de militantisme. Elle embrasse un idéal d'auto-organisation de la société civile, fondé sur la valorisation d'un domaine d'activités sociales distinct tant de l'État que du marché. Elle est toutefois condamnée à demeurer en deçà de cet idéal, et reste par ailleurs toujours menacée par les séductions du mythe et les renoncements de l'idéologie.
9
Milliez, Grégoire. « Raisonnement sur le contexte et les croyances pour l'interaction homme-robot ». Thesis, Toulouse, INPT, 2016. http://www.theses.fr/2016INPT0077/document.
Texte intégralRésumé :
Les premiers robots sont apparus dans les usines, sous la forme d'automates programmables. Ces premières formes robotiques ont le plus souvent un nombre très limité de capteurs et se contentent de répéter une séquence de mouvements et d'actions. De nos jours, de plus en plus de robots ont à interagir ou coopérer avec l'homme, que se soit sur le lieu de travail avec les robots coéquipiers ou dans les foyers avec les robots d'assistance. Mettre un robot dans un environnement humain soulève de nombreuses problématiques. En effet, pour évoluer dans le même environnement que l'homme et comprendre cet environnement, le robot doit être doté de capacités cognitives appropriées. Au delà de la compréhension de l'environnement matériel, le robot doit être capable de raisonner sur partenaires humains afin de pouvoir collaborer avec eux ou les servir au mieux. Lorsque le robot interagit avec des humains, l'accomplissement de la tâche n'est pas un critère suffisant pour quantifier la qualité de l'interaction. En effet, l'homme étant un être social, il est important que le robot puisse avoir des mécanismes de raisonnement lui permettant d'estimer également l'état mental de l'homme pour améliorer sa compréhension et son efficacité, mais aussi pour exhiber des comportements sociaux afin de se faire accepter et d'assurer le confort de l'humain. Dans ce manuscrit, nous présentons tout d'abord une infrastructure logicielle générique (indépendante de la plateforme robotique et des capteurs utilisés) qui permet de construire et maintenir une représentation de l'état du monde à l'aide de l'agrégation des données d'entrée et d'hypothèses sur l'environnement. Cette infrastructure est également en charge de l'évaluation de la situation. En utilisant l'état du monde qu'il maintient à jour, le système est capable de mettre en oeuvre divers raisonnements spatio-temporels afin d'évaluer la situation de l'environnement et des agents (humains et robots) présents. Cela permet ainsi d'élaborer et de maintenir une représentation symbolique de l'état du monde et d'avoir une connaissance en permanence de la situation des agents. Dans un second temps, pour aller plus loin dans la compréhension de la situation des humains, nous expliquerons comment nous avons doté notre robot de la capacité connue en psychologie développementale et cognitive sous le nom de “théorie de l'esprit” concrétisée ici par des mécanismes permettant de raisonner en se mettant à la place de l'humain, c'est à dire d'être doté de “prise de perspective”. Par la suite nous expliquerons comment l'évaluation de la situation permet d'établir un dialogue situé avec l'homme, et en quoi la capacité de gérer explicitement des croyances divergentes permet d'améliorer la qualité de l'interaction et la compréhension de l'homme par le robot. Nous montrerons également comment la connaissance de la situation et la possibilité de raisonner en se mettant à la place de l'homme permet une reconnaissance d'intentions appropriée de celui-ci et comment nous avons pu grâce à cela doter notre robot de comportements proactifs pour venir en aide à l'homme . Pour finir, nous présenterons une étude présentant un système de maintien d'un modèle des connaissances de l'homme sur diverses tâches et qui permet une gestion adaptée de l'interaction lors de l'élaboration interactive et l'accomplissement d'un plan partagéThe first robots appeared in factories, in the form of programmable controllers. These first robotic forms usually had a very limited number of sensors and simply repeated a small set of sequences of motions and actions. Nowadays, more and more robots have to interact or cooperate with humans, whether at the workplace with teammate robots or at home with assistance robots. Introducing a robot in a human environment raises many challenges. Indeed, to evolve in the same environment as humans, and to understand this environment, the robot must be equipped with appropriate cognitive abilities. Beyond understanding the physical environment, the robot must be able to reason about human partners in order to work with them or serve them best. When the robot interacts with humans, the fulfillment of the task is not a sufficient criterion to quantify the quality of the interaction. Indeed, as the human is a social being, it is important that the robot can have reasoning mechanisms allowing it to assess the mental state of the human to improve his understanding and efficiency, but also to exhibit social behaviors in order to be accepted and to ensure the comfort of the human. In this manuscript, we first present a generic framework (independent of the robotic platform and sensors used) to build and maintain a representation of the state of the world by using the aggregation of data entry and hypotheses on the environment. This infrastructure is also in charge of assessing the situation. Using the state of the world it maintains, the system is able to utilize various spatio-temporal reasoning to assess the situation of the environment and the situation of the present agents (humans and robots). This allows the creation and maintenance of a symbolic representation of the state of the world and to keep awareness of each agent status. Second, to go further in understanding the situation of the humans, we will explain how we designed our robot with the capacity known in developmental and cognitive psychology as "theory of mind", embodied here by mechanisms allowing the system to reason by putting itself in the human situation, that is to be equipped with "perspective-taking" ability. Later we will explain how the assessment of the situation enables a situated dialogue with the human, and how the ability to explicitly manage conflicting beliefs can improve the quality of interaction and understanding of the human by the robot. We will also show how knowledge of the situation and the perspective taking ability allows proper recognition of human intentions and how we enhanced the robot with proactive behaviors to help the human. Finally, we present a study where a system maintains a human model of knowledge on various tasks to improve the management of the interaction during the interactive development and fulfillment of a shared plan
10
Cordrie, Benjamin. « L’entreprise, acteur politique : Une analyse institutionnaliste d’un compromis : la troisième révolution industrielle en Hauts-de-France ». Thesis, Lille 1, 2020. http://www.theses.fr/2020LIL1A016.
Texte intégralRésumé :
La thèse explore le rôle que joue l’entreprise dans la régulation des tensions que produit le capitalisme. Sous les effets déstabilisateurs de la remise en cause des régulations issues du compromis fordiste et de l’émergence de la question environnementale, on l’observe émerger comme acteur politique participant à la construction de nouvelles formes de régulation. Pour interroger ce processus, nous mobilisons la perspective institutionnaliste et pragmatique de John R. Commons. Après une relecture du concept de compromis permettant de saisir ces régulations et le rôle qu’y joue l’entreprise, la thèse s’appuie sur une enquête de terrain portant sur un projet de transition énergétique en cours en Hauts-de-France : la troisième révolution industrielle (TRI). Se basant sur le modèle proposé par Jeremy Rifkin dans son ouvrage éponyme, ce processus est lancé conjointement par le conseil régional et la chambre de commerce et d’industrie de région en 2012. Reposant principalement sur des entretiens semi-directifs (n=55) et une analyse de la littérature grise menée à l’aide du logiciel Prospéro, l’enquête examine d’abord la stratégie de réponse à la question environnementale formulée par les acteurs de la TRI. Elle repose en particulier sur un registre de justification qualifié de « technico-économique » en ce qu’il fait de la question environnementale un champ d’opportunités économiques pour les entreprises, notamment via le développement d’innovations technologiques. L’enquête montre ensuite comment, au fil du processus de construction et de structuration de ce compromis, l’entreprise en devient progressivement l’acteur politique dominant. La thèse entend ainsi contribuer à une réflexion sur l’entreprise comme institution politique du capitalismeThis thesis investigates the role played by businesses in regulating the tensions that capitalism produces. With the Fordist compromise and its regulations on the wane and the environmental issue on the rise, and the destabilising effects this causes, we see businesses emerge as political actors that help shape new forms of regulation. To analyse this process, we draw on John R. Commons’ institutional and pragmatic approach. As a first step, the thesis undertakes a reinterpretation of the concept of compromise, enabling us to apprehend these regulations and the role played in them by businesses. Subsequently, the thesis focuses on a field survey on an ongoing energy transition project in Hauts-de-France: the “third industrial revolution” (TIR), a project based upon the model outlined by Jeremy Rifkin in his eponym publication. The regional council and the chamber of commerce jointly launched this process in 2012. The survey, mostly based on semi-structured interviews (n=55) and on a review of grey literature conducted with the software Prospéro, first examines the strategy developed by the stakeholders of the TIR to respond to the environmental issue. This strategy mainly relies on a justification that can be described as “techno-economic”, in the sense that it considers the environmental issue as offering economic opportunities to businesses, especially through developing technological innovations. This research then shows how, as this new compromise gradually takes shape, businesses are becoming the dominant political players in it. This thesis thus intends to show that businesses are a political institution of capitalism
Livres sur le sujet "Logiciels – Philosophie"
2
Zemb, Jean-Marie. Non et non ou non ? : Entretiens entre un philosophe, un grammairien et un logicien. Limoges : Lambert-Lucas, 2007.
Trouver le texte intégral
3
Berson, Jerome A. Chemical discovery and the logicians' program : A problematic pairing. Weinheim : Wiley-VCH, 2004.
Trouver le texte intégral
4
Dobre, Marius, et Dragoș Popescu. Alexandru Surdu : Itinerarii logico-filosofice. București : Paideia, 2003.
Trouver le texte intégral
5
Teixidor, Javier. Aristote en syriaque : Paul le perse, logicien du VIe siècle. Paris : CNRS, 2003.
Trouver le texte intégral
6
Teixidor, Javier. Aristote en syriaque : Paul le Perse, logicien du VIe siècle. Paris : CNRS Editions, 2003.
Trouver le texte intégral
7
Teixidor, Javier. Aristote en syriaque : Paul le perse, logicien du VIe siècle. Paris : CNRS, 2003.
Trouver le texte intégral
8
Hao, Wang. A logical journey : From Gödel to philosophy. Cambridge, Mass : MIT Press, 1996.
Trouver le texte intégral
9
Chen, Gaoyong. Gongsun Longzi, Deng Xizi, Yin Wenzi jin jie. Beijing : Shang wu yin shu guan, 2017.
Trouver le texte intégral
10
Surdu, Alexandru. Contribuții românești în domeniul logicii în secolul XX. București : Editura Fundației "România de Mâine", 1999.
Trouver le texte intégralChapitres de livres sur le sujet "Logiciels – Philosophie"
1
Grosholz, Emily Rolfe. « Fermat’s Last Theorem and the Logicians ». Dans Studies in Applied Philosophy, Epistemology and Rational Ethics, 81–102. Cham : Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-46690-3_5.
Texte intégral
2
Murawski, Roman. « The Contribution of Polish Logicians to Recursion Theory ». Dans The Lvov-Warsaw School and Contemporary Philosophy, 265–82. Dordrecht : Springer Netherlands, 1998. http://dx.doi.org/10.1007/978-94-011-5108-5_22.
Texte intégral
3
Ashworth, E. Jennifer. « Burley, Ockham, and English Logicians on Impositio as a Type of Obligatio ». Dans The Language of Thought in Late Medieval Philosophy, 233–45. Cham : Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-66634-1_15.
Texte intégral
4
Kwok, Sai Hang. « The Zhuangzi and the Logicians : Two Perspectives on the Difference Between “zhi 指” and “wu 物” ». Dans Dao Companion to the Philosophy of the Zhuangzi, 405–24. Cham : Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-92331-0_16.
Texte intégral
5
Rice, Adrian. « 1. De Morgan and Mathematics ». Dans Augustus De Morgan, Polymath, 2–28. Cambridge, UK : Open Book Publishers, 2024. http://dx.doi.org/10.11647/obp.0408.01.
Texte intégralRésumé :
If Augustus De Morgan is remembered at all today, it is primarily for the pair of algebraic laws that bear his name, for he proved no major theorem, made no notable mathematical discoveries, and published no magnum opus. Indeed, it is hard to identify much in today’s mathematics for which he was responsible. Yet he was described by contemporaries as ‘one of the most eminent mathematicians and logicians of his time’ and ‘one of the profoundest and subtlest thinkers of the nineteenth century’. And his mathematical publications spanned a far greater array of subjects than his current limited fame would suggest, including algebra, logic, probability, actuarial mathematics, differential equations, mathematical education, and the history of mathematics—some of which will be discussed in more detail in subsequent chapters. In this chapter, we explore the range of De Morgan’s activities as a mathematician, including his mathematical research, his philosophy of the subject, and his work as the first professor of mathematics at University College London. In doing so, we aim to answer two questions: why was De Morgan’s mathematical reputation so high in the nineteenth century? And why, in comparison, is he so little-known today?
6
Hattab, Helen. « Philosophical Methods of Analysis and Synthesis from Medieval Scholasticism to Descartes and Hobbes ». Dans Archimedes, 87–110. Cham : Springer Nature Switzerland, 2024. https://doi.org/10.1007/978-3-031-76398-4_5.
Texte intégralRésumé :
AbstractDrawing on scholarship that traces the medieval appropriation of ancient methods of analysis and synthesis, I demonstrate that the intermingling of differing senses of analysis and synthesis, resolution, and composition predates the early moderns. Section 5.1 maps out five distinct ancient senses of resolution and composition and illustrates that several are conflated in the works of St. Thomas Aquinas, whose philosophy witnessed a resurgence with the rise of the Jesuit order in the sixteenth century. Section 5.2 examines how earlier methods of analysis and synthesis were taken up and developed by scholastic logicians influential in Descartes’ and Hobbes’ contexts. Sections 5.3 and 5.4 clarify Descartes’ and Hobbes’ claims about philosophical analysis and synthesis in light of this background. I demonstrate that the incoherencies generated by linking their philosophical methods solely to Zabarella’s regressus may be resolved by reinterpreting these claims in their wider context. The question as to whether/how their own and prior philosophical methods of analysis and synthesis shape the methodical procedures that Descartes and Hobbes employ to tackle scientific problems is shelved, but the philosophical texts examined indicate that they need not be directly connected.
7
Kraemer, Joel L. « Maimonides on the Philosophic Sciences in his Treatise on the Art of Logic ». Dans Perspectives on Maimonides, 77–104. Liverpool University Press, 1991. http://dx.doi.org/10.3828/liverpool/9780197100714.003.0005.
Texte intégralRésumé :
This chapter examines Maimonides’ Treatise on the Art of Logic, which was written in his youth and may be considered to be his only purely philosophic work. The treatise was not written for a philosopher, nor was it composed to clarify philosophic issues, but rather to explain the terminology used by logicians. In the course of his résumé in the final chapter of the treatise, Maimonides moves from a treatment of logical terms to a brief survey of the philosophic sciences. He gets into this by way of defining the term falsafa, or ‘philosophy’. This brief survey of the sciences includes Maimonides’ well-known ‘statement on political science’. The chapter then studies Chapter 14 of the Treatise on the Art of Logic, focusing on the section on political science. It also considers the implications of this reading of the text for understanding Maimonides’ conception of the civil and religious law and the question of the allegedly political function of the latter.
8
« THE DIALECTICIANS AND LOGICIANS ». Dans The Spirit of Chinese Philosophy, 61–74. Routledge, 2013. http://dx.doi.org/10.4324/9781315018720-10.
Texte intégral
9
« Chapter Ten : LOGICIANS AT RAND ». Dans Studies in 20th Century Philosophy, 181–208. De Gruyter, 2005. http://dx.doi.org/10.1515/9783110326260.181.
Texte intégral
10
« MIDDLE THIRTEENTH-CENTURY LOGICIANS ». Dans History of Christian Philosophy in the Middle Ages, 312–24. Catholic University of America Press, 2019. http://dx.doi.org/10.2307/j.ctvdf0jnn.26.
Texte intégral