134 research outputs found
Logics of preference when there is no best
Well-behaved preferences (e.g., total pre-orders) are a cornerstone of several areas in artificial intelligence, from knowledge representation, where preferences typically encode likelihood comparisons, to both game and decision theories, where preferences typically encode utility comparisons. Yet weaker (e.g., cyclical) structures of comparison have proven important in a number of areas, from argumentation theory to tournaments and social choice theory. In this paper we provide logical foundations for reasoning about this type of preference structures where no obvious best elements may exist. Concretely, we compare and axiomatize a number of ways in which the concepts of maximality and optimality can be lifted to this general class of preferences. In doing so we expand the scope of the long-standing tradition of the logical analysis of preference
Second-order propositional modal logic: expressiveness and completeness results
In this paper we advance the state-of-the-art on the application of second-order propositional modal logic (SOPML) in the representation of individual and group knowledge, as well as temporal and spatial reasoning. The main theoretical contributions of the paper can be summarised as follows. Firstly, we introduce the language of (multi-modal) SOPML and interpret it on a variety of different classes of Kripke frames according to the features of the accessibility relations and of the algebraic structure of the quantification domain of propositions. We provide axiomatisations for some of these classes, and show that SOPML is unaxiomatisable on the remaining classes. Secondly, we introduce novel notions of (bi)simulations and prove that they indeed preserve the interpretation of formulas in (the universal fragment of) SOPML. Then, we apply this formal machinery to study the expressiveness of Second-order Propositional Epistemic Logic (SOPEL) in representing higher-order knowledge, i.e., the knowledge agents have about other agents’ knowledge, as well as graph-theoretic notions (e.g., 3-colorability, Hamiltonian paths, etc.). The final outcome is a rich formalism to represent and reason about relevant concepts in artificial intelligence, while still having a model checking problem that is no more computationally expensive than that of the less expressive quantified boolean logic
Planetary Nebulae as Probes of Stellar Evolution and Populations
Planetary Nebulae (PNe) have been used satisfactory to test the effects of
stellar evolution on the Galactic chemical environment. Moreover, a link exists
between nebular morphology and stellar populations and evolution. We present
the latest results on Galactic PN morphology, and an extension to a distance
unbiased and homogeneous sample of Large Magellanic Cloud PNe. We show that PNe
and their morphology may be successfully used as probes of stellar evolution
and populations.Comment: to appear in: Chemical Evolution of the Milky Way: stars versus
clusters, ed. F. Giovannelli and F. Matteucci, Kluwer (2000), in pres
The influence of nova nucleosynthesis on the chemical evolution of the Galaxy
We adopt up-to-date yields of 7Li, 13C, 15N from classical novae and use a
well tested model for the chemical evolution of the Milky Way in order to
predict the temporal evolution of these elemental species in the solar
neighborhood. In spite of major uncertainties due to our lack of knowledge of
metallicity effects on the final products of explosive nucleosynthesis in nova
outbursts, we find a satisfactory agreement between theoretical predictions and
observations for 7Li and 13C. On the contrary, 15N turns out to be overproduced
by about an order of magnitude.Comment: 8 pages, latex, 3 figures. To appear in "The Chemical Evolution of
the Milky Way: Stars versus Clusters", eds. F. Giovannelli and F. Matteucci
(Kluwer: Dordrecht
The Chemical Evolution of the Milky Way
The field of chemical evolution modeling of the Galaxy is experiencing in the
last years a phase of high activity and important achievements. There are,
however, several open questions which still need to be answered. In this review
I summarize what have been the most important achievements and what are some of
the most urgent questions to be answered.Comment: 10 pages including 3 figs, to appear in "The Chemical Evolution of
the Milky Way. Stars vs Clusters", Proceedings of the Sept.1999 Vulcano
Workshop, F.Giovannelli and F.Matteucci eds (Kluwer, Dordrecht) in pres
The population of close double white dwarfs in the Galaxy
We present a new model for the Galactic population of close double white
dwarfs. The model accounts for the suggestion of the avoidance of a substantial
spiral-in during mass transfer between a giant and a main-sequence star of
comparable mass and for detailed cooling models. It agrees well with the
observations of the local sample of white dwarfs if the initial binary fraction
is close to 50% and an ad hoc assumption is made that white dwarfs with mass
less than about 0.3 solar mass cool faster than the models suggest. About 1000
white dwarfs brighter than V=15 have to be surveyed for detection of a pair
which has total mass greater than the Chandrasekhar mass and will merge within
10 Gyr.Comment: 15 pages, 7 figures, to appear in Proc. ``The influence of binaries
on stellar population studies'', Brussels, August 2000 (Kluwer, D. Vanbeveren
ed.
Hormonal regulation of ovarian bursa fluid in mice and involvement of aquaporins.
In rodent species, the ovary and the end of oviduct are encapsulated by a thin membrane called ovarian bursa. The biological functions of ovarian bursa remain unexplored despite its structural arrangement in facilitating oocytes transport into oviduct. In the present study, we observed a rapid fluid accumulation and reabsorption within the ovarian bursa after ovarian stimulation (PMSG-primed hCG injection), suggesting that the ovarian bursa might play an active role in regulating local fluid homeostasis around the timing of ovulation. We hypothesized that the aquaporin proteins, which are specialized channels for water transport, might be involved in this process. By screening the expression of aquaporin family members (Aqp1-9) in the ovarian tissue and isolated ovarian bursa (0, 1, 2 and 5 h after hCG injection), we found that AQP2 and AQP5 mRNA showed dynamic changes after hCG treatment, showing upregulation at 1-2 h followed by gradually decrease at 5 h, which is closely related with the intra-bursa fluid dynamics. Further immunofluorescence examinations of AQP2 and AQP5 in the ovarian bursa revealed that AQP2 is specifically localized in the outer layer (peritoneal side) while AQP5 localized in the inner layer (ovarian side) of the bursa, such cell type specific and spatial-temporal expressions of AQP2 and 5 support our hypothesis that they might be involved in efficient water transport through ovarian bursa under ovulation related hormonal regulation. The physiological significance of aquaporin-mediated water transport in the context of ovarian bursa still awaits further clarification
- …