Title :
ALPS: a logic for program synthesis (motivated by fuzzy logic)
Author :
Cooke, D.E. ; Kreinovich, V. ; Starks, S.A.
Author_Institution :
Texas Univ., El Paso, TX, USA
Abstract :
The article proposes a logic to enable one to work out how to find values of some final quantities from values of some initial quantities (if it be possible), when what is known is relationships involving the initial and final variables and also some auxiliary variables
Keywords :
fuzzy logic; programming theory; ALPS; fuzzy logic; program synthesis logic; Antenna measurements; Data mining; Data processing; Equations; Fuzzy logic; Geometry; Least squares methods; Mathematics; Phase shifting interferometry; Radio interferometry;
Conference_Titel :
Fuzzy Systems Proceedings, 1998. IEEE World Congress on Computational Intelligence., The 1998 IEEE International Conference on
Conference_Location :
Anchorage, AK
Print_ISBN :
0-7803-4863-X
DOI :
10.1109/FUZZY.1998.687589