This Paper combines interval- valued neutrouphic sets and rough sets. It studies roughness in interval- valued neutrosophic sets and some of its properties. Finally we propose a Hamming distance between lower and upper approximations of interval valued neutrosophic sets.

In this paper, we first defined soft intervalvalued neutrosophic rough sets(SIVN- rough sets for short) which combines interval valued neutrosophic soft set and rough sets and studied some of its basic properties. This concept is an extension of soft interval valued intuitionistic fuzzy rough sets( SIVIF- rough sets). Finally an illustartive example is given to verfy the developped algorithm and to demonstrate its practicality and effectiveness.

In this paper, we investigate the expressiveness of the variety of propositional interval neighborhood logics , we establish their decidability on linearly ordered domains and some important subclasses, and we prove the undecidability of a number of extensions of PNL with additional modalities over interval relations. All together, we show that PNL form a quite expressive and nearly maximal decidable fragment of Halpern–Shoham’s interval logic HS.

We propose a method to associate a coalitional interval game with each strategic game. The method is based on the lower and upper values of finite two-person zero-sum games. Associating with a strategic game a coalitional interval game we avoid having to take either a pessimistic or an optimistic approach to the problem. The paper makes two contributions to the literature: It provides a theoretical foundation for the study of coalitional interval games and it also provides, studies, and characterizes a (...) natural method of associating coalitional interval games with strategic games. (shrink)

Recovering largely forgotten and untranslated texts, Endless Intervals makes the case that cinema, rather than being a technology assaulting the psyche, is in fact the technology that produced the modern psyche. It considers the ways machines can create meaning, offering a fascinating theory of how the discontinuous intervals of soulless mechanisms ultimately produced a rich continuous experience of inner life.

This paper begins with a response to Josh Gert’s challenge that ‘on a par with’ is not a sui generis fourth value relation beyond ‘better than’, ‘worse than’, and ‘equally good’. It then explores two further questions: can parity be modeled by an interval representation of value? And what should one rationally do when faced with items on a par? I argue that an interval representation of value is incompatible with the possibility that items are on a par (a mathematical (...) proof is given in the appendix). I also suggest that there are three senses of ‘rationally permissible’ which, once distinguished, show that parity does distinctive practical work that cannot be done by the usual trichotomy of relations or by incomparability. In this way, we have an additional argument for parity from the workings of practical reason. (shrink)

Cooper proved in [S.B. Cooper, Strong minimal covers for recursively enumerable degrees, Math. Logic Quart. 42 191–196] the existence of a c.e. degree with a strong minimal cover . So is the greastest c.e. degree below . Cooper and Yi pointed out in [S.B. Cooper, X. Yi, Isolated d.r.e. degrees, University of Leeds, Dept. of Pure Math., 1995. Preprint] that this strongly minimal cover cannot be d.c.e., and meanwhile, they proposed the notion of isolated degrees: a d.c.e. degree is isolated (...) by a c.e. degree if is the greatest c.e. degree below , and we also say that isolates . In [G. Wu, Bi-isolation in the d.c.e. degrees, J. Symbolic Logic 69 409–420], Wu extended Cooper–Yi’s notion and proved that there are intervals of d.c.e. degrees containing exactly one c.e. degree . Following Cooper and Yi’s notion, is called a bi-isolating degree. The bi-isolating degrees are dense in the high c.e. degrees. Arslanov asked whether the bi-isolating degrees occur in every jump class. In this paper, we prove that there are low bi-isolating degrees, providing a partial solution to Arslanov’s question. (shrink)

A logic of intervals is proposed akin to the one published by Hamblin (Hamblin (1969) and (1971)). Like Hamblin's, the present system is also based on a single primitive. However, the work presented here differs from Hamblin's in a number of respects. Most importantly, the present system is explicitly based on mereological ideas in such a way that not only are the two notions of abutment and temporal order involved in Hamblin's primitive two-place relation "abuts at the earlier end" (...) distinguished ; the temporal ordering itself is built up from a symmetric mereological primitive. The present system is shown to be complete. (shrink)

Of S. S. Stevens's well-known classification of nominal, ordinal, interval and ratio ‘scales of measurement’, perhaps its least-known aspect is its most distinctive, namely the distinction between interval and ratio scales. This article investigates the circumstances of the typology's origins among the experimental psychologists at Harvard in the 1930s and the unique fusion of personal, technical and intellectual forces this setting represented. It shows how it came to be that an influential psychologist reconceptualized measurement from first principles in such a (...) way as to both preserve the distinction between psychology and physics in this regard and yet implicitly classify his own work as the latter. The article concludes with the general suggestion that, if it is necessary to measure something, it might as well be something tangible enough to be measured usefully. (shrink)

We study the reverse mathematics of interval orders. We establish the logical strength of the implications among various definitions of the notion of interval order. We also consider the strength of different versions of the characterization theorem for interval orders: a partial order is an interval order if and only if it does not contain 2 \oplus 2. We also study proper interval orders and their characterization theorem: a partial order is a proper interval order if and only if it (...) contains neither 2 \oplus 2 nor 3 \oplus 1. (shrink)

Data envelopment analysis is a popular mathematical tool for analyzing the relative efficiency of homogenous decision-making units. However, the existing DEA models cannot tackle the newly confronted applications with imprecise and negative data as well as undesirable outputs simultaneously. Thus, we introduce undesirable outputs into modified slack-based measure model and propose an interval-modified slack-based measure model, which extends the application of interval DEA in fields that concern with less undesirable outputs. The novelties of the model are that it considers the (...) undesirable outputs while dealing with imprecise and negative data, and it is slack-based. Furthermore, the model with undesirable outputs is proven translation-invariant and unit-invariant. Moreover, a numerical example is provided to illustrate the changes of the lower and upper bounds of the efficiency score after considering the undesirable outputs. The empirical results show that, without considering undesirable outputs, most of the lower bounds of the efficiency scores will be overestimated when the DMUs are weakly efficient and inefficient. The upper bound will also change after considering undesirable outputs when the DMU is inefficient. Finally, an improved degree of preference approach is introduced to rank the DMUs. (shrink)

IntroductionExcitability of the primary motor cortex measured with TMS has been associated with cognitive dysfunctions in patient populations. However, only a few studies have explored this relationship in healthy adults, and even fewer have considered the role of biological sex.MethodsNinety-seven healthy middle-aged adults completed a TMS protocol and a neuropsychological assessment. Resting Motor Threshold and Long-Interval Intracortical Inhibition were assessed in the left motor cortex and related to attention, episodic memory, working memory, reasoning, and global cognition composite scores to evaluate (...) the relationship between cortical excitability and cognitive functioning.ResultsIn the whole sample, there was a significant association between LICI and cognition; specifically, higher motor inhibition was related to better working memory performance. When the sample was broken down by biological sex, LICI was only associated with working memory, reasoning, and global cognition in men. No associations were found between RMT and cognitive functions.ConclusionGreater intracortical inhibition, measured by LICI, could be a possible marker of working memory in healthy middle-aged adults, and biological sex plays a critical role in this association. (shrink)

Luce and Narens (Journal of Mathematical Psychology, 29:1–72, 1985) showed that rank-dependent utility (RDU) is the most general interval scale utility model for binary lotteries. It can be easily established that this result cannot be generalized to lotteries with more than two outcomes. This article suggests several additional conditions to ensure RDU as the only utility model with the desired property of interval scalability in the general case. The related axiomatizations of some special cases of RDU of independent interest (the (...) quantile utility, expected utility, and Yaari’s dual expected utility) are also given. (shrink)

In this paper we introduce the concept of interval valued neutrosophic soft topological space together with interval valued neutrosophic soft finer and interval valued neutrosophic soft coarser topology. We also define interval valued neutrosophic interior and closer of an interval valued neutrosophic soft set. Some theorems and examples are cites. Interval valued neutrosophic soft subspace topology are studied. Some examples and theorems regarding this concept are presented.

Carter (Noûs 55(1):171–198, 2021) argued that while most simple positive numerical sentences are literally false, they can communicate true contents because relevance has a weakening effect on their literal contents. This paper presents a challenge for his account by considering entailments between the imprecise contents of numerical sentences and the imprecise contents of comparatives. I argue that while Carter's weakening mechanism can generate the imprecise contents of plain comparatives such as `A is taller than B', it cannot generate the imprecise (...) contents of comparatives that quantify the difference between their arguments, such as `A is exactly n times as tall as B'. I then propose an alternative theory on which intervals serve as both thick degrees on a scale and denotations of numerical expressions. I argue that the alternative theory can account for the imprecise contents of both forms of comparatives as well as the data that motivate Carter's theory. (shrink)

Interval bipolar neutrosophic set is a significant extension of interval neutrosophic set where every element of the set comprises of three independent positive membership functions and three independent negative membership functions. In this study, we first define correlation coefficient, and weighted correlation coefficient measures of interval bipolar neutrosophic sets and prove their basic properties. Then, we develop a new multi-attribute decision making strategy based on the proposed weighted correlation coefficient measure. Finally, we solve an investment problem with interval bipolar neutrosophic (...) information and comparison is given to demonstrate the applicability and effectiveness of the proposed strategy. (shrink)

We present the interval-valued intuitionistic fuzzy ordered weighted cosine similarity measure in this paper, which combines the interval-valued intuitionistic fuzzy cosine similarity measure with the generalized ordered weighted averaging operator. The main advantage of the IVIFOWCS measure provides a parameterized family of similarity measures, and the decision maker can use the IVIFOWCS measure to consider a lot of possibilities and select the aggregation operator in accordance with his interests. We have studied some of its main properties and particular cases such (...) as the interval-valued intuitionistic fuzzy ordered weighted arithmetic cosine similarity measure and the interval-valued intuitionistic fuzzy maximum cosine similarity measure. The IVIFOWCS measure not only is a generalization of some similarity measure, but also it can deal with the correlation of different decision matrices for interval-valued intuitionistic fuzzy values. Furthermore, we present an application of IVIFOWCS measure to the group decision-making problem. Finally the existing similarity measures are compared with the IVIFOWCS measure by an illustrative example. (shrink)

Cinema, like language, can be said to exist as a system of differences. In his latest book, acclaimed philosopher Jacques Rancière looks at cinematic art in comparison to its corollary forms in literature and theatre. From literature, he argues, cinema takes its narrative conventions, while at the same time effacing literature’s images and philosophy; and film rejects theatre, while also fulfilling theatre’s dream. Built on these contradictions, the cinema is the real, material space in which one is moved by the (...) spectacle of shadows. Thus, for Rancière, film is the perpetually disappointed dream of a language of images. (shrink)

This paper presents a new kind of interpolation theorems about Neighbourhood Logic and Interval Temporal Logic . Unlike Craig interpolation, which holds for these logics too, the new theorems treat the existence of interpolants which specify properties of selected intervals in the models of NL and ITL.

Photovoltaic power forecasting can provide strong support for the safe operation of the power system. Existing forecasting methods are ineffective for grid scheduling decisions or risk analysis. The novel multicluster interval prediction method is proposed to consider the volatility and randomness of PV power output. First, this method utilizes the sparse autoencoder and Bayesian regularized NARX network for point forecasting of PV power. Second, density peak clustering improved by kernel Mahalanobis distance is applied to classify the dataset into multiple clusters, (...) including forecasting error and meteorological factors. Finally, the joint probability density is established by multivariate kernel density estimation to accomplish the PV power interval prediction. The proposed hybrid method is applied for the interval prediction of PV power at Yulara, Australia. Comparative research of point forecasting is implemented to evaluate the machine learning and deep learning methods, with the proposed SAE-BRNARX under four different periods. Results shows that the average values of nRMSE, MRE, nMAE, and R2 for the four periods are 4.45%, 0.90%, −0.15%, 3.39%, and 95.93%, respectively. Moreover, the results of interval prediction obtained by the other interval prediction approaches are compared with the proposed KMDDPC-MKDE. It shows that the average values of PICP, PINAW, ACE, and nMPICD for four periods are 93.93%, 9.50%, 3.93%, and 7.10% at 90% confidence level, respectively. Outcomes demonstrate that the proposed method can obtain more accuracy, a higher coverage rate, narrower average bandwidth, and a closer distance between the middle of interval and actual value than other methods. (shrink)

The oblivion of the interval -- Being in place -- The aporia between envelope and things -- Dualism in Bergson -- Interval, sexual difference -- Beyond man: rethinking life and matter -- Conclusion: interval as relation, interval as becoming.

We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability results.

We propose a method to associate a coalitional interval game with each strategic game. The method is based on the lower and upper values of finite two-person zero-sum games. Associating with a strategic game a coalitional interval game we avoid having to take either a pessimistic or an optimistic approach to the problem. The paper makes two contributions to the literature: It provides a theoretical foundation for the study of coalitional interval games and it also provides, studies, and characterizes a (...) natural method of associating coalitional interval games with strategic games. (shrink)

Neither question (1) nor question (2) posed on page 446 have been adequately answered in this paper. Regarding (1) we have merely given functor maps onto the object languages of physical theories and regarding (2) we have merely described the algebraic structure of observables. A more satisfactory treatment will most likely involve (1) a generalization to algebraic categories, universal algebra and model theory in such a way as to capture the full inference structure of (perhaps van Fraassen's modal) quantum logic, (...) and (2) the introduction of the category of differentiable manifolds in order to capture the full symplectic structure of (perhaps Chernoff-Marsden's) Hamiltonian dynamics. (See van Fraassen [4] and Chernoff-Marsden [5] in Other References.)Finally, the intriguing suggestion of Finkelstein that “category theory is to metaphysics what group theory is to physics” deserves serious consideration. Indeed, although the theme has not been touched on explicitly in this paper it was central in motivating the project initially. However, it is more properly to be developed in a context external to a symposium on quantum logic. (shrink)

Adverbial modification is probably one of the least understood areas of linguistics. The essays in this volume all address the problem of how to give an analysis of adverbial modifiers within truth-conditional semantics. Chapters I-VI provide analyses of particular modifiers within a possible worlds framework, and were written between 1974 and 1981. Original publication details of these chapters may be found on p. vi. Of these, all but Chapter I make essential use of the idea that the time reference involved (...) in tensed sentences should be a time interval rather than a single instant. The final chapter (Chapter VII) was written especially for this volume and investigates the question of how the 'situation semantics' recently devised by Jon Barwise and John Perry, as a rival to possible-worlds semantics, might deal with adverbs. In addition I have included an appendix to Chapter III and an introduction which links all the chapters together. (shrink)

Two experiments were conducted for the derivation of psychophysical scales of the following audio descriptors: spectral centroid, spectral spread, spectral skewness, odd-to-even harmonic ratio, spectral deviation, and spectral slope. The stimulus sets of each audio descriptor were synthesized and independently controlled through appropriate synthesis techniques. Partition scaling methods were used in both experiments, and the scales were constructed by fitting well-behaving functions to the listeners' ratings. In the first experiment, the listeners' task was the estimation of the relative differences between (...) successive levels of a particular audio descriptor. The median values of listeners' ratings increased with increasing feature values, which confirmed listeners' abilities to estimate intervals. However, there was a large variability in the reliability of the derived interval scales depending on the stimulus spacing in each trial. In the second experiment, listeners had control over the stimulus values and were asked to divide the presented range of values into perceptually equal intervals, which provides a ratio scale. For every descriptor, the reliability of the derived ratio scales was excellent. The unit of a particular ratio scale was assigned empirically so as to facilitate qualitative comparisons between the scales of all audio descriptors. The construction of psychophysical scales based on univariate stimuli allowed for the establishment of cause-and-effect relations between audio descriptors and perceptual dimensions, contrary to past research that has relied on multivariate stimuli and has only examined the correlations between the two. Most importantly, this study provides an understanding of the ways in which the sensation magnitudes of several audio descriptors are apprehended. (shrink)

A frequentist confidence interval can be constructed by inverting a hypothesis test, such that the interval contains only parameter values that would not have been rejected by the test. We show how a similar definition can be employed to construct a Bayesian support interval. Consistent with Carnap’s theory of corroboration, the support interval contains only parameter values that receive at least some minimum amount of support from the data. The support interval is not subject to Lindley’s paradox and provides an (...) evidence-based perspective on inference that differs from the belief-based perspective that forms the basis of the standard Bayesian credible interval. (shrink)

Interval temporal logics provide both an insight into a nature of time and a framework for temporal reasoning in various areas of computer science. In this paper we present sound and complete relational proof systems in the style of dual tableaux for relational logics associated with modal logics of temporal intervals and we prove that the systems enable us to verify validity and entailment of these temporal logics. We show how to incorporate in the systems various relations between (...) class='Hi'>intervals and/or various time orderings. (shrink)

It is commonly assumed that the concept of mechanism is a keytool for the scientific understanding of observable phenomena. However, there is no single definition of mechanism in the current philosophy of science. In fact, philosophers have developed several characterizations of what seemed to be a clear intuitive concept for scientists. In this paper, I will analyze these philosophical conceptions of mechanism, highlighting their problematic aspects and proposing a new mechanistic approach based on the idea that the pertinent levels of (...) organization for a mechanistic explanation can be identified with intervals of quasi-decompositionality. I argue that this approach allows us to consider that activities are directly derived from the entities’ structure. Consequently, a mechanistic explanation implies an arbitrary but not capricious choice of an organizational level. According to this approach, inter-level causation is merely apparent and there is no place for emergent properties. (shrink)

In this article, we apply the notion of interval neutrosophic sets to ideal theory in BCK/BCI-algebras.

Are we living in an “in-between time”? If so, what does it mean to be the “contemporary” of such a time? Starting from its consistent recurrence over different times, this article investigates the temporal-philosophical operation related to the designation of “in-between times.” It examines the function this operation assumes in thinking about time, i.e. the specific construction of time it establishes. By focusing on the functioning of _intervalle_ in Alain Badiou and _entre-temps_ in Gilles Deleuze, two contradictory relations to the (...) present conveyed in the concept of “in-between time” are discussed. The article demonstrates that for both philosophers, in-betweenness occupies a key position in their philosophical construction of time—yet, in reverse form in each case. The discussion of this contrasting mode then leads to the final question of whether there is such a thing as a fundamental in-between character that manifests itself through all times, belonging to time as such. (shrink)

The purpose of this paper is to develop an approach to multiattribute group decision making under interval-valued hesitant fuzzy environment. To do this, this paper defines some new operations on interval-valued hesitant fuzzy elements, which eliminate the disadvantages of the existing operations. Considering the fact that elements in a set may be interdependent, two generalized interval-valued hesitant fuzzy operators based on the generalized Shapley function and the Choquet integral are defined. Then, some models for calculating the optimal fuzzy measures on (...) the expert set and the ordered position set are established. Because fuzzy measures are defined on the power set, it makes the problem exponentially complex. To simplify the complexity of solving a fuzzy measure, models for the optimal 2-additive measures are constructed. Finally, an investment problem is offered to show the practicality and efficiency of the new method. (shrink)