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