In this paper, we propose a service for contracting axioms from ontologies based on the description logic EL. In particular, we devise algorithms that implement the contraction operation of the AGM theory on belief change. We first generalise the AGM contraction postulates to description logics, in which a variant of the recovery postulate is defined by using the notion of logical difference. P...

We provide a general notion of perfect Bayesian equilibrium which can be applied to arbitrary extensive-form games and is intermediate between subgame-perfect equilibrium and sequential equilibrium. The essential ingredient of the proposed definition is the qualitative notion of AGM-consistency, which has an epistemic justification based on the theory of belief revision introduced by Alchourrón...

Abstract Changes in grain trading between Russian Far Eastern ports and North America the late 1980s early 1990s led to introductions of Lymantria dispar asiatica (Vnukovskij), formerly called Asian gypsy moth (AGM), recognition a new pathway for its transport. Unlike pathways commonly used regulated commodities packaging material containing pest organisms, this presented unique AGM. Vessels de...

On Thursday 23 April 2015, several protests were held outside the gates of the Barclays Annual General Meeting at the Royal Festival Hall. Several activists bought shares and attended the AGM in order to ask questions. Anti-militarist activists held a protest calling on Barclays to divest from the arms trade. One activist read out an alternative chairman's speech to the queue of shareholders wa...

During vertebrate embryogenesis, hematopoietic stem cells (HSCs) arise in the aorta-gonads-mesonephros (AGM) region. We report here that blood flow is a conserved regulator of HSC formation. In zebrafish, chemical blood flow modulators regulated HSC development, and silent heart (sih) embryos, lacking a heartbeat and blood circulation, exhibited severely reduced HSCs. Flow-modifying compounds p...

The first adult-repopulating hematopoietic stem cells (HSCs) emerge in the aorta-gonads-mesonephros (AGM) region of the embryo. We have recently identified the transcription factor Gata3 as being upregulated in this tissue specifically at the time of HSC emergence. We now demonstrate that the production of functional and phenotypic HSCs in the AGM is impaired in the absence of Gata3. Furthermor...

Hematopoietic stem cells (HSC), the self-renewing cells of the adult blood differentiation hierarchy, are generated during embryonic stages. The first HSCs are produced in the aorta-gonad-mesonephros (AGM) region of the embryo through endothelial to a hematopoietic transition. BMP4 and Hedgehog affect their production and expansion, but it is unknown whether they act to affect the same HSCs. In...

There have been a number of publications in recent years on generalising the AGM paradigm to the Horn fragment of propositional logic. Most of them focused on adapting AGM contraction and revision to the Horn setting. It remains an open question whether the adapted Horn contraction and Horn revision are interdefinable as in the AGM case through the Levi and Harper identities. In this paper, we ...

We interpret the problem of updating beliefs as a choice problem (selecting a posterior from a set of admissible posteriors) with a reference point (prior). We use AGM belief revision to define the support of admissible posteriors after observing zero probability events and investigate two classes of updating rules for probabilities : 1) ”minimum distance” updating rules which select the poster...

Abstract This article investigates the properties of multistate top revision , a dichotomous (AGM-style) model belief that is based on an underlying probability revision. A proposition included in set if and only its either 1 or infinitesimally close to 1. Infinitesimal probabilities are used keep track propositions currently considered have negligible probability, so they available future info...