While the computational properties of qualitative temporal reasoning have been analyzed quite thoroughly, the computational properties of qualitative spatial reasoning are not very well investigated. In fact, almost no completeness results are known for qualitative spatial calculi and no computational complexity analysis has been carried out yet. In this paper, we will focus on the so-called RC...

This paper deals with qualitative and structural reasoning on linear interval systems whose parameters are specified by intervals . We formalize the systems of reasoning about structures of interval systems by the qualitative perturbation principle : the interval system would have the interval property when its underlying sign structure include the component that has the corresponding sign prop...

We introduce a Propositional Dynamic Logic for order of magnitude reasoning in order to formalize qualitative operations of sum and product. This new logic has enough expressive power to consider, for example, the concept of closeness, and to study some interesting properties for the qualitative operations, together with the logical definability of these properties. Finally, we show the applica...

abstract sour cherry (prunus cerasus l.) is an important iranian-native fruit, considered highly perishable commodity which cannot be stored for any length of time. on this study, effect of three gas compositions (ambient, 5% o2+5% co2+90% n2 and 10% o2+15% co2+75% n2) and two storage temperatures (0 and 5 °c) on two sour cherry cultivars namely erdy jubileum and erdy botermo was studied in a c...

Developing practical tools to aid in understanding physiological systems is a formidable undertaking. This paper presents a method that uses a property structure for the domain being investigated. Furthermore, it employs realistic models to present examples of the behavior of the system. From these examples the principles that relate the properties are inferred through the use of machine learni...

We consider Markov decision processes (MDPs) which are a standard model for probabilistic systems. We focus on qualitative properties for MDPs that can express that desired behaviors of the system arise almost-surely (with probability 1) or with positive probability. We introduce a new simulation relation to capture the refinement relation of MDPs with respect to qualitative properties, and pre...

We consider Markov decision processes (MDPs) which are a standard model for probabilistic systems. We focus on qualitative properties for MDPs that can express that desired behaviors of the system arise almost-surely (with probability 1) or with positive probability. We introduce a new simulation relation to capture the refinement relation of MDPs with respect to qualitative properties, and pre...