UNIVERSITY OF TEXAS AT EL PASO COMPUTER SCIENCE DEPARTMENT 1996 REPORTS Dear friends, Thank you very much for your interest in our reports. Files that contain our reports can be obtained by ftp from http://www.cs.utep.edu/pub/reports The file that you are reading contains the list of our 1996 reports. Their abstracts are contained in a special file abstr-96.tex. This abstracts file is written in Plain TeX. Report UTEP-CS-96-1 is contained in the file tr96-1.tex; report UTEP-CS-96-2 is in the file tr96-2.tex, etc. The files (with a few exceptions) are either in LaTeX, or in plain TeX. For some reports, there is an additional TeX file with a title page. The names of these additional files start with "ti" instead of "tr". If you have any problems recovering these files or any other questions please contact Technical Reports c/o Vladik Kreinovich Computer Science Department University of Texas at El Paso El Paso, TX 79968, USA phone (915) 747--6951 fax (915) 747--5030 email vladik@cs.utep.edu FUZZY LOGIC, LOGIC PROGRAMMING, AND LINEAR LOGIC: TOWARDS A NEW UNDERSTANDING OF COMMON SENSE Hung T. Nguyen and Vladik Kreinovich UTEP-CS-96-1, -1a ``INTERVAL RATIONAL = ALGEBRAIC'' REVISITED: A MORE COMPUTER REALISTIC RESULT Anatoly V. Lakeyev and Vladik Kreinovich UTEP-CS-96-2 CLASSICAL-LOGIC ANALOGUE OF A FUZZY ``PARADOX'' Hung T. Nguyen and Vladik Kreinovich UTEP-CS-96-3, -3a ON RE-SCALING IN FUZZY CONTROL AND GENETIC ALGORITHMS Hung T. Nguyen and Vladik Kreinovich UTEP-CS-96-4, -4a FUZZY LOGIC AND TIME TRAVEL: POSSIBLE USE OF FUZZY LOGIC IN MAINSTREAM ASTROPHYSICS Vladimir Dimitrov, Misha Koshelev, and Vladik Kreinovich UTEP-CS-96-5 ACAUSAL PROCESSES AND ASTROPHYSICS: CASE WHEN UNCERTAINTY IS NON-STATISTICAL (FUZZY?) Vladimir Dimitrov, Misha Koshelev, and Vladik Kreinovich UTEP-CS-96-5a, -5b RELATING FUZZY MODELS, THEORIES OF ACTION, AND REACTIVE ROBOT CONTROL Chitta Baral, Hung T. Nguyen, and Vladik Kreinovich UTEP-CS-96-6 ON THE POSSIBILITY OF USING COMPLEX VALUES IN FUZZY LOGIC FOR REPRESENTING INCONSISTENCIES Hung T. Nguyen, Vladik Kreinovich, and Valery Shekhter UTEP-CS-96-7, -7a, -7b NORMAL FORMS FOR FUZZY LOGIC -- AN APPLICATION OF KOLMOGOROV'S THEOREM Vladik Kreinovich, Hung T. Nguyen, and David A. Sprecher UTEP-CS-96-8, -8a FUZZY LOGIC AS APPLIED LINEAR LOGIC Vladik Kreinovich, Hung Nguyen, and Piotr Wojciechowski UTEP-CS-96-9 USING GELFOND-PRZYMUSINSKA'S EPISTEMIC SPECIFICATIONS TO JUSTIFY (SOME) HEURISTIC METHODS USED IN EXPERT SYSTEMS AND INTELLIGENT CONTROL Hung T. Nguyen and Vladik Kreinovich UTEP-CS-96-10, -10a, -10b, -10c ON THE LATTICE EXTENSIONS OF PARTIAL ORDERS OF RINGS Piotr J. Wojciechowski and Vladik Kreinovich UTEP-CS-96-11 SPACE-TIME IS ``SQUARE TIMES'' MORE DIFFICULT TO APPROXIMATE THAN EUCLIDEAN SPACE} Vladik Kreinovich UTEP-CS-96-12 FUZZY NUMBERS ARE THE ONLY FUZZY SETS THAT KEEP INVERTIBLE OPERATIONS INVERTIBLE B. Bouchon-Meunier, O. Kosheleva, V. Kreinovich, and H. T. Nguyen UTEP-CS-96-13, -13a, -13b SIMULATING FUZZY CONTROL AS A NEW METHOD OF ELICITING MEMBERSHIP FUNCTIONS Bernadette Bouchon-Meunier and Vladik Kreinovich UTEP-CS-96-14 WAS STONEHENGE AN OBSERVATORY? Gilbert Castillo and Vladik Kreinovich UTEP-CS-96-15 ZEROS OF RIEMANN'S ZETA FUNCTION ARE UNIFORMLY DISTRIBUTED, BUT NOT RANDOM: AN ANSWER TO CALUDE'S OPEN PROBLEM Luc Longpre and Vladik Kreinovich UTEP-CS-96-16 EARTHQUAKES AND GEOMBINATORICS Diane Doser, Mohamed Amine Khamsi, and Vladik Kreinovich UTEP-CS-96-17 ASTROGEOMETRY: GEOMETRY EXPLAINS SHAPES OF CELESTIAL BODIES Andrei Finkelstein, Olga Kosheleva, and Vladik Kreinovich UTEP-CS-96-18 RANDOMNESS AS INCOMPRESSIBILITY: A NON-ALGORITHMIC ANALOGUE Vladik Kreinovich and Luc Longpre UTEP-CS-96-19 PURE QUANTUM STATES ARE FUNDAMENTAL, MIXTURES (COMPOSITE STATES) ARE MATHEMATICAL CONSTRUCTIONS: AN ARGUMENT USING ALGORITHMIC INFORMATION THEORY Vladik Kreinovich and Luc Longpre UTEP-CS-96-20 KOLMOGOROV'S THEOREM AND ITS IMPACT ON SOFT COMPUTING Hung T. Nguyen and Vladik Kreinovich UTEP-CS-96-21 ON A THEORETICAL JUSTIFICATION OF THE CHOICE OF EPSILON-INFLATION IN PASCAL-XSC Vladik Kreinovich, Guenter Mayer, and Scott Starks UTEP-CS-96-22, -22a 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 UTEP-CS-96-23 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 UTEP-CS-96-24, -24a S. MASLOV'S ITERATIVE METHOD: 15 YEARS LATER (FREEDOM OF CHOICE, NEURAL NETWORKS, NUMERICAL OPTIMIZATION, UNCERTAINTY REASONING, AND CHEMICAL COMPUTING) Vladik Kreinovich UTEP-CS-96-25 PROPOSITIONAL FUZZY LOGICS: DECIDABLE FOR SOME (ALGEBRAIC) OPERATORS, UNDECIDABLE FOR MORE COMPLICATED ONES Mai Gehrke, Vladik Kreinovich, and Bernadette Bouchon-Meunier UTEP-CS-96-26 IN CASE OF INTERVAL (OR MORE GENERAL) UNCERTAINTY, NO ALGORITHM CAN CHOOSE THE SIMPLEST REPRESENTATIVE Gerhard Heindl, Vladik Kreinovich, and Maria Rifqi UTEP-CS-96-27, -27a, -27b FUZZY MODUS PONENS AS A CALCULUS OF LOGICAL MODIFIERS: TOWARDS ZADEH'S VISION OF IMPLICATION CALCULUS Bernadette Bouchon-Meunier and Vladik Kreinovich UTEP-CS-96-28 GRANULARITY VIA NON-DETERMINISTIC COMPUTATIONS: WHAT WE GAIN AND WHAT WE LOSE Vladik Kreinovich and Bernadette Bouchon-Meunier UTEP-CS-96-29, -29a GEOMETRY OF ERRORS REVISITED: A NATURAL WAY TO VECTOR-VALUED METRIC SPACES Gerhard Heindl, Vladik Kreinovich, and Bernadette Bouchon-Meunier UTEP-CS-96-30 TOWARDS A MORE REALISTIC DEFINITION OF FEASIBILITY Douglas Schirmer and Vladik Kreinovich UTEP-CS-96-31 WHY IS THE ASYMPTOTIC TIME COMPLEXITY OF ALGORITHMS OFTEN $\sim n^\alpha$ or $\sim n^\alpha\ln(n)$? Olga Kosheleva and Vladik Kreinovich UTEP-CS-96-32 RANDOM SETS UNIFY, EXPLAIN, AND AID KNOWN UNCERTAINTY METHODS IN EXPERT SYSTEMS Vladik Kreinovich UTEP-CS-96-33, -33b SIGNAL DESIGN FOR RADAR IMAGING IN RADAR ASTRONOMY: GENETIC OPTIMIZATION Benjamin C. Flores, Vladik Kreinovich, and Roberto Vasquez UTEP-CS-96-34 USING ROBUST OPTIMIZATION TO PLAY AGAINST AN IMPERFECT OPPONENT Ronald R. Yager and Vladik Kreinovich UTEP-CS-96-35 HOW TO DEFINE AN AVERAGE OF SEVERAL SETS? Vladik Kreinovich and Ilya Molchanov UTEP-CS-96-36 OPTIMAL INTERVAL COMPUTATION TECHNIQUES: OPTIMIZATION OF NUMERICAL METHODS IN CASE OF UNCERTAINTY Vladik Kreinovich and Raul Trejo UTEP-CS-96-37 THE WORSE, THE BETTER: A SURVEY OF PARADOXICAL COMPUTATIONAL COMPLEXITY OF INTERVAL COMPUTATIONS Slava Nesterov and Vladik Kreinovich UTEP-CS-96-38 ASTROGEOMETRY, ERROR ESTIMATION, AND OTHER APPLICATIONS OF SET-VALUED ANALYSIS Andrei Finkelstein, Olga Kosheleva, and Vladik Kreinovich UTEP-CS-96-39, -39a ASTROGEOMETRY: TOWARDS MATHEMATICAL FOUNDATIONS Andrei Finkelstein, Olga Kosheleva, and Vladik Kreinovich UTEP-CS-96-39b QUARK CONFINEMENT MADE EASIER AND MORE FUNDAMENTAL: LATTICE CAUSALITY AND 2-D SPACE-TIMES Vladik Kreinovich and Piotr Wojciechowski UTEP-CS-96-40 GEOMETRIC APPROACH TO QUARK CONFINEMENT Vladik Kreinovich and Piotr Wojciechowski UTEP-CS-96-40a FUZZY IMPLICATION CAN BE ARBITRARILY COMPLICATED: A THEOREM Francisco G. Fernandez and Vladik Kreinovich UTEP-CS-96-41 ON THE SOLUTION SET OF PARTICULAR CLASSES OF LINEAR SYSTEMS Goetz Alefeld, Vladik Kreinovich, and Guenter Mayer UTEP-CS-96-42, -42a 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 UTEP-CS-96-43 NON-STANDARD (NON-SIGMA-ADDITIVE) PROBABILITIES IN ALGEBRAIC QUANTUM FIELD THEORY Vladik Kreinovich and Luc Longpre UTEP-CS-96-44 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 UTEP-CS-96-45, -45a NATURAL REQUIREMENTS FOR INTERVAL ROUNDINGS LEAD TO A HARDWARE-INDEPENDENT CHARACTERIZATION OF STANDARD ROUNDING PROCEDURES T. E. Kaminsky and V. Kreinovich UTEP-CS-96-46 FROM INTERVAL COMPUTATIONS TO MODAL MATHEMATICS: APPLICATIONS AND COMPUTATIONAL COMPLEXITY Bernadette Bouchon-Meunier and Vladik Kreinovich UTEP-CS-96-47 INTELLIGENT CONTROL IN SPACE EXPLORATION: INTERVAL COMPUTATIONS ARE NEEDED Hung T. Nguyen and Vladik Kreinovich UTEP-CS-96-48 INTELLIGENT CONTROL IN SPACE EXPLORATION: WHAT NON-LINEARITY TO CHOOSE? Hung T. Nguyen and Vladik Kreinovich UTEP-CS-96-48a INTERVAL-VALUED FUZZY CONTROL IN SPACE EXPLORATION Hung T. Nguyen and Vladik Kreinovich UTEP-CS-96-48b FUZZY CONTROL AS A UNIVERSAL CONTROL TOOL: AN OVERVIEW Vladik Kreinovich, George C. Mouzouris, and Hung T. Nguyen UTEP-CS-96-49, -49a