As partial justification of their framework for iterated belief revision Darwiche and Pearl convincingly argued against Boutilier’s natural revision and provided a prototypical revision operator that fits into their scheme. We show that the Darwiche-Pearl arguments lead naturally to the acceptance of a smaller class of operators which we refer to as admissible. Admissible revision ensures that ...

We investigate the computational complexity of deciding whether a given inference rule is admissible for some modal and superintuitionistic logics. We state a broad condition under which the admissibility problem is coNEXP -hard. We also show that admissibility in several well-known systems (including GL, S4, and IPC ) is in coNE , thus obtaining a sharp complexity estimate for admissibility in...

We develop a criterion for coalition formation among goal-directed agents, the indecomposable do-ut-des property. The indecomposable do-ut-des property refines the do-ut-des property (literally give to get) by considering the fact that agents prefer to form coalitions whose components cannot be formed independently. A formal description of this property is provided as well as an analysis of alg...

We examine a special case of admissible representations of the closed interval, namely those which arise via sequences of a finite number of Möbius transformations. We regard certain sets of Möbius transformations as a generalized notion of digits and introduce sufficient conditions that such a “digit set” yields an admissible representation of [0,+∞]. Furthermore we establish the productivity ...

in exploration seismology quality factor is widely used as a seismic attribute to identify anomalies related to attenuation, especially those caused by hydrocarbon. previous studies have indicated that seismic energy loss known as attenuation is greater for high frequency components of seismic data compared to the low frequency components. here the continuous wavelet transform is used to study ...

In recent years, there has been greater attempt to find numerical solutions of differential equations using wavelet's methods. The following method is based on vector forms of Haar-wavelet functions. In this paper, we will introduce one dimensional Haar-wavelet functions and the Haar-wavelet operational matrices of the fractional order integration. Also the Haar-wavelet operational matrices of ...

this paper presents a rational haar wavelet operational method for solving the inverse laplace transform problemand improves inherent errors from irrational haar wavelet. the approach is thus straightforward, rather simple andsuitable for computer programming. we define that $p$ is the operational matrix for integration of the orthogonalhaar wavelet. simultaneously, simplify the formulaes of li...

This paper contains a proof–theoretic account of unification in intermediate logics. It is shown that many existing results can be extended to fragments that at least contain implication and conjunction. For such fragments, the connection between valuations and most general unifiers is clarified, and it is shown how from the closure of a formula under the Visser rules a proof of the formula und...

2 . Admissible constellations . Let us start with a formal definition : al, 122, . . ., ak is an admissible sequence of integers if the ai's do notform a complete set of residues mod p for any prime p.-Clearly only the primes p 5 k have to be considered . A sequence which is not admissible is called inadmissible . Beginning with the admissible sequence (ai) we now search for constellations of i...