Iterable AGM functions
نویسنده
چکیده
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 formalism is in fact compatible with iteration. Following Alchourrr on and Makinson's early reference to an iterable form of a safe contraction function, we give an iterable construction for each of the ve AGM presentations (meet functions, systems of spheres, postulates, epistemic entrenchments and safe hierarchies) and prove their equivalence.
منابع مشابه
λ-structures and s-structures: Translating the iteration strategies
Continuing the work [Fuc08], I show that the translation functions developed previously map iterable λ-structures to iterable s-structures and vice versa. To this end, I analyze how the translation functions interact with the formation of extender ultrapowers and normal iterations. This analysis makes it possible to translate iterations, and, in a last step, iteration strategies, thus arriving ...
متن کاملAdaptive Group Mutation for Tackling Deception in Genetic Search
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...
متن کاملENTRENCHMENT KINEMATICS 101 yAbhaya
The AGM framework of belief dynamics fails to account for iterated belief change. This paper extends the AGM framework in order to solve this problem. As in the AGM, an epistemic input is represented as a single sentence. Unlike the AGM, however , a belief state is represented as an epistemic entrenchment relation. Three state transition functions { namely, entrenchment expansion, entrenchment ...
متن کاملVarsovian models I∗†
Let Msw denote the least iterable inner model with a strong cardinal above a Woodin cardinal. By [8], Msw has a fully iterable core model, K Msw , and Msw is thus the least iterable extender model which has an iterable core model with a Woodin cardinal. In V , KMsw is an iterate of Msw via its iteration strategy Σ. We here show that Msw has a bedrock which arises from K Msw by telling KMsw a sp...
متن کاملOn the Logic of Theory Change: Extending the AGM Model
Fermé, Eduardo. 2011. On the Logic of Theory Change: Extending the AGM Model. PhD Thesis in Philosophy from the Royal Institute of Technology. This thesis consists in six articles and a comprehensive summary. ● The pourpose of the summary is to introduce the AGM theory of belief change and to exemplify the diversity and significance of the research that has been inspired by the AGM article in t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998