Academic literature on the topic 'Négation en programme logique'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Négation en programme logique.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Négation en programme logique"
1
Bamba, Aboubacar, and Saddo Ag Almouloud. "Étude épistémologique de la démonstration par l’absurde." REMATEC 15 (July 9, 2020): 156–76. http://dx.doi.org/10.37084/rematec.1980-3141.2020.n0.p156-176.id245.
Full textAbstract:
Le présent article a comme thème « Étude épistémologique de la démonstration par l’absurde ». Elle comporte, entre autres, l’épistémologie de la négation qui constitue la base de la démonstration par l’absurde, l’épistémologie de la démonstration par l’absurde, le lien entre la démonstration par l’absurde et d’autres types de démonstration, les types de problèmes mettant en jeu la démonstration par l’absurde et l’analyse institutionnelle de la démonstration par l’absurde. Nous avons également évoqué les conceptions de certains chercheurs sur la démonstration par l’absurde. Les questions de recherche sont libellées comme suit : Qu’est-ce que la démonstration par l’absurde en mathématique ? Existe-t-il un lien entre la démonstration par l’absurde et d’autres types de démonstration ? Existe-t-il des situations qui nécessitent l’utilisation de la démonstration par l’absurde ? Nous avons fait une classification des problèmes qui nous a permis de faire une catégorisation des types de démonstration par l’absurde à savoir les démonstrations par l’absurde directes associées aux questions fermées et les démonstrations par l’absurde indirectes associées aux questions semi-fermées (ou semi-ouvertes). L’analyse institutionnelle nous a permis de faire une revue des programmes maliens au niveau fondamental 2e cycle et au niveau de l’enseignement secondaire général. Nous terminons par une conclusion comportant nos recommandations. La typologie de la démonstration par l’absurde nous permet d’affirmer que la logique mathématique n'est pas la logique naturelle, car elle n'autorise l'esprit à porter, sur ce qui lui est présenté, que deux jugements : tenir la chose affirmée pour vraie ou pour non vraie, toute autre attitude étant exclue (le tiers exclus).
2
Turner, Ken. "La négation: Une étude logique." Journal of Pragmatics 21, no. 3 (March 1994): 321–26. http://dx.doi.org/10.1016/0378-2166(94)90005-1.
Full text
3
Lessard, Gregory. "Une application particulière de l’opérateur de négation." Canadian Journal of Linguistics/Revue canadienne de linguistique 31, no. 2 (1986): 115–37. http://dx.doi.org/10.1017/s0008413100011567.
Full textAbstract:
En général, les modèles courants de l’antonymie lexicale ramènent le phénomène à l’action d’un opérateur de négation qui agit sur un ou plusieurs traits sémantiques d’une unité lexicale. En même temps, ces modèles prennent pour acquis qu’entre deux contraires, il ne peut exister ni une relation d’identité ni une relation d’inclusion logique. Ainsi, partir n’est nullement identique à rester, et en même temps, partir n’implique pas rester (et vice-versa). Or, il existe en français contemporain une classe de constructions, qui se caractérisent sur le plan formel par la présence d’une base nominale et de l’un ou l’autre des préfixes A-, ANTI-, CONTRE- ou NON-, qui semblent manifester et une occurrence de l’opérateur de négation et une relation d’inclusion logique entre la construction préfixée et la base nominale seule (dans le sens que, étant donné une base nominale y et un préfixe x, on peut affirmer de la construction x + y qu’elle représente un type particulier de y).
4
Chatar-Moumni, Nizha. "Cycle de la négation en arabe marocain." Nouvelles perspectives en sciences sociales 9, no. 1 (March 27, 2014): 219–38. http://dx.doi.org/10.7202/1024043ar.
Full textAbstract:
En arabe marocain, la négation grammaticale est réalisée soit par le seul élément ma- soit par l’association de ma- à l’élément –š ou sa variante –ši. L’analyse des relations qu’entretiennent ces deux éléments nécessite de prendre conjointement en compte différents niveaux d’analyse : la morphologie, la syntaxe, la sémantique, la lexicologie, la pragmatique, mais aussi la logique. L’auteur explore les racines historiques de la négation en arabe afin de saisir les facteurs conditionnant l’usage en synchronie de la négation en arabe marocain défend l’hypothèse que l’unité ma- doit nécessairement être associée à un quantifieur véhiculant un trait de sens [+ non-défini]. L’association avec -š est liée à la présence ou l’absence de ce trait de sens, mais aussi à la force pragmatique de la négation.
5
Queffélec, Ambroise. "Coordonnants actuels et coordonnant virtuel en ancien français." Revue québécoise de linguistique 19, no. 1 (May 6, 2009): 57–75. http://dx.doi.org/10.7202/602665ar.
Full textAbstract:
Résumé Si les empiétements du coordonnant virtuel ne sur les jonctifs actuels et/ou de l’ancien français sont bien connus, le phénomène inverse n’a pratiquement jamais été étudié. À partir d’une étude de la distribution de ces différents signes dans les énoncés comportant soit une négation explétive soit une négation pleine, l’article se propose, en se fondant sur des analyses de type guillaumien, de montrer comment l’usage des coordonnants correspond à une logique rigoureuse qui témoigne de la subtilité de l’ancienne langue.
6
Valois, Daniel. "Négation, interrogation et accord spécificateur-tête." Revue québécoise de linguistique 25, no. 2 (May 1, 2009): 99–120. http://dx.doi.org/10.7202/603139ar.
Full textAbstract:
RÉSUMÉ Dans cet article, je propose, dans un premier temps, des explications concernant certaines asymétries entre constructions négatives et constructions interrogatives qui paraissent problématiques pour les différentes analyses qui préconiseraient le déplacement des quantificateurs négatifs en Forme Logique, réaffermissant ainsi la proposition de plusieurs chercheurs à l’effet qu’il existe un parallèle étroit entre constructions interrogatives et constructions négatives. Ceci m’amènera, dans un deuxième temps, à traiter des phrases négatives à interprétation écho. Nous verrons que ces constructions ont des propriétés syntaxiques et distributionnelles semblables à celles des questions écho, parmi lesquelles on compte la propriété de pouvoir contenir le quantificateur dans des positions qui sont généralement réfractaires au déplacement.
7
Brient, Pierrick. "Incroyance et rationalisme morbide." psychologie clinique, no. 51 (2021): 71–84. http://dx.doi.org/10.1051/psyc/202151071.
Full textAbstract:
Nous abordons l’ouvrage de François Klein sur les « maladies mentales expérimentales » et leur traitement, témoignage exemplaire du rationalisme morbide. La causalité des maladies mentales soutenu par cet auteur, s’appuyant sur une logique tautologique d’identité, ainsi que la méthode thérapeutique qu’il propose, rendent manifeste le vécu hallucinatoire imposé, de même qu’ils nous enseignent sur le transfert dans la psychose. Les avancées de Lacan concernant l'Unglauben (incroyance) en le lieu vide de la Chose dans la paranoïa viennent également éclairer la logique d’identité au cœur de la position subjective de F. Klein, logique à entendre comme négativiste à défaut de possibilité d’usage de la négation. Tentative de négativation donc, d’un lieu d’où la jouissance n’a pas été négativé.
8
Gauthier, Yvon. "La descente infinie, l’induction transfinie et le tiers exclu." Dialogue 48, no. 1 (March 2009): 1–17. http://dx.doi.org/10.1017/s0012217309090015.
Full textAbstract:
RÉSUMÉ : Cet article propose que l’équivalence postulée entre la descente infinie et l’induction transfinie dans les fondements de l’arithmétique fait intervenir le principe du tiers exclu par la double négation sur l’ensemble infini des nombres naturels et ne saurait donc être admissible du point de vue de la logique et des mathématiques intuitionnistes. Si, par ailleurs, on adopte le point de vue de la logique classique, les principes de l’induction complète, de l’induction transfinie, du plus petit nombre et de la descente infinie sont tous équivalents; pourtant, la descente infinie en jeu dans l’arithmétique ensembliste de Dedekind-Peano ne correspond pas à la descente infinie de Fermat en théorie des nombres et en arithmétique classique de Gauss jusqu’à nos jours. C’est là le point d’ancrage d’une critique fondationnelle qui cherche à mieux définir les options philosophiques dans les fondements de la logique et des mathématiques.
9
Hesse, Carla. "La logique culturelle de la loi révolutionnaire." Annales. Histoire, Sciences Sociales 57, no. 4 (August 2002): 915–33. http://dx.doi.org/10.3406/ahess.2002.280086.
Full textAbstract:
RésumésL’article examine la façon dont le concept monarchique de « justice extraordinaire » fut transformé en concept républicain de « loi révolutionnaire » après la chute de la monarchie le 10 août 1792. L’auteur démontre que même si les révolutionnaires ont emprunté à l’Ancien Régime cette idée de justice extraordinaire, c’était pour en faire un usage nouveau: au lieu de chercher àpréserver un régime, ils utilisèrent une loi existante pour en créer une nouvelle. La loi révolutionnaire a, ce faisant, marqué une rupture radicale avec la conception d’Ancien Régime de la loi d’urgence. En l’absence d’une constitution qui définisse la souveraineté du peuple, les législateurs révolutionnaires entre 1792-1795 ont été confrontés au problème de la répression de l’opposition àun régime dont les paramètres avaient encore àêtre définis. La loi pénale offrait une piste en permettant aux députés de la Convention de définir les crimes envers la nouvelle souveraineté àtravers une rhétorique en trois points: négation, abstraction et particularisation. L’article examine un ample corpus de 80 lois pénales enregistrées devant le tribunal révolutionnaire entre le 10 mars 1793 et le 12 prairial an III, pour conclure que toutes ont échoué àconstruire une notion stable de l’identité républicaine.
10
Lambek, J. "An Extension of the Formulas-as-Types Paradigm." Dialogue 36, no. 1 (1997): 33–44. http://dx.doi.org/10.1017/s0012217300009288.
Full textAbstract:
RésuméUn paradigme en vogue en informatique théorique exploite l'analogie entre les formules et les types et traite une deduction Al… An→ B comme une opération plurisortale. On propose ici d'étendre cette analogie aux déductions de la forme Al… An→, où la place à droite de la flèche est vide. D'un point de vue logique, une telle déduction constitue une réfutation de la conjonction desformules qui se trouvent à gauche de la flèche. On défend l'idée qu'ilfaut, selon ce paradigme étendu, interpréter la flèche comme assignant à n'importe quelle séquence al… an, où aiest de type Ai, le type des valeurs de vérite correspondantes. Pour que cela fonctionne, cependant, il faut abandonner la règle structurale de l'affaiblissement à droite de la flèche (cette règle est entièrement abandonnée en logique de la pertinence). La négation de A est alors interprétée comme l'ensemble puissance de A et la complétude fonctionnelle habituelle s'identifie au schème de compréhension avec extensionnalitè.
Dissertations / Theses on the topic "Négation en programme logique"
1
Bidoit-Tollu, Nicole. "Bases de données déductives : négation et logique des défauts." Paris 11, 1989. http://www.theses.fr/1989PA112387.
Full textAbstract:
Cette thèse présente une étude des problèmes liés à l'introduction de la négation dans les programmes de règles pour bases de données ou programmes logiques. L'introduction de la négation est requise pour augmenter la puissance d'expression de ces langages. L'utilisation de la négation en base de données et en programmation logique ne peut être formalisée par la négation de la logique du premier ordre. La définition de la sémantique de la négation, sous forme déclarative, est le problème central abordé dans cette thèse. Cette thèse propose une approche fondée sur la logique des défauts qui appartient au groupe des logiques non monotones dont l'objet est de fournir un formalisme du raisonnement de sens commun. Le postulat du monde ferme est un cas particulier de raisonnement par défaut et la logique des défauts offre un formalisme adéquat pour définir la sémantique déclarative de la négation. La présence d’écursion négative dans un programme logique peut ne pas permettre d'associer une sémantique à ce programme. La classe bien connue des programmes stratifiés est considérée dans cette étude. Cette classe, trop respective parce qu'excluant certains programmes simples dont la sémantique est intuitivement claire, est étendue à la classe des programmes effectivement stratifiés. Un effort particulier est dédié à la comparaison de l'approche logique des défauts avec d'autres approches et cette thèse comprend un état de l'art du domaine ou les différentes approches examinées sont présentées de la façon la plus uniforme possible
2
Marquez, Alonso. "La résolution hiérarchisée, une solution au problème de la négation en programmation logique." Paris 11, 1988. http://www.theses.fr/1988PA112167.
Full textAbstract:
L'objectif de cette thèse est d'étendre à la logique des prélicats du premier ordre la notion de sémantique procédurale existante dans le langage prolog. Ceci permet d'augmenter l'efficacité et la clarté de la programmation en logique du premier ordre
3
Liogier, Karine. "Négation, contraintes et programmation logique." Aix-Marseille 2, 1996. http://www.theses.fr/1996AIX22081.
Full textAbstract:
Le but de ce travail est d'etudier deux problemes lies a l'utilisation de la negation en programmation logique avec contraintes: celui ou la negation apparait dans les contraintes et celui ou elle apparait dans le corps des clauses des programmes consideres. Le premier probleme consiste a montrer comment il est possible d'etendre raisonnablement un algorithme de resolution, permettant de mettre des contraintes positives sous forme canonique, aux contraintes niees. Pour cela, nous adaptons le processus deja utilise et nous considerons par ailleurs un operateur de recouvrement adequat. Nous enoncons des conditions suffisantes qui nous permettent alors de definir la forme canonique etendue d'un systeme general de contraintes avec negation. En ce qui concerne le second probleme, nous proposons un nouveau schema de negation constructive, pour les programmes generaux avec contraintes, base sur une modelisation theorique. En outre, nous associons a ces programmes une nouvelle semantique declarative, l'axiomatique interne, qui nous permet d'obtenir un theoreme de completude en deduction classique ordinaire, c'est-a-dire bivaluee
4
Gil, Bernard. "Intériorisation de la négation en programmation logique." Aix-Marseille 2, 1991. http://www.theses.fr/1991AIX22033.
Full textAbstract:
Dans cette etude on se propose de fournir une nouvelle facon de considerer la negation dans les programmes logiques. Avec la perspective de programmer de maniere homogene des reponses pour les requetes positives et negatives, on introduit une technique de transformation de programmes qui synthetise la definition d'un nouveau predicat p pour chaque predicat p defini dans le programme. La signification attendue de p est grossierement la negation de p. Jean-paul delahaye a reactualise cette technique introduite par b. Meltzer dans les annees soixante, pour donner une semantique declarative des programmes positifs, qui lui permet une meilleure approche des interpreteurs prolog standard. Dans la continuite de ces travaux, on etend l'operation dite de dedoublement des predicats aux programmes generaux. La semantique declarative que l'on definit alors, appelee extension complete, a des proprietes analogues aux semantiques trivaluees introduites par kunen et fitting, en conservant toutefois l'avantage majeur de rester dans le cadre de la logique classique. On prouve un theoreme de completude forte de la sldnf-resolution pour la classe des programmes permis. La semantique denotationnelle du point fixe associee a cette transformation presente des particularites interessantes, et ameliore les proprietes de celle obtenue par clark
5
Béziau, Jean-Yves. "Recherches sur la logique universelle (excessivité, négation, séquents)." Paris 7, 1995. http://www.theses.fr/1995PA077101.
Full textAbstract:
Les formes abstraites de la complétude sont étudiées. On montre que la sémantique bivalente constituée par l'ensemble des fonctions caractéristiques des théories excessives est une sémantique complète minimale pour toute logique normale compacte. Au niveau de la théorie négation, on montre que dans la logique intuitionniste il y a des théories excessives non maximales et on développe une nouvelle logique paraconsistante dans laquelle on peut définir un relation de congruence, représentable par des algèbres munies d'opérateurs non monotones. On prouve que les théories excessives respectent les règles des systèmes de séquents structurellement standards. On applique ce résultat pour axiomatiser cette nouvelle logique paraconsistante pour laquelle on prouve l'élimination des coupures. On développe ensuite une théorie des connecteurs et on prouve un Hauptsatz généralisé.
6
Tahiri, Hassan. "La dynamique de la négation et la logique avec inconsistances : quelques conséquences scientifiques et épistémologiques : vers un rapprochement entre la philosophie et l'histoire des sciences." Lille 3, 2005. http://www.theses.fr/2005LIL30039.
Full textAbstract:
Les fameux théorèmes d'incomplétude de Gödel ont non seulement tenu en échec le programme de Hilbert mais aussi mis en évidence la limite de la logique classique qui trivialise tout système qui contient une contradiction. D'autre part, le critère de consistance n'a pas été uniquement pensé comme une hypothèse des systèmes logiques. Son caractère paradigmatique présumé semble envahir tous les types de raisonnement rationnel. La critique de ces deux manières de comprendre la consistance a conduit au développement de nouvelles méthodes pour traiter les systèmes qui contiennent une inconsistance. La méthode adoptée par la logique non-monotonique qui s'est développée au sein de l'Intelligence Artificielle, consiste à autoriser l'inférence d'une conclusion à titre provisoire quitte à la retirer ultérieurement quand de nouvelles informations deviennent disponibles. Nous avons étudié dans un premier temps les différents systèmes formels de l'argumentation défaisable. Notre étude révèle que ces systèmes ont été largement développés à partir des exemples ad hoc inventés pour les besoins de la formalisation. Cette démarche a donné lieu à la formation d'un appareil conceptuel riche et fécond. L'objectif de cette thèse est non seulement de présenter une analyse approfondie des systèmes formels de l'argumentation défaisable mais surtout de contribuer à enrichir le dispositif technique mis en œuvre dans le processus de formalisation en adoptant une démarche inverse. C'est sous cet angle qu'il faut voir notre tentative, la première dans son genre, d'appliquer les concepts existants de la logique pour l'argumentation défaisable à l'histoire des sciences et de la philosophie. On peut se demander toutefois si une telle application est possible : ne sommes-nous pas en train de rapprocher deux disciplines qui semblent avoir peu de choses en commun ? En fait, si nous examinons attentivement l'histoire des sciences, nous nous apercevons que les contreverses représentent le moteur de son développement. Nous trouvons dans la contreverse la notion qui nous permettra d'établir le lien entre la logique non-monotonique et l'histoire des sciences d'une part et entre la philosophie et l'histoire des sciences d'autre part. Nous avons analysé en effet un certain nombre de contreverses portant sur les fondements des mathématiques de Kroncker à Poincaré. Cette analyse nous a permis de faire l'inventaire de l'ensemble des arguments invoqués par les protagonistes. C'est David Hilbert qui nous a servi de fil directeur étant donné qu'il était témoin de tous les événements qui se sont déroulés pendant cette période cruciale de l'histoire des mathématiques. La présentation dialogique des différentes contreverses, en termes d'arguments et de contre-arguments, a débouché sur la construction des systèmes formels qui leur correspondent. Nous avons en particulier décelé une évolution dans la nature des contreverses elles-mêmes : de la contreverse sur l'emploi de l'infini actuel dans les preuves, qui était à l'origine des contreverses mathématiques, à la contreverse sur la preuve elle-même. La charge de la preuve apparaît à cet égard comme un critère semi-formel crucial pour capturer la subtilité des différents niveaux d'argumentation, et décisif pour déterminer l'issue du conflit. Notre nouvelle approche, qui consiste à employer la non-monotonie comme un instrument dans l'étude des controverses, a jeté une nouvelle lumière sur la pensée mathématique de Hilbert. Nous pensons que l'étude de dialogues concrets issus de l'histoire des sciences et de la philosophie permet d'une part d'enrichir la logique de l'argumentation par la découverte de nouvelles formes de raisonnement et d'autre part de contribuer, à travers la notion de controverse, à une meilleure compréhension du développement de l'histoire des sciences et de la philosophie
7
Lee, Yun Min-Hea. "Sur la négation en français et en coréen (recherche sémantico-logique)." Paris 4, 1992. http://www.theses.fr/1992PA040159.
Full textAbstract:
Dans notre étude sur la négation, nous essayons de définir les sens et les relations de vérité qui unissent les phrases négatives. En y appliquant la théorie sémantico-logique développée par R. Martin. Ainsi, cette recherche consiste principalement à exposer une des fonctions d'une théorie sémantique, formalisée et explicitée à travers les modèles logiques possibles des phrases négatives en coréen, en faisant référence aux phrases négatives comparables en français. En appelant à cette tentative les notions de mondes possibles et d'univers de croyance, nous pouvons réaliser pertinemment l'analyse sémantique des phrases négatives du français et du coréen, malgré que ces deux langues soient typologiquement et éloignées l'une de l'autreIn our study of the negation, we try to define the senses and the relations of truth which unite together the negative phrases according to the semantic-logical theory developed by r. Martin. Thus this research consist principally in showing one of the functions in the semantic theory formalized and made clear through the possible logical models of phrases in Korean, referring to the comparable negative phrases in French. In this try, with the help of the notions of possible world and belief world, we can realize pertinently the semantic analysis of the negative phrases in French and in Korean even though these two languages are typologically so far from each other
8
Bouzigue, Stéphanie. "Interprétation de la négation et contexte : une étude développementale." Aix-Marseille 1, 2000. http://www.theses.fr/2000AIX10069.
Full textAbstract:
Ce travail est centre sur l'idee que l'interpretation de la negation est dependante, a tout age, de la prise d'indices contextuels vehicules par le langage ordinaire. Les travaux de akiyama et guillory (1983) suggerent qu'au dela de 6 ans, les enfants anglophones prelevent des indices pour orienter leur choix vers une interpretation de la negation plutot logique ou plutot conversationnelle. Pour montrer la coexistence de systemes de reponses opposes, deux situations d'enonciation ont ete creees : l'une "logique", l'autre "conversationnelle". La premiere est une tache ou les sujets doivent decider si une phrase est congruente ou incongruente par rapport a l'image qui l'accompagne. La seconde reprend la tache precedente en introduisant des indices conversationnels permettant la reconnaissance de l'intention communicative (visee illocutoire des actes assertifs ou directifs, proposition a juger integree ou non dans un enchainement discursif). Les deux situations ont ete proposees dans une version ecrite et une version orale. La nature des jugements et les temps de reponses sont enregistres. L'etude a ete realisee aupres d'enfants de 7 a 10 ans et d'adultes francophones. Les resultats montrent que les enfants les plus jeunes en presence d'indices conversationnels ne sont pas toujours capables de choisir le systeme de reponse logique. Pour les enfants les plus ages et les adultes, la prise en compte des indices conversationnels suscite une hesitation quant au choix du systeme de reponse qui se manifeste sur la latence des jugements. Les resultats suggerent qu'au cours du developpement, bien que la capacite permettant de resoudre logiquement la tache s'affermisse, les indices conversationnels demeurent toujours potentiellement efficients.
9
Frangne, Pierre-Henry. "Le statut de la négation dans l'art symboliste français : les modèles philosophiques du symbolisme." Lille 3, 2002. http://www.theses.fr/2002LIL30017.
Full textAbstract:
La thèse est une interprétation philosophique du symbolisme français de la fin du XIXe siècle. A la question "Qu'est-ce qui fait l'unité de ce mouvement artistique?", elle répond : non une théorie unifiée du symbole, mais une théorie de la négation. Cette dernière apparaît sous une triple forme : comme opération logique d'abstraction et de purification ; comme sentiment existentiel malheureux ; comme principe métaphysique (Néant, Rien, Mort). Ces trois figures engendrent la négation comme valeur et comme exigence : celle d'abolir et de manifester l'art et le réel au sein d'une inconsistance fondamentale. Utilisant trois modèles philosophiques principaux (Platon, Schopenhauer, Hegel) afin d'élaborer sa métaphysique et son ontologie négatives, le symbolisme produit différents rouages du philosophique et de l'artistique : au philosophème d'un néoplatonisme surplombant et d'un schopenhauerianisme nourrissant, succède une réelle philosohie symboliste au travail chez Mallarmé
10
Amsili, Pascal. "Calcul de la négation temporelle en français : le cas du terme présuppositionnel "ne... plus"." Toulouse 3, 1994. http://www.theses.fr/1994TOU30068.
Full textAbstract:
Le travail presente dans cette these se situe dans le domaine de la semantique computationnelle, domaine qui met a contribution les techniques de l'intelligence artificielle, les outils formels de la logique et les donnees et methodes de la linguistique. On s'interesse dans ce travail aux phenomenes logico-semantiques induits par l'emploi conjoint dans le langage naturel des concepts de temps et de negation. A cet effet, on mene une etude linguistique fine du terme presuppositionnel ne plus. Cette etude permet de degager diverses proprietes aspectuelles, temporelles, modales et pragmatiques de ce terme. On propose ensuite une representation de ces proprietes dans le cadre de semantique formelle que constitue la theorie des representations discursives (drt) (kamp 1981). Cette demarche permet de contribuer a l'evolution de cette theorie en la confrontant a des donnees linguistiques et representationnelles nouvelles. L'auteur presente ensuite une formalisation complete du processus de traitement semantique de cette locution: prenant en entree une representation syntaxique des enonces a traiter, ce processus mene a une representation semantique de ces enonces, dans laquelle se trouvent prises en compte leurs caracteristiques aspectuelles et presuppositionnelles, ce qui permet de calculer de facon complete l'information temporelle decrite par ces enonces. Ce processus est formalise au moyen d'un lambda-calcul inspire de celui propose par (asher 1993) et integre une formulation adaptee de l'algorithme de traitement dit anaphorique des presuppositions propose par (van der sandt 1992)
Books on the topic "Négation en programme logique"
1
Lobo, Jorge. Foundations of Disjunctive Logic Programming. Cambridge, Mass: MIT Press, 1992.
Find full text
2
Kant, Immanuel. Essai pour introduire en philosophie le concept de grandeur négative. 2nd ed. Paris: Librairie Philosophique J. Vrin, 1991.
Find full text
3
La liberté, ou, L'être en négation: Rapport et unité relationnelle dans la logique de Hegel. Paris: Kimé, 2010.
Find full text
4
Programme régional de promotion des énergies domestiques et alternatives au Sahel. Manuel d'élaboration du cadre logique des stratégies d'énergie domestique. Ouagadougou, Burkina Faso: Comité permanent inter-États de lutte contre la sécheresse dans le Sahel, 2005.
Find full text
5
European Symposium on Programming (2nd 1988 Nancy, France). ESOP '88: 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings. Berlin: Springer-Verlag, 1988.
Find full text
6
Grant, Malcolm, ed. Algebraic semantics of imperative programs. Cambridge, Mass: MIT Press, 1996.
Find full text
7
1949-, Apt Krzysztof R., and North Atlantic Treaty Organization. Scientific Affairs Division., eds. Logics and models of concurrent systems. Berlin: Springer-Verlag, 1985.
Find full text
8
Ontario. Esquisse de cours 12e année: Le droit canadien et international cln4u cours préuniversitaire. Vanier, Ont: CFORP, 2002.
Find full text
9
Ontario. Esquisse de cours 12e année: Étude de l'alimentation et de la nutrition hfa4m cours préuniversitaire. Vanier, Ont: CFORP, 2002.
Find full text
10
Ontario. Esquisse de cours 12e année: Atelier d'écriture fae4o cours ouvert. Vanier, Ont: CFORP, 2002.
Find full textBook chapters on the topic "Négation en programme logique"
1
Marenbon, John. "La logique en occident latin (ca. 780 – ca. 1150) : le programme des études et ses enjeux." In Ad notitiam ignoti, 173–91. Turnhout: Brepols Publishers, 2013. http://dx.doi.org/10.1484/m.sa-eb.5.101357.
Full text