Application of subdefinite models in engineering

Artificial Intelligence in Engineering

Volumn 11, Issue 1, 1997, Pages 15-24

  Shvetsov, I ^a   Semenov, A ^a   Telerman, V ^a  

^a Russ Res Inst of Artif Intell   (Russian Federation)

Author keywords

Constraint technology; Mathematical model; Object orientation; Subdefinite information

Indexed keywords

ALGEBRA; ALGORITHMS; COMPUTATIONAL METHODS; CONSTRAINT THEORY; DATA PROCESSING; DIFFERENTIAL EQUATIONS; KNOWLEDGE ENGINEERING; MATHEMATICAL PROGRAMMING; OBJECT ORIENTED PROGRAMMING; PROBLEM SOLVING;

COMPUTATIONAL MATHEMATICS; CONSTRAINT PROGRAMMING; SUBDEFINITE INFORMATION;

MATHEMATICAL MODELS;

EID: 0031077668     PISSN: 09541810     EISSN: None     Source Type: Journal    
DOI: 10.1016/0954-1810(96)00016-7     Document Type: Article

References (11)

1. Narin'yani, A. S., Sub-definite set - a formal model of incompletely specified aggregate. Proceedings of the Symposium on Fuzzy Sets and Possibility Theory, Acapulco, Mexico, 1980.
2. Narin'yani, A. S., Subdefinite models and operations with subdefinite values. Preprint USSR Academy of Sciences, Siberian Division, Computer Center, No. 400, Novosibirsk, 1982 (in Russian).
3. Hyvonen, E., Constraint reasoning based on interval arithmetic: the tolerance propagation approach. Artificial Intelligence, 1992, 58, 71-112.
4. Puget, J., Programmation par contraintes orientee objet. Proceedings of 10th Int. Conf. on Expert Systems and Applications, Avignon, France, 1992 (in French).
5. Semenov, A. et al., UniCalc, a novel approach to solving systems of algebraic equations. Proceedings of the International Conference on Numerical Analysis. Verifications Lafayette, LA, 1993.
6. Semenov, A. & Leshchenko, A., Interval and symbolic computations in the UniCalc solver. International Conference on Interval and Computer-Algebraic Methods in Science and Engineering, INTERVAL-94, Abstracts, St-Petersburg, 1994, pp. 206-8 (in Russian).
7. Semenov, A. & Kashevarova, T., Solving subdefinite problems for systems of ordinary differential equations of the first order in the UniCalc system. Proceedings of All-Union Scientific-Technical Conference of Intelligent Systems in Machine Building, Samara, Russia, 1991, pp. 21-4 (in Russian).
8. Meintjes, K. & Morgan, A., Chemical equilibrium systems as numerical test problems. ACM Transactions on Mathematical Software, 1990, No. 2, 143-51.
9. Telerman, V., Technological environment for construction and processing sub-definite models. Proceedings of East-West AI Conference: from Theory to Practice, Moscow, 1993, pp. 356-60.
10. Kopisch, M. & Gunter, A., Knowledge-based support for the layout development of the Airbus-A340 passenger cabin. Proceedings of 12th ICAI, Avignon, France, 1992, pp. 507-17.
11. Narin'yani, A. S., Shvetsov, I. E. et al., Subdefiniteness: A new approach to imprecise knowledge processing. Scientific Report No. 4, RRIAI, Moscow, 1993.