Contextual Permission: A Solution to the Free Choice Paradox

In this paper, we give a solution to the Free Choice Paradox. This is done in two stages. First, we have a close look at the logical interpretation of the natural language statements that lead to the paradox. This leads to making the important distinction of permitting an action in isolation or permitting it in combination with some or any other action, i.e. in a certain context. This distinction is made formal by the introduction of a new operator on actions, which forces them to be performed in isolation. With this distinction made clear it is possible to give a "new", stronger definition for the permission operator, which solves the Free Choice Paradox and which does not lead to any new inconsistencies or paradoxes

Actors, actions, and initiative in normative system specification

The logic of norms, called deontic logic, has been used to specify normative constraints for information systems. For example, one can specify in deontic logic the constraints that a book borrowed from a library should be returned within three weeks, and that if it is not returned, the library should send a reminder. Thus, the notion of obligation to perform an action arises naturally in system specification. Intuitively, deontic logic presupposes the concept of anactor who undertakes actions and is responsible for fulfilling obligations. However, the concept of an actor has not been formalized until now in deontic logic. We present a formalization in dynamic logic, which allows us to express the actor who initiates actions or choices. This is then combined with a formalization, presented earlier, of deontic logic in dynamic logic, which allows us to specify obligations, permissions, and prohibitions to perform an action. The addition of actors allows us to expresswho has the responsibility to perform an action. In addition to the application of the concept of an actor in deontic logic, we discuss two other applications of actors. First, we show how to generalize an approach taken up by De Nicola and Hennessy, who eliminate from CCS in favor of internal and external choice. We show that our generalization allows a more accurate specification of system behavior than is possible without it. Second, we show that actors can be used to resolve a long-standing paradox of deontic logic, called the paradox of free-choice permission. Towards the end of the paper, we discuss whether the concept of an actor can be combined with that of an object to formalize the concept of active objects

Free choice and contextually permitted actions

We present a solution to the paradox of free choice permission by introducing strong and weak permission in a deontic logic of action. It is shown how counterintuitive consequences of strong permission can be avoided by limiting the contexts in which an action can be performed. This is done by introducing the only operator, which allows us to say that only is performed (and nothing else), and by introducing contextual interpretation of action term

The inheritance of dynamic and deontic integrity constraints or: Does the boss have more rights?

In [18,23], we presented a language for the specification of static, dynamic and deontic integrity constraints (IC's) for conceptual models (CM's). An important problem not discussed in that paper is how IC's are inherited in a taxonomic network of types. For example, if students are permitted to perform certain actions under certain preconditions, must we repeat these preconditions when specializing this action for the subtype of graduate students, or are they inherited, and if so, how? For static constraints, this problem is relatively trivial, but for dynamic and deontic constraints, it will turn out that it contains numerous pitfalls, caused by the fact that common sense supplies presuppositions about the structure of IC inheritance that are not warranted by logic. In this paper, we unravel some of these presuppositions and show how to avoid the pitfalls. We first formulate a number of general theorems about the inheritance of necessary and/or sufficient conditions and show that for upward inheritance, a closure assumption is needed. We apply this to dynamic and deontic IC's, where conditions arepreconditions of actions, and show that our common sense is sometimes mistaken about the logical implications of what we have specified. We also show the connection of necessary and sufficient preconditions of actions with the specification of weakest preconditions in programming logic. Finally, we argue that information analysts usually assume constraint completion in the specification of (pre)conditions analogous to predicate completion in Prolog and circumscription in non-monotonic logic. The results are illustrated with numerous examples and compared with other approaches in the literature

Suggested changes in the medical curriculum

Click on the link to view

Legehennefutter mit 100% Öko-Komponenten

EC Regulation 1804/99 requires organic sources of all components of feed in organic husbandry. Especially for organic pig and poultry nutrition it is not researched which components ensure the supply of amino acids. In our previous studies in 2003 with laying hens with genetics of TETRA, the effect of a high percentage of linoleic acids coming from soybeans was demonstrated. The egg weight increased to an average of 73 g in laying week 38 (ANDERSSON et al. 2004). Consequently we tried in 2004 to reduce the egg weights • by using the genetics of ISA XH • by using components with less linoleic acid in the feed. Using the genetics of ISA XH was one advisable result to reduce egg weights. In this actual study, the hens fed with soybeans laid eggs with highest weight, but on an acceptable level of about 60 – 68 g / egg. Rations with very low energy concentration (9,6 MJ ME, 21 g/kg linoleic acid) were accepted by the hens, while feed consumption increased to more than 145 g/ hen and day. Therefore it seems possible to lower concentrations of amino acids, especially methionine, if the feed intake increases. The laying performance of hens fed with energy concentrations of 9,4 – 9,8 MJ ME was during the laying period of first 14 weeks comparable with the performance of the control group fed with a “standard” ration, later (data only until week 22) it was on a lower but acceptable level

Mass segregation in star clusters is not energy equipartition

Mass segregation in star clusters is often thought to indicate the onset of energy equipartition, where the most massive stars impart kinetic energy to the lower-mass stars and brown dwarfs/free floating planets. The predicted net result of this is that the centrally concentrated massive stars should have significantly lower velocities than fast-moving low-mass objects on the periphery of the cluster. We search for energy equipartition in initially spatially and kinematically substructured N-body simulations of star clusters with N = 1500 stars, evolved for 100 Myr. In clusters that show significant mass segregation we find no differences in the proper motions or radial velocities as a function of mass. The kinetic energies of all stars decrease as the clusters relax, but the kinetic energies of the most massive stars do not decrease faster than those of lower-mass stars. These results suggest that dynamical mass segregation -- which is observed in many star clusters -- is not a signature of energy equipartition from two-body relaxation

Corrigendum: The quest for EEG power band correlation with ICA derived fMRI resting state networks

Contains fulltext : 136233.pdf (publisher's version ) (Open Access)[This corrects the article on p. 315 in vol. 7, PMID: 23805098.].2 p

A discrete Laplace-Beltrami operator for simplicial surfaces

We define a discrete Laplace-Beltrami operator for simplicial surfaces. It depends only on the intrinsic geometry of the surface and its edge weights are positive. Our Laplace operator is similar to the well known finite-elements Laplacian (the so called ``cotan formula'') except that it is based on the intrinsic Delaunay triangulation of the simplicial surface. This leads to new definitions of discrete harmonic functions, discrete mean curvature, and discrete minimal surfaces. The definition of the discrete Laplace-Beltrami operator depends on the existence and uniqueness of Delaunay tessellations in piecewise flat surfaces. While the existence is known, we prove the uniqueness. Using Rippa's Theorem we show that, as claimed, Musin's harmonic index provides an optimality criterion for Delaunay triangulations, and this can be used to prove that the edge flipping algorithm terminates also in the setting of piecewise flat surfaces.Comment: 18 pages, 6 vector graphics figures. v2: Section 2 on Delaunay triangulations of piecewise flat surfaces revised and expanded. References added. Some minor changes, typos corrected. v3: fixed inaccuracies in discussion of flip algorithm, corrected attributions, added references, some minor revision to improve expositio

Dynamics of Phase Transitions by Hysteresis Methods I

In studies of the QCD deconfining phase transition or crossover by means of heavy ion experiments, one ought to be concerned about non-equilibrium effects due to heating and cooling of the system. Motivated by this, we look at hysteresis methods to study the dynamics of phase transitions. Our systems are temperature driven through the phase transition using updating procedures in the Glauber universality class. Hysteresis calculations are presented for a number of observables, including the (internal) energy, properties of Fortuin-Kasteleyn clusters and structure functions. We test the methods for 2d Potts models, which provide a rich collection of phase transitions with a number of rigorously known properties. Comparing with equilibrium configurations we find a scenario where the dynamics of the transition leads to a spinodal decomposition which dominates the statistical properties of the configurations. One may expect an enhancement of low energy gluon production due to spinodal decomposition of the Polyakov loops, if such a scenario is realized by nature.Comment: 12 pages, revised after referee report, to appear in Phys. Rev.