Computer Sciences Commons^™

Why Sine Membership Functions, Sofia Holguin, Javier Viaña, Kelly Cohen, Anca Ralescu, Vladik Kreinovich

Departmental Technical Reports (CS)

In applications of fuzzy techniques to several practical problems -- in particular, to the problem of predicting passenger flows in the airports -- the most efficient membership function is a sine function; to be precise, a portion of a sine function between the two zeros. In this paper, we provide a theoretical explanation for this empirical success.

Need To Combine Interval And Probabilistic Uncertainty: What Needs To Be Computed, What Can Be Computed, What Can Be Feasibly Computed, And How Physics Can Help, Julio Urenda, Vladik Kreinovich, Olga Kosheleva

Departmental Technical Reports (CS)

In many practical situations, the quantity of interest is difficult to measure directly. In such situations, to estimate this quantity, we measure easier-to-measure quantities which are related to the desired one by a known relation, and we use the results of these measurement to estimate the desired quantity. How accurate is this estimate?

Traditional engineering approach assumes that we know the probability distributions of measurement errors; however, in practice, we often only have partial information about these distributions. In some cases, we only know the upper bounds on the measurement errors; in such cases, the only thing we know about …

Why People Tend To Overestimate Joint Probabilities, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

It is known that, in general, people overestimate the probabilities of joint events. In this paper, we provide an explanation for this phenomenon -- as explanation based on Laplace Indeterminacy Principle and Maximum Entropy approach.

How To Deal With Conflict Of Interest Situations When Selecting The Best Submission, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

In many practical situations when we need to select the best submission -- the best paper, the best candidate, etc. -- there are so few experts that we cannot simply dismiss all the experts who have conflict of interest: we do not want them to judge their own submissions, but we would like to take into account their opinions of all other submissions. How can we take these opinions into account? In this paper, we show that a seemingly reasonable idea can actually lead to bias, and we explain how to take these opinions into account without biasing the final …

What Is A Natural Probability Distribution On The Class Of All Continuous Functions: Maximum Entropy Approach Leads To Wiener Measure, Vladik Kreinovich, Saeid Tizpaz-Niari

Departmental Technical Reports (CS)

While many data processing techniques assume that we know the probability distributions, in practice, we often only have a partial information about these probabilities -- so that several different distributions are consistent with our knowledge. Thus, to apply these data processing techniques, we need to select one of the possible probability distributions. There is a reasonable approach for such selection -- the Maximum Entropy approach. This approach selects a uniform distribution if all we know is that the random variable if located in an interval; it selects a normal distribution if all we know is the mean and the variance. …

Macrocausality Implies Lorenz Group: A Physics-Related Comment On Guts's Results, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

It is known that, in the space-time of Special Relativity, causality implies Lorenz group, i.e., if we know which events can causally influence each other, then, based on this information, we can uniquely reconstruct the affine structure of space-time. When the two events are very close, quantum effects, with their probabilistic nature, make it difficult to detect causality. So, the following question naturally arises: can we uniquely reconstruct the affine structure if we only know causality for events which are sufficiently far away from each other? Several positive answers to this question were provided in a recent paper by Alexander …

Search Under Uncertainty Should Be Randomized: A Lesson From The 2021 Nobel Prize In Medicine, Martine Ceberio, Vladik Kreinovich

Departmental Technical Reports (CS)

In many real-life situations, we know that one of several objects has the desired property, but we do not know which one. To find the desired object, we need to test these objects one by one. In situations when we have no additional information, there is no reason to prefer any testing order and thus, a usual recommendation is to test them in any order. This is usually interpreted as ordering the objects in the increasing value of some seemingly unrelated quantity. A possible drawback of this approach is that it may turn out that the selected quantity is correlated …

Why Physical Power Laws Usually Have Rational Exponents, Edgar Daniel Rodriguez Velasquez, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

Many physical dependencies are described by power laws y=A*xa, for some exponent a. This makes perfect sense: in many cases, there are no preferred measuring units for the corresponding quantities, so the form of the dependence should not change if we simply replace the original unit with a different one. It is known that such invariance implies a power law. Interestingly, not all exponents are possible in physical dependencies: in most cases, we have power laws with rational exponents. In this paper, we explain the ubiquity of rational exponents by taking into account that in many case, there is also …

Can Physics Attain Its Goals: Extending D'Agostino's Analysis To 21st Century And Beyond, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

In his 2000 seminal book, Silvo D'Agostino provided the detailed overview of the history of ideas underlying 19th and 20th century physics. Now that we are two decades into the 21st century, a natural question is: how can we extend his analysis to the 21st century physics -- and, if possible, beyond, to try to predict how physics will change? To perform this analysis, we go beyond an analysis of what happened and focus more on why para-digm changes happened in the history of physics. To better understand these paradigm changes, we analyze now only what were the main ideas …

How To Elicit Complex-Valued Fuzzy Degrees, Laxman Bokati, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

In the traditional fuzzy logic, an expert's degree of certainty in a statement is described by a single number from the interval [0,1]. However, there are situations when a single number is not sufficient: e.g., a situation when we know nothing and a situation in which we have a lot of arguments for a given statement and an equal number of arguments against it are both described by the same number 0.5. Several techniques have been proposed to distinguish between such situations. The most widely used is interval-valued technique, where we allow the expert to describe his/her degree of certainty …

Towards Optimal Techniques Intermediate Between Interval And Affine, Affine And Taylor, Martine Ceberio, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

In data processing, it is important to gauge how input uncertainty affects the results of data processing. Several techniques have been proposed for this gauging, from interval to affine to Taylor techniques. Some of these techniques result in more accurate estimates but require longer computation time, others' results are less accurate but can be obtained faster. Sometimes, we do not have enough time to use more accurate (but more time-consuming) techniques, but we have more time than needed for less accurate ones. In such cases, it is desirable to come up with intermediate techniques that would utilize the available additional …

Discrete Causality Implies Lorenz Group: Case Of 2-D Space-Times, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

It is known that for Minkowski space-times of dimension larger than 2, any causality-preserving transformation is linear. It is also known that in a 2-D space-time, there are many nonlinear causality-preserving transformations. In this paper, we show that for 2-D space-times, if we restrict ourselves to discrete space-times, then linearity is retained: only linear transformation preserve causality.

Negations Of Probability Distributions: A Survey, Ildar Z. Baryrshin, Nailya I. Kubysheva, Venera R. Bayrasheva, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

In recent years many papers have been devoted to the analysis and applications of negations of finite probability distributions (PD), first considered by Ronald Yager. This paper gives a brief overview of some formal results on the definition and properties of negations of PD. Negations of PD are generated by negators of probability values transforming element-by-element PD into a negation of PD. Negators are non-increasing functions of probability values. There are two types of negators: PD-independent and PD-dependent negators. Yager's negator is fundamental in the characterization of linear PD-independent negators as a convex combination of Yager's negator and uniform negator. …

How To Select Typical Objects, Mariana Benitez, Jeffrey Weidner, Vladik Kreinovich

Departmental Technical Reports (CS)

In many practical situations, we have a large number of objects, too many to be able to thoroughly analyze each of them. To get a general understanding, we need to select a representative sample. For us, this problem was motivated to analyze the possible effect of an earthquake on buildings in El Paso, Texas. In this paper, we provide a reasonable formalization of this problem, and provide a feasible algorithm for solving thus formalized problem.

How To Simulate If We Only Have Partial Information But We Want Reliable Results?, Vladik Kreinovich, Olga Kosheleva

Departmental Technical Reports (CS)

The main objective of a smart energy system is to make control decisions that would make energy systems more efficient and more reliable. To select such decisions, the system must know the consequences of different possible decisions. Energy systems are very complex, they cannot be described by a simple formula, the only way to reasonably accurately find such consequences is to test each decision on a simulated system. The problem is that the parameters describing the system and its environment are usually known with uncertainty, and we need to produce reliable results -- i.e., results that will be true for …

Interval Estimates: How To Make Them More Adequate And How To Use Them In Economic Analysis And Decision Making, Laura Adriana Berrout-Ramos

Open Access Theses & Dissertations

In many real-life situations, we need to make decisions in situations when we do not have full information about the consequences of different decisions. In particular, instead of the exact values of the relevant quantities, we only know lower and upper bounds on these values – i.e., we know an interval that contains the actual (unknown) value. These interval estimates often come from experts. This fact naturally leads to the following important questions: How should we make decisions under such interval uncertainty? How to gauge the quality of the resulting decisions? And if this quality is not sufficient – because …

Interval Constraint-Solving Strategies For Solving Dynamical Systems, Angel Fernando Garcia Contreras

Open Access Theses & Dissertations

There are abundant phenomena that humans can describe through mathematical models. Dynamical systems are one such type of model, describing the behavior of phenomena that change over time. For example, a scientist can measure and analyze an insect's wing parameters and movements to create a dynamical system of that behavior. We can then use this model in different applications, such as creating a nano vehicle with insect-like propulsion.

For many real life problems, there exist analytical solutions. These can represent a full description of the state of a dynamical system at any moment in continuous time. However, in most practical …

Examining The Effects Of Information And Communication Technologies In The Legal Representation Of Latin American Asylum Seekers, Victor M. Portillo Ochoa

Open Access Theses & Dissertations

The purpose of this thesis was to explore how legal defense nonprofit organizations (NPO) are using Information and Communication Technologies (ICT) to provide legal defense for asylum seekers and improve the conditions of immigrants at detention centers. In addition, this research explored the impact of ICTs on legal defense NPOs, bottlenecks, and security implications when supporting vulnerable communities. ICTs profoundly impacted the way we interact in a post-pandemic world, and it presents new challenges and possibilities for legal defense nonprofit organizations that are helping vulnerable communities. This study consists of staff and volunteers from different legal defense nonprofit organizations NPOs …

Demystifying The Practices Of Software Design And The Impact On Codebase Quality And Sustainability, Khandoker Rahad

Open Access Theses & Dissertations

Software systems continue to increase in size and complexity to match the ever-increasing user expectations. Designing and engineering such complex software systems brings about unique challenges. Complex systems are not only expensive to develop, but even more expensive to maintain. Most software systems must adapt to continuously changing business contexts and requirements. In the process, software accumulates arbitrary complexities making its maintenance even more challenging. Design and modeling are the primary methodologies to develop reliable, sustainable, maintainable systems. The development of novel design languages, tools, and methodologies is frequently not able to keep up with the exponential increase in software …

A Integrated Approach Of Deep Learning And Augmented Reality For Pneumonia Detection In Chest X-Ray Images, Jeevarathinam Senthilkumar

Open Access Theses & Dissertations

Pneumonia is a viral or fungal illness that spreads to the lungs of the human body, causing fluid to accumulate in the lungs' air sacs. Millions of people are affected by this disease each year. One of the most common radiological diagnostics for diagnosing and screening this kind of sickness is a chest X-ray. The most commonly available radiological test for diagnosing and screening this kind of illness is a chest X-ray. An inaccurate diagnosis, especially over-diagnosis and under-diagnosis, is a common issue in the medical sector. As another issue, human-assisted diagnosis has limitations like the availability of an expert, …

Why Moments (And Generalized Moments) Are Used In Statistics And Why Expected Utility Is Used In Decision Making: A Possible Explanation, R. Noah Padilla, Vladik Kreinovich

Departmental Technical Reports (CS)

Among the most efficient characteristics of a probability distribution are its moments and, more generally, generalized moments. One of the most adequate numerical characteristics describing human behavior is expected utility. In both cases, the corresponding characteristic is the sum of results of applying appropriate nonlinear functions applied to individual inputs. In this paper, we provide a possible theoretical explanation of why such functions are efficient.

How Multi-View Techniques Can Help In Processing Uncertainty, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

Multi-view techniques help us reconstruct a 3-D object and its properties from its 2-D (or even 1-D) projections. It turns out that similar techniques can be used in processing uncertainty -- where many problems can reduced to a similar task of reconstructing properties of a multi-D object from its 1-D projections. In this chapter, we provide an overview of these techniques.

Why Do People Become Addicted: Towards A Theoretical Explanation For Eyal's Experiment-Based Hook Model, Christopher Reyes, Vladik Kreinovich

Departmental Technical Reports (CS)

Why do people become addicted, e.g., to gambling? Experiments have shown that simple lotteries, in which we can win a small prize with a certain probability, and not addictive. However, if we add a second possibility -- of having a large prize with a small probability -- the lottery becomes highly addictive to many participants. In this paper, we provide a possible theoretical explanation for this empirical phenomenon.

Why Ovals In Eliciting Intervals?, Joshua Zamora, Vladik Kreinovich

Departmental Technical Reports (CS)

To elicit people's opinions, we usually ask them to mark their degree of satisfaction on a scale -- e.g., from 0 to 5 or from 0 to 10. Often, people are unsure about the exact degree: 7 or 8? To cover such situations, it is desirable to elicit not a single value but an interval of possible values. However, it turns out that most people are not comfortable with marking an interval. Empirically, it turned out that the best way to elicit an interval is to ask them to draw an oval whose intersection with the 0-to-10 line is the …

Decision Making Under Uncertainty: Cases When We Only Know An Upper Bound Or A Lower Bound, Toshiki Kamio, Gavin Baechle, Vladik Kreinovich

Departmental Technical Reports (CS)

In situations when we have a perfect knowledge about the outcomes of several situations, a natural idea is to select the best of these situations. For example, among different investments, we should select the one with the largest gain. In practice, however, we rarely know the exact consequences of each action. In some cases, we know the lower and upper bounds on the corresponding gain. It has been proven that in such cases, an appropriate decision is to use Hurwicz optimism-pessimism criterion. In this paper, we extend the corresponding results to the cases when we only know an upper bound …

Commonsense "And"-Operations, Javier Tellez, Wenbo Xie, Vladik Kreinovich

Departmental Technical Reports (CS)

In many practical situations, we need to estimate our degree of belief in a statement "A and B" when the only thing we know are the degrees of belief a and b in combined statements A and B. An algorithm for this estimation is known as an "and"-operation, or, for historical reasons, a t-norm. Usually, "and"-operations are selected in such a way that if one of the statements A or B is false, our degree of belief in "A and B" is 0. However, in practice, this is sometimes not the case: for example, an ideal faculty candidate must satisfy …

Fourier Transform And Other Quadratic Problems Under Interval Uncertainty, Oscar Galindo, Christopher Ibarra, Vladik Kreinovich

Departmental Technical Reports (CS)

In general, computing the range of a quadratic function on given intervals is NP-hard. Recently, a feasible algorithm was proposed for computing the range of a specific quadratic function -- square of the modulus of a Fourier coefficient. For this function, the rank of the quadratic form -- i.e., the number of nonzero eigenvalues -- is 2. In this paper, we show that this algorithm can be extended to all the cases when the rank of the quadratic form is bounded by a constant.

Why Model Order Reduction, Salvador Robles, Martine Ceberio, Vladik Kreinovich

Departmental Technical Reports (CS)

Reasonably recently, a new efficient method appeared for solving complex non-linear differential equations (and systems of differential equations). In this method -- known as Model Order Reduction (MOR) -- we select several solutions, and approximate a general solution by a linear combination of the selected solutions. In this paper, we use the known explanation for efficiency of neural networks to explain the efficiency of MOR techniques.

Why Residual Neural Networks, Sofia Holguin, Vladik Kreinovich

Departmental Technical Reports (CS)

In the traditional neural networks, the outputs of each layer serve as inputs to the next layer. It is known that in many cases, it is beneficial to also allow outputs from pre-previous etc. layers as inputs. Such networks are known as residual. In this paper, we provide a possible theoretical explanation for the empirical success of residual neural networks.

How To Gauge The Quality Of A Multi-Class Classification When Ground Truth Is Known With Uncertainty, Ricardo Mendez, Osagumwenro Osaretin, Vladik Kreinovich

Departmental Technical Reports (CS)

The usual formulas for gauging the quality of a classification method assume that we know the ground truth, i.e., that for several objects, we know for sure to which class they belong. In practice, we often only know this with some degree of certainty. In this paper, we explain how to take this uncertainty into account when gauging the quality of a classification method.