Appeared in Proceedings of BR'98. Trento. Italy. The AGM model has been criticized for not addressing the problem of iterated change. This is true, but in some cases the invalid claim that \AGM does not allow iteration" has been made. In this paper we examine the most elementary scheme of iteration: an iterable function. We formulate an iterable version of the AGM model, showing that the AGM fo...

We describe an alternative interpretation of the AGM postulates for belief change (Alchourrón et al., 1985; Gärdenfors, 1988) in a foundational framework of epistemic states suggested by Bochman (1997). Though foundational contractions constitute a new kind of belief contractions, incompatible with AGM postulates, a broad class of preferential AGM contractions is shown to be revisionequivalent ...

The two main theories of justification are the foundational theory and the coherence theory. We choose as representatives of these two theories the ATMS [de Kleer 1986] and the AGM logic [Gärdenfors 1988a], and show that it is possible to simulate the ATMS in the AGM logic by encoding the justificational information as epistemic entrenchments. The ATMS context changes are performed by AGM expan...

In order to study the efficacy of genetic algorithms (GAs), a number of fitness landscapes have been designed and used as test functions. Among these functions a family of deceptive functions have been developed as difficult test functions for comparing different implementations of GAs. In this paper an adaptive group mutation (AGM), which can be combined with traditional bit mutation in GAs, i...

This paper investigates belief revision where the underlying logic is that governing Horn clauses. It proves to be the case that classical (AGM) belief revision doesn’t immediately generalise to the Horn case. In particular, a standard construction based on a total preorder over possible worlds may violate the accepted (AGM) postulates. Conversely, Horn revision functions in the obvious extensi...

The African green monkey (AGM) model system for simian immunodeficiency virus (SIV(agm)) has been used to examine why prolonged infection with the relevant virus does not result in the development of immunodeficiency in its natural host. Blood lymphocyte subset values were determined in uninfected (n=88) and naturally SIV(agm)-infected AGMs (n=74). A number of blood cell subsets, such as CD8alp...

To successfully colonize the human gut, enteric bacteria must activate acid resistance systems to survive the extreme acidity (pH 1.5-3.5) of the stomach. The antiporter AdiC is the master orchestrator of the arginine-dependent system. Upon acid shock, it imports extracellular arginine (Arg) into the cytoplasm, providing the substrate for arginine decarboxylases, which consume a cellular proton...

Nonhuman primates, including African green monkey (AGM), are important models for biomedical research. The information on monkey genomes is still limited and no versatile gene expression screening tool is available. We tested human whole genome microarrays for cross-species reactivity with AGM transcripts using both long oligonucleotide arrays (60-mer probes) and short oligonucleotide arrays (2...

In this paper we study AGM contraction and revision of rules using input/output logical theories. We replace propositional formulas in the AGM framework of theory change by pairs of propositional formulas, representing the rule based character of theories, and we replace the classical consequence operator Cn by an input/output logic. The results in this paper suggest that, in general, results f...

This paper investigates belief revision where the underlying logic is that governing Horn clauses. It proves to be the case that classical (AGM) belief revision doesn’t immediately generalise to the Horn case. In particular, a standard construction based on a total preorder over possible worlds may violate the accepted (AGM) postulates. Conversely, Horn revision functions in the obvious extensi...