A distributed, semiotic-inductive and human-Oriented approach to web-scale knowledge retrieval

Web-scale knowledge retrieval can be enabled by distributed information retrieval, clustering Web clients to a large-scale computing infrastructure for knowledge discovery from Web documents. Based on this infrastructure, we propose to apply semiotic (i.e., sub-syntactical) and inductive (i.e., probabilistic) methods for inferring concept associations in human knowledge. These associations can be combined to form a fuzzy (i.e.,gradual) semantic net representing a map of the knowledge in the Web. Thus, we propose to provide interactive visualizations of these cognitive concept maps to end users, who can browse and search the Web in a human-oriented, visual, and associative interface.

Pour une approche ressourcielle du développement durable

Cet article défend la thèse de la pertinence d’une approche « ressourcielle » du développement durable. Pour ce faire, l’article montre dans quelle mesure la gestion durable des systèmes de ressource – et notamment des ressources communes, que celles-ci soient naturelles, infrastructurelles ou encore culturelles – constitue une condition sine qua non de la durabilité ; ceci dans la mesure où les questions de ressources sont autant des questions « environnementales », que « sociales » et « économiques », et qu’elles concernent ou mieux, relient – en montrant leur interdépendance – les trois dimensions de la durabilité. Pour ce faire, l’article propose un cadre d’analyse fondé sur les concepts de « ressource » et de « régime institutionnel de ressource » et illustre ces deux concepts à l’aide d’une application empirique à des ressources infrastructurelles que sont les réseaux de transport aérien et ferroviaire.

Full and hat inductive definitions are equivalent in NBG

A new research project has, quite recently, been launched to clarify how different, from systems in second order number theory extending ACA 0, those in second order set theory extending NBG (as well as those in n + 3-th order number theory extending the so-called Bernays−Gödel expansion of full n + 2-order number theory etc.) are. In this article, we establish the equivalence between Δ10\bf-LFP and Δ10\bf-FP, which assert the existence of a least and of a (not necessarily least) fixed point, respectively, for positive elementary operators (or between Δn+20\bf-LFP and Δn+20\bf-FP). Our proof also shows the equivalence between ID 1 and ^ID1, both of which are defined in the standard way but with the starting theory PA replaced by ZFC (or full n + 2-th order number theory with global well-ordering).

Forcing for hat inductive definitions in arithmetic

By forcing, we give a direct interpretation of inline image into Avigad's inline image. To the best of the author's knowledge, this is one of the simplest applications of forcing to “real problems”.

Guide pour la formation de modérateurs en approche ALS sur le thème de la gestion durable des ressources naturelles

Le présent guide contient une méthodologie et des exercices pour réaliser des formations de modérateurs en approche ALS et sur le thème de la GDRN. Il se veut un outil qui permette aux futurs modérateurs de (1) intégrer une approche participative et interactive dans ses formations diverses, (2) appliquer des techniques de modération basées sur l'apprentissage commun, en groupe d'acteurs mixtes et dans le contexte local et (3) acquérir une base de connaissance de la gestion durable des ressources naturelles et de traiter cette thématique de façon participative et interactive.

A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions

In this article we study subsystems SIDᵥ of the theory ID₁ in which fixed point induction is restricted to properly stratified formulas.