Subdefinite mathematics and novel scheduling technology

Artificial Intelligence in Engineering

Volumn 11, Issue 1, 1997, Pages 5-14

  Narin'yani, A S ^a   Borde, S B ^a   Ivanov, D A ^a  

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

Author keywords

Constraint satisfaction; Project management; Scheduling; Subdefinite mathematics; Temporal logic

Indexed keywords

ALGEBRA; COMPUTER SOFTWARE; CONSTRAINT THEORY; DATA PROCESSING; FORMAL LOGIC; KNOWLEDGE ENGINEERING; MATHEMATICAL MODELS; MATHEMATICAL TECHNIQUES; PROBLEM SOLVING; PROJECT MANAGEMENT; SCHEDULING;

CONSTRAINT SATISFACTION; SUBDEFINITE MATHEMATICS; TEMPORAL LOGIC;

ARTIFICIAL INTELLIGENCE;

EID: 0031078976     PISSN: 09541810     EISSN: None     Source Type: Journal    
DOI: 10.1016/0954-1810(96)00015-5     Document Type: Article

References (11)

1. Semenov, A. L. et al., Application of subdefinite mathematics in engineering. Artif. Intell. Engng, (in press).
2. Narin'yani, A. S., Sub-definite models and operations over subdefinite values. Preprint No. 400, Computer Center of the Siberian Division of the USSR Academy of Science, Novosibirsk, 1982 (in Russian).
3. Narin'yani, A. S., Sub-definiteness in knowledge representation and processing. Technical Cybernetics, Moscow, No. 5, 1986, 3-28 (in Russian).
4. Narin'yani, A. S., Imprecision as a NE-factor: an attempt of pre-formal analysis. Preprint No. 2, Russian Research Institute of Artificial Intelligence, Moscow-Novosibirsk, 1994 (in Russian).
5. Borning, A. The programming language aspects of ThingLab, a constraint-oriented simulation laboratory. ACM Trans. Progr. Lang. Syst., 1981, 3(4), 353-87.
6. Sussman, G. J. & Steele, G. L. Jr, CONSTRAINTS - a language for expressing almost-hierarchical descriptions. Artificial Intelligence, 1980, 14, 1-39.
7. Kandrashina, E. Yu., Litvintseva, L. V. & Pospelov, D. A., Knowledge Representation about Time and Space in Intelligent Systems. Nauka Publishing House, Moscow, 1989 (in Russian).
8. Borde, S. B., Time-EX - intelligent system for calendar scheduling. In Abstracts of All-Union Sci. and Tech. Conf. Intelligent Systems in Manufacturing. Section: Intelligent Industrial Systems, Vol. 1, Samara, 1991, pp. 79-81 (in Russian).
9. Borde, S. B., Pon'kin, S. A. & Salychev, M. V., Subdefiniteness and calendar scheduling. In Proceedings of the East-West Conference on Artificial Intelligence EWAIC'93. Moscow, 1993, pp. 315-18.
10. Narin'yani, A. S., Intelligent software technology for the new decade. Communications of the ACM, 1991, 34(6), 60-67.
11. Narin'yani, A. S., Telerman, V. V. & Dmitriev, V. E., Virtual data-flow machine as vehicle of inference/ computations in knowledge bases. In Artificial Intelligence II. Methodology, Systems, Application, ed. Ph. Jorrand & V. Sgurev. North-Holland, Amsterdam, 1987, pp. 149-55.