University of Texas at El Paso
Computer Science Department
List of 1996 Reports

• Fuzzy Rule Based Modeling as a Universal Approximation Tool
  Vladik Kreinovich, George C. Mouzouris, and Hung T. Nguyen
  link to abstract
  Original version UTEP-CS-96-49 in LaTeX
  Updated version UTEP-CS-96-49a in LaTeX
  both files use crckapb.sty.

• Interval-Valued Fuzzy Control in Space Exploration
  Hung T. Nguyen and Vladik Kreinovich
  link to abstract
  UTEP-CS-96-48b in LaTeX, uses IEEEtran.sty

• Intelligent Control in Space Exploration: What Non-Linearity to Choose?
  Hung T. Nguyen and Vladik Kreinovich
  link to abstract
  UTEP-CS-96-48a in LaTeX, uses IEEEtran.sty

• Intelligent Control in Space Exploration: Interval Computations are Needed
  Hung T. Nguyen and Vladik Kreinovich
  link to abstract
  UTEP-CS-96-48 in LaTeX, uses IEEEtran.sty

• From Interval Computations to Modal Mathematics: Applications and Computational Complexity
  Bernadette Bouchon-Meunier and Vladik Kreinovich
  link to abstract
  UTEP-CS-96-47 in LaTeX.

• Natural Requirements for Interval Roundings Lead to a Hardware-Independent Characterization of Standard Rounding Procedures
  T. E. Kaminsky and V. Kreinovich
  link to abstract
  UTEP-CS-96-46 in LaTeX.

• QFT + NP = P
  Quantum Field Theory (QFT): A Possible Way of Solving
  NP-Complete Problems in Polynomial Time
  Adriana Beltran, Vladik Kreinovich, and Luc Longpre
  Version link to abstract
  Original version UTEP-CS-96-45 in LaTeX, uses IEEEtran.sty.;
  Updated version UTEP-CS-96-45a in LaTeX.

• Nonstandard (Non-Sigma-Additive) Probabilities
  in Algebraic Quantum Field Theory
  Vladik Kreinovich and Luc Longpre
  link to abstract
  UTEP-CS-96-44 in LaTeX, in Compressed PostScript, and in pdf.

• From Numerical Intervals to Set Intervals
  (Interval-related results presented at
  the First International Workshop
  on Applications and Theory of Random Sets)
  Hung T. Nguyen and Vladik Kreinovich
  link to abstract
  UTEP-CS-96-43 in LaTeX.

• On the Solution Set of Particular Classes of Linear Systems
  Goetz Alefeld, Vladik Kreinovich, and Guenter Mayer
  link to abstract
  Original version UTEP-CS-96-42 in LaTeX.
  1st updated version UTEP-CS-96-42a in LaTeX, uses psfig.sty and sym_p_f.eps;
  2nd updated version UTEP-CS-96-42b in Compressed PostScript and in pdf;
  3rd updated version UTEP-CS-96-42c in Compressed PostScript and in pdf

• Fuzzy Implication Can Be Arbitrarily Complicated:
  A Theorem
  Francisco G. Fernandez and Vladik Kreinovich
  link to abstract
  UTEP-CS-96-41 in LaTeX.

• Geometric Approach to Quark Confinement
  Vladik Kreinovich and Piotr Wojciechowski
  link to abstract
  Original version UTEP-CS-96-40 in LaTeX,
  Updated version UTEP-CS-96-40a in plain TeX, in Compressed PostScript, and in pdf.

• Astrogeometry: Towards Mathematical Foundations
  Andrei Finkelstein, Olga Kosheleva, and Vladik Kreinovich
  link to abstract
  UTEP-CS-96-39b in LaTeX, in Compressed PostScript, and in pdf.

• Astrogeometry, Error Estimation,
  and Other Applications of Set-Valued Analysis
  Andrei Finkelstein, Olga Kosheleva, and Vladik Kreinovich
  link to abstract
  Original version UTEP-CS-96-39 in LaTeX, uses ima.sty, ima10.sty, epsf.sty, and amssym.def.
  Updated version UTEP-CS-96-39a in LaTeX, in Compressed PostScript, and in pdf.

• The Worse, the Better:
  A Survey of Paradoxical Computational Complexity
  of Interval Computations
  Slava Nesterov and Vladik Kreinovich
  link to abstract
  UTEP-CS-96-38 in plain TeX.

• Optimal Interval Computation Techniques:
  Optimization of Numerical Methods
  in Case of Uncertainty
  Vladik Kreinovich and Raul Trejo
  link to abstract
  UTEP-CS-96-37 in plain TeX.

• How to Define an Average of Several Sets?
  Vladik Kreinovich and Ilya Molchanov
  link to abstract
  UTEP-CS-96-36 in plain TeX.

• Using Robust Optimization
  to Play against an Imperfect Opponent
  Ronald R. Yager and Vladik Kreinovich
  link to abstract
  UTEP-CS-96-35 in LaTeX.

• Signal Design for Radar Imaging in Radar Astronomy:
  Genetic Optimization
  Benjamin C. Flores, Vladik Kreinovich, and Roberto Vasquez
  link to abstract
  UTEP-CS-96-34 in LaTeX, uses epsf.tex, f1.eps, f2.eps, f3.eps, f4.eps, f5.eps, and f6.eps.

• Random Sets Unify, Explain, and Aid Known
  Uncertainty Methods in Expert Systems
  Vladik Kreinovich
  link to abstract
  Original version UTEP-CS-96-33 in LaTeX;
  Updated version UTEP-CS-96-33b in LaTeX.
  Both versions use ima.sty, ima10.sty, epsf.sty, and amssym.def.

• Why is the Asymptotic Time Complexity
  of Algorithms Often n^alpha or n^alpha*ln(n)?
  Olga Kosheleva and Vladik Kreinovich
  link to abstract
  UTEP-CS-96-32 in LaTeX.

• Towards a More Realistic Definition of Feasibility
  Douglas Schirmer and Vladik Kreinovich
  link to abstract
  UTEP-CS-96-31 in LaTeX.

• Geometry of Errors Revisited:
  A Natural Way to
  Vector-Valued Metric Spaces
  Gerhard Heindl, Vladik Kreinovich, and Bernadette Bouchon-Meunier
  link to abstract
  UTEP-CS-96-30 in plain TeX.

• Granularity via Non-Deterministic Computations:
  What We Gain and What We Lose
  Vladik Kreinovich and Bernadette Bouchon-Meunier
  link to abstract
  Original version UTEP-CS-96-29 in LaTeX;
  Short version UTEP-CS-96-29a in LaTeX.

• Fuzzy Modus Ponens as a Calculus of Logical Modifiers:
  Towards Zadeh's Vision of Implication Calculus
  Bernadette Bouchon-Meunier and Vladik Kreinovich
  link to abstract
  UTEP-CS-96-28 in LaTeX.

• In Case of Interval (or More General) Uncertainty,
  No Algorithm Can Choose the Simplest Representative
  Gerhard Heindl, Vladik Kreinovich, and Maria Rifqi
  link to abstract
  Original version UTEP-CS-96-27 in LaTeX
  1st updated version UTEP-CS-96-27a in LaTeX
  2nd updated version UTEP-CS-96-27b in LaTeX
  3rd updated version UTEP-CS-96-27c in Compressed PostScript and in pdf.

• Propositional Fuzzy Logics:
  Decidable for Some (Algebraic) Operators,
  Undecidable for More Complicated Ones
  Mai Gehrke, Vladik Kreinovich, and
  Bernadette Bouchon-Meunier
  link to abstract
  UTEP-CS-96-26 in LaTeX.

• S. Maslov's Iterative Method: 15 Years Later
  (Freedom of Choice, Neural Networks,
  Numerical Optimization, Uncertainty Reasoning, and
  Chemical Computing)
  Vladik Kreinovich
  link to abstract
  UTEP-CS-96-25 in plain TeX, compressed PostScritpt, and pdf.

• From Ordered Beliefs to Numbers:
  How to Elicit Numbers Without Asking for Them
  (Doable but Computationally Difficult)
  Brian Cloteaux, Christophe Eick,
  Bernadette Bouchon-Meunier, and Vladik Kreinovich
  link to abstract
  Original version UTEP-CS-96-24 in LaTeX
  Updated version UTEP-CS-96-24a in PostScript

• Axiomatic Description of Implication Leads to a
  Classical Formula with Logical Modifiers:
  (In Particular,
  Mamdani's Choice of "And" as Implication
  is Not So Weird After All)
  Bernadette Bouchon-Meunier and Vladik Kreinovich
  link to abstract
  UTEP-CS-96-23 in LaTeX

• On a Theoretical Justification of the Choice of
  Epsilon-Inflation in Pascal-XSC
  Vladik Kreinovich, Guenter Mayer, and Scott Starks
  link to abstract
  Original version UTEP-CS-96-22 in LaTeX
  Updated version UTEP-CS-96-22a in LaTeX, compressed PostScript, and pdf.

• Kolmogorov's Theorem
  and its Impact on Soft Computing
  Hung T. Nguyen and Vladik Kreinovich
  link to abstract
  UTEP-CS-96-21 in Plain TeX.

• Pure Quantum States are Fundamental,
  Mixtures (Composite States) are Mathematical Constructions:
  An Argument Using Algorithmic Information Theory
  Vladik Kreinovich and Luc Longpre
  link to abstract
  UTEP-CS-96-20 in LaTeX.

• Randomness as Incompressibility: A Non-Algorithmic Analogue
  Vladik Kreinovich and Luc Longpre
  link to abstract
  UTEP-CS-96-19 in LaTeX.

• Astrogeometry: Geometry Explains Shapes of Celestial Bodies
  Andrei Finkelstein, Olga Kosheleva, and Vladik Kreinovich
  link to abstract
  UTEP-CS-96-18 in plain TeX.

• Earthquakes and Geombinatorics
  Diane Doser, Mohamed Amine Khamsi, and Vladik Kreinovich
  link to abstract
  UTEP-CS-96-17 in plain TeX.

• Zeros of Riemann's Zeta Function are Uniformly Distributed, but Not Random: An Answer to Calude's Open Problem Luc Longpre and Vladik Kreinovich
  link to abstract
  UTEP-CS-96-16 in LaTeX.

• Was Stonehenge an Observatory?
  Gilbert Castillo and Vladik Kreinovich
  link to abstract
  UTEP-CS-96-15 in plain TeX.

• Simulating Fuzzy Control as a New Method of Eliciting Membership Functions
  Bernadette Bouchon-Meunier and Vladik Kreinovich
  link to abstract
  UTEP-CS-96-14 in LaTeX, uses proceedingsIPMU96.sty

• Fuzzy Numbers are the Only Fuzzy Sets That Keep Invertible Operations Invertible
  B. Bouchon-Meunier, O. Kosheleva, V. Kreinovich, and H. T. Nguyen
  link to abstract
  Original version UTEP-CS-96-13 in LaTeX, uses proceedingsIPMU96.styand amssymbols.sty.
  1st updated version UTEP-CS-96-13a in LaTeX, use amssymbols.sty.
  2nd updated version UTEP-CS-96-13b in LaTeX, use amssymbols.sty.

• Space-Time is "Square Times" More Difficult to Approximate than Euclidean Space
  Vladik Kreinovich
  link to abstract
  UTEP-CS-96-12 in plain TeX.

• On the Lattice Extensions of Partial Orders of Rings
  Piotr J. Wojciechowski and Vladik Kreinovich
  link to abstract
  UTEP-CS-96-11 in LaTeX, uses tex-set.tex

• Using Gelfond-Przymusinska's Epistemic Specifications to Justify (Some) Heuristic Methods Used in Expert Systems and Intelligent Control
  Hung T. Nguyen and Vladik Kreinovich
  link to abstract
  Original version UTEP-CS-96-10 in LaTeX
  1st updated version UTEP-CS-96-10a in LaTeX
  2nd updated version UTEP-CS-96-10b in LaTeX
  3rd updated version UTEP-CS-96-10c in LaTeX

• Fuzzy Logic as Applied Linear Logic
  Vladik Kreinovich, Hung Nguyen, and Piotr Wojciechowski
  link to abstract
  UTEP-CS-96-9 in LaTeX.

• Normal Forms for Fuzzy Logic - an Application of Kolmogorov's Theorem
  Vladik Kreinovich, Hung T. Nguyen, and David A. Sprecher
  link to abstract
  UTEP-CS-96-8 in LaTeX.

• On the Possibility of Using Complex Values in Fuzzy Logic for Representing Inconsistencies
  Hung T. Nguyen, Vladik Kreinovich, and Valery Shekhter
  link to abstract
  Original version UTEP-CS-96-7 in LaTeX, uses IJA.sty
  1st updated version UTEP-CS-96-7a in LaTeX
  2nd updated version UTEP-CS-96-7b in LaTeX

• Relating Fuzzy Models, Theories of Action, and Reactive Robot Control
  Chitta Baral, Hung T. Nguyen, and Vladik Kreinovich
  link to abstract
  UTEP-CS-96-6 in LaTeX

• Acausal Processes and Astrophysics:
  Case When Uncertainty is Non-Statistical
  Vladimir Dimitrov, Misha Koshelev, and Vladik Kreinovich
  link to abstract
  Original version UTEP-CS-96-5a in LaTeX.
  Updated version UTEP-CS-96-5b in LaTeX.

• Fuzzy Logic and Time Travel: Possible Use of Fuzzy Logic in Mainstream Astrophysics
  Vladimir Dimitrov, Misha Koshelev, and Vladik Kreinovich
  link to abstract
  UTEP-CS-96-5 in LaTeX

• On Re-Scaling in Fuzzy Control and Genetic Algorithms
  Hung T. Nguyen and Vladik Kreinovich
  link to abstract
  Original version UTEP-CS-96-4 in LaTeX
  Updated version UTEP-CS-96-4a in LaTeX, uses style files 10pt.sty and latex8.sty

• Classical-Logic Analogue of a Fuzzy "Paradox"
  Hung T. Nguyen and Vladik Kreinovich
  link to abstract
  Original version UTEP-CS-96-3 in LaTeX
  Updated version UTEP-CS-96-3a in LaTeX, uses style files 10pt.sty and latex8.sty

• "Interval Rational = Algebraic" Revisited: A More Computer Realistic Result
  Anatoly V. Lakeyev and Vladik Kreinovich
  link to abstract
  UTEP-CS-96-2 in LaTeX

• Fuzzy Logic, Logic Programming, and Linear Logic: Towards a New Understanding of Common Sense
  Hung T. Nguyen and Vladik Kreinovich
  link to abstract
  Original version UTEP-CS-96-1 in LaTeX
  Updated version UTEP-CS-96-1a in LaTeX, uses IEEEtran.sty