logique épistémique oor Engels

logique épistémique

Vertalings in die woordeboek Frans - Engels

epistemic logic

naamwoord

Soortgelyke frases

logique auto-épistémique
autoepistemic logic

voorbeelde

Aussi l'adjectif « objective », tel qu'il est appliqué à la probabilité, signifie parfois exactement ce que « physique » signifie, mais est également utilisé des probabilités de preuve qui sont fixés par des contraintes rationnelles, telles que les probabilités logiques et épistémiques.
Also the word "objective", as applied to probability, sometimes means exactly what "physical" means here, but is also used of evidential probabilities that are fixed by rational constraints, such as logical and epistemic probabilities.

La plus petite logique répondant aux conditions ci-dessus est appelé K. La plupart des logiques modales couramment utilisés de nos jours (en termes de motivations philosophiques), par exemple Le S4 et S5 de C. I. Lewis, sont des extensions de K. Cependant, un certain nombre de logique déontique et épistémique, par exemple, sont non-normale, souvent parce qu'elles abandonnent le schéma de Kripke.
The smallest logic satisfying the above conditions is called K. Most modal logics commonly used nowadays (in terms of having philosophical motivations), e.g. C. I. Lewis's S4 and S5, are extensions of K. However a number of deontic and epistemic logics, for example, are non-normal, often because they give up the Kripke schema.

Les propriétés métathéoriques du calcul obtenu sont exprimées dans le langage de la logique epistemique dynamique.
Metatheoretic results are expressed in the language of dynamic epistemic logic.

Nous utilisons une logique épistémique pour décrire les différents niveaux de connaissance atteints lors de l'exécution de ces structures.
We use an epistemic logic to describe the knowledge levels reached by the run of these structures.

Pour finir, nous introduisons la séparation au sein des logiques épistémiques, obtenant ainsi une nouvelle logique ESL, exprimant de nouvelles propriétés épistémiques
Finally, we introduce the notion of separation in Epistemic Logic, obtaining a new logic, called ESL, that models and expresses new properties on agent knowledge

Dans les logiques épistémiques, la connaissance est généralement modélisée par un graphe de mondes possibles, qui correspondent aux alternatives à l'état actuel du monde.
In epistemic logic, knowledge is usually modelled by a graph of possible worlds, representing the alternatives to the current state of the world.

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.
This provides a new semantics not only for Gelfond's epistemic specifications, but also for more general nested epistemic logic programs.

L’objectif de l’exposé est de montrer que Hintikka a raison: avec la logique épistémique IF on peut dire des choses intéressantes sur la connaissance mathématique.
The aim of the talk is to show that Hintikka is right regarding IF epistemic logic, for such a logic enables us to account for interesting features of mathematical knowledge.

À l’aide de la logique épistémique “de seconde génération” (Hintikka 2003), Hintikka revisite l’épistémologie des mathématiques et notamment le débat entre mathématiques classiques et intuitionnistes (Hintikka 2001).
Using what he calls "second generation" epistemic logic (2003), i.e. independence-friendly (IF) epistemic logic, Hintikka revisits the epistemology of mathematics, and in particular the debate between classical and intuitionistic mathematics (2001).

Notre objectif est de démontrer que les logiques épistémiques fondées sur la visibilité constituent un outil approprié pour plusieurs applications importantes dans le domaine de l'intelligence artificielle.
We aim to demonstrate that visibility-based epistemic logics provide a suitable tool for several important applications in the field of artificial intelligence.

Dans la logique épistémique, que j’ai étudiée à l’Université de Boston avec le professeur Hintikka, la valeur de vérité d’une proposition donnée peut ne pas être connue a priori.
In epistemic logic, which I studied at Boston University with Prof. Hintikka, the truth value of any given proposition may not be known a priori.

Pour résumer, cette thèse réinterprète d'une part certaines logiques épistémiques et doxastiques existantes et leurs extensions dynamiques d'un point de vue topologique, fournissant une interprétation fondée sur des preuves.
To sum up, this dissertation on one hand re-interprets some existing epistemic and doxastic logics and their dynamic extensions from a topological perspective, providing an evidence-based interpretation.

Les quatre interprétations principales de ces probabilités « évidentielles » sont : l'interprétation classique (par exemple, celle de Laplace), l'interprétation subjective (de Finetti (en) et Savage), l'épistémique ou l'interprétation inductive (Ramsey, Cox), et l'interprétation logique (Keynes et Carnap).
The four main evidential interpretations are the classical (e.g. Laplace's) interpretation, the subjective interpretation (de Finetti and Savage), the epistemic or inductive interpretation (Ramsey, Cox) and the logical interpretation (Keynes and Carnap).

Nous proposons une version interne de la logique épistémique dynamique (avec des modèles d'événements), ce qui nous permet de généraliser facilement la théorie de la révision des croyances d'AGM au cas multi-agent.
We propose an internal version of dynamic epistemic logic (with event models) which allows us to generalize easily AGM belief revision theory to the multi-agent case.

Ce degré de soutien de H par E a été appelé la probabilité logique de H donnée E, ou la probabilité épistémique de H donnée E, ou la probabilité inductive de H donnée E. Les différences entre ces interprétations sont plutôt petites, et peuvent sembler sans conséquence.
This degree of support of H by E has been called the logical probability of H given E, or the epistemic probability of H given E, or the inductive probability of H given E. The differences between these interpretations are rather small, and may seem inconsequential.

(1971): Modal Dordrecht.. Des logiques épistémiques modales ont été étudiées mais ne montrent qu'une faible transitivité parce que quelque chose qui est possible ou probable n'est pas incompatible avec ce qui ne l'est pas.
Modal epistemic logics dealing in a limited way with what is known and with what is believed, credible, plausible (Rescher, 1964, 1974), or probable have been studied but show only weak transitivity because something being possible or probable is not incompatible with its not being so.

Ce mariage entre le caractère théorique et empirique s’inscrit dans le cadre d’une logique épistémique et cognitive qui vise à déceler la nature complexe et difficile du débat théorique dans le champ des relations internationales.
This marriage between the theoretical and empirical is part of an epistemic and cognitive logic that aims to detect complex and difficult nature of the theoretical debate in the field of international relations.:

Les modèles utilisés incluent différentes théories de l’incertain (probabilités, fonctions de croyances, possibilités, modèles purement ordinaux) et différentes logiques non-classiques (logiques épistémiques et doxastiques, logique dynamique, logique possibiliste et autres logiques de l’incertain, logiques paraconsistantes).
The models that we use include various theories of uncertainty (probabilities, belief functions, possibilities, purely ordinal models) and various non-classical logics (epistemic and doxastic logics, dynamic logic, possibilistic logic and other logics of uncertainty, paraconsistent logics).

En prenant appui sur les évolutions récentes suscitées par la prise en compte de plus en plus saillante des perturbateurs endocriniens, l’article propose une exploration des différentes logiques épistémiques à l’œuvre dans les milieux de recherche et d’expertise mobilisés autour des faibles doses.
Building on recent developments of public policy around the hazards linked to endocrine disruptors, this paper offers an exploration of different epistemic logics shaping research and expertise circles involved in low doses issues.

Dans l’étude du langage et dans l’enseignement des langues étrangères (LE), la considération de notions liées à la postmodernité, telles que l’indéterminisme, le hasard créateur et la complexité, aide à expliquer les variations temporelles dans l’évolution des approches et méthodes pour l’enseignement des langues étrangères, lesquels ne correspondent pas toujours à leurs constructs théoriques et à leur logique épistémique.
In the study of language and in foreign language teaching, notions from chaos and complexity theory help to understand the evolution of approaches and methods, which not always follow a logical sequence of evolution and often result in a sequence of simultaneous methodologies that are unrelated in their theoretical constructs and epistemologies.

Cette thèse de doctorat est une investigation des logiques de la connaissance, de la croyance et de la dynamique d'information, en utilisant des outils de... (more) ▼ Cette thèse de doctorat est une investigation des logiques de la connaissance, de la croyance et de la dynamique d'information, en utilisant des outils de topologie et logique épistémique (dynamique).
This dissertation brings together epistemic logic and topology. It studies formal representations of the notion of evidence and its link to justification, justified belief, knowledge, and evidence-based information dynamics, by using tools from topology and (dynamic) epistemic logic.

Une étude complémentaire a porté sur la modélisation de l’accès par des agents à des propriétés sous conditions de posséder certaines ressources, au travers d’une nouvelle logique ERL, qui est une logique de séparation épistémique, fondée sur la logique BBI et des modalités épistémiques.
A complementary study concerns the modelling of access by agents to properties under the conditions of possessing some resources, through a new logic ERL, which is an epistemic separation logic, based on BBI logic and epistemic modalities.

Outre la conception de ces logiques, l’étude de leur sémantique et aussi de leurs capacités de modélisation, une partie de cette thèse a été consacrée à la définition de calculs de preuve, ici de tableaux, pour ces nouvelles logiques ainsi qu’à leurs preuves de correction et de complétude en fr Mots-clés : Modélisation Preuve Logiques de ressources Logiques de séparation Logiques temporelles Logiques épistémiques Logiques hybrides Calcul des tableaux Université de Lorraine, 2018.
In addition to the conception of those logics, the study of their semantics and their modelling capacities, a part of this thesis is dedicated to the definition of proof calculus, here tableaux calculus, for those new logics, as well as their proof of soundness and Keywords: Modelling Proof Resource logics Separation logics Temporal logics Epistemic logics Hybrid logics Tableaux calculus Labels Counter-model extraction Extraction de contre-modèles

Résumé Le projet de cette thèse émane du constat d'une scission entre épistémologie d'une part et logique épistémique d'autre part. Si des tentatives de conciliation se sont avérées fructueuses, nous explorons ici la possibilité d'une réconciliation entre épistémologie et logique épistémique à travers l'argumentation.Étudier la logique épistémique au sein d'une pratique argumentative, c'est-À-Dire au sein de dialogues, nous permet de bénéficier d'un cadre d'étude dynamique pour explorer le dynamisme et la signification du langage de la logique épistémique.
The project of this thesis stems from the observation of a split between epistemology and epistemic logic.If some attempts at conciliation have been successful, here we explore the possibility of reconciliation between epistemology and epistemic logic through argumentation.Studying epistemic logic in argumentative practice, that is to say in dialogues, enables us to benefit from a dynamic framework to explore the dynamics and the meaning of the language of epistemic logic.We show that this reconciliation of epistemology and epistemic logic in an argumentative practice is relevant in the legal field because it offers an original approach to the notion of condition in law.

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.
In the beginning of the 90s, Gelfond has introduced epistemic specifications (E-S) as an extension of disjunctive logic programming by epistemic notions.