7,824 research outputs found
Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning
Several logical operators are defined as dual pairs, in different types of
logics. Such dual pairs of operators also occur in other algebraic theories,
such as mathematical morphology. Based on this observation, this paper proposes
to define, at the abstract level of institutions, a pair of abstract dual and
logical operators as morphological erosion and dilation. Standard quantifiers
and modalities are then derived from these two abstract logical operators.
These operators are studied both on sets of states and sets of models. To cope
with the lack of explicit set of states in institutions, the proposed abstract
logical dual operators are defined in an extension of institutions, the
stratified institutions, which take into account the notion of open sentences,
the satisfaction of which is parametrized by sets of states. A hint on the
potential interest of the proposed framework for spatial reasoning is also
provided.Comment: 36 page
How do Public Laboratories Collaborate with Industry? New Survey Evidence from France.
This paper uses a survey of 130 public laboratories in France to investigate collaborative activities of laboratories with industry. Our statistical analysis shows that knowledge and technology development and transfer occurs most frequently through collaborative and contract research, informal exchanges, conferences, and consortia. The main benefits from the perspective of laboratories are the tangible and intangible inputs received âfunds, materials, research suggestions and data. The outputs of collaboration are most often theses and publications along with technological artefacts (new products & processes, software) while patents, licenses and copyrights are less frequent. Collaboration with industry leads laboratories to conduct research in a more timely and reliable way, as well as focused in more applied areas.Economics of Science; Public-Private Research Partnerships; Knowledge and Technology Transfer; University-Industry Collaborations; France;
Belief Revision, Minimal Change and Relaxation: A General Framework based on Satisfaction Systems, and Applications to Description Logics
Belief revision of knowledge bases represented by a set of sentences in a
given logic has been extensively studied but for specific logics, mainly
propositional, and also recently Horn and description logics. Here, we propose
to generalize this operation from a model-theoretic point of view, by defining
revision in an abstract model theory known under the name of satisfaction
systems. In this framework, we generalize to any satisfaction systems the
characterization of the well known AGM postulates given by Katsuno and
Mendelzon for propositional logic in terms of minimal change among
interpretations. Moreover, we study how to define revision, satisfying the AGM
postulates, from relaxation notions that have been first introduced in
description logics to define dissimilarity measures between concepts, and the
consequence of which is to relax the set of models of the old belief until it
becomes consistent with the new pieces of knowledge. We show how the proposed
general framework can be instantiated in different logics such as
propositional, first-order, description and Horn logics. In particular for
description logics, we introduce several concrete relaxation operators tailored
for the description logic \ALC{} and its fragments \EL{} and \ELext{},
discuss their properties and provide some illustrative examples
Learning the optimal buffer-stock consumption rule of Carroll
This article questions the rather pessimistic conclusions of Allen et Carroll (2001) about the ability of consumer to learn the optimal buffer-stock based consumption rule. To this aim, we develop an agent based model where alternative learning schemes can be compared in terms of the consumption behaviour that they yield. We show that neither purely adaptive learning, nor social learning based on imitation can ensure satisfactory consumption behaviours. By contrast, if the agents can form adaptive expectations, based on an evolving individual mental model, their behaviour becomes much more interesting in terms of its regularity, and its ability to improve performance (which is as a clear manifestation of learning). Our results indicate that assumptions on bounded rationality, and on adaptive expectations are perfectly compatible with sound and realistic economic behaviour, which, in some cases, can even converge to the optimal solution. This framework may therefore be used to develop macroeconomic models with adaptive dynamics.Consumption decisions; Learning; Expectations; Adaptive behaviour; Computational economics
Quel sens de futurs enseignants attribuent-ils Ă lâĂ©valuation par tĂąche complexe ?
L'approche par compĂ©tence dĂ©veloppĂ©e dans le cadre de la formation professionnelle des enseignants a entraĂźnĂ© une modification importante des dispositifs d'Ă©valuation. A la Haute Ecole pĂ©dagogique de Fribourg, des tĂąches complexes rĂ©parties sur les trois annĂ©es de formation permettent de certifier le niveau dâacquisition des compĂ©tences. AprĂšs des travaux antĂ©rieurs consacrĂ©s Ă la question de la validitĂ© des tĂąches et Ă leur Ă©volution analysĂ©e du point de vue des formateurs ainsi quâĂ la comprĂ©hension des critĂšres par les Ă©tudiants, cette recherche questionne les Ă©tudiants sur le sens quâils construisent autour de cette forme dâĂ©valuation. Le rapport des fonctions sommative et formative au regard de lâĂ©valuation des compĂ©tences est ainsi questionnĂ© Ă partir des tĂ©moignages de futurs enseignants. Cette recherche inscrite dans une visĂ©e exploratoire analyse une vingtaine d'entretiens rĂ©alisĂ©s auprĂšs d'Ă©tudiants aborde plusieurs thĂ©matiques : la comprĂ©hension de lâĂ©valuation rĂ©alisĂ©e par les formateurs et des diffĂ©rents critĂšres, les mĂ©canismes d'autorĂ©gulation mis en oeuvre ainsi que le sens attribuĂ© Ă cette forme dâĂ©valuation. Les rĂ©sultats montrent la faible comprĂ©hension des diffĂ©rents critĂšres utilisĂ©s et le caractĂšre hautement formatif associĂ© par les Ă©tudiants Ă ces tĂąches qui ont pourtant une visĂ©e certificative. Cette communication met en Ă©vidence les liens Ă©troits entre lâĂ©valuation du dĂ©veloppement de compĂ©tences professionnelles et le sens que les Ă©tudiants voient dans ce type de tĂąche
Compared energy efficiency of dairy cow and meat sheep farms, in organic and in conventional farming
The compared energy analysis of various farming systems makes it possible to carry out an approach of their sustainability through their faculty to produce energy in the form of livestock or vegetable products, while limiting the resort to non renewable energies. This study was carried out from the results of 38 farms in meat sheep and dairy cow production including 13 in organic farming. It focuses on livestock production, being acquired that the presence of cash crops raises considerably the energy effi-ciency. The main energy expenditure are the bought food, fertilisers and mechanization. The average en-ergy efficiency of the dairy cow farms is 0.59 and there is no difference between organic and conven-tional farming. In sheep production, the average is lower (0.41) but the organic farms have a higher level (0.47) thanks to a better food self sufficiency and no use of chemical fertilisers
- âŠ