Visiplan: A knowledge-based modelling tool

IEE Proceedings: Control Theory and Applications

Volumn 143, Issue 1, 1996, Pages 73-84

  Sepulveda M ^a   Nussbaum, M ^a   Levys, P ^a  

^a PONTIFICIA UNIVERSIDAD CATÓLICA DE CHILE   (Chile)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; ARTIFICIAL INTELLIGENCE; COMBINATORIAL MATHEMATICS; KNOWLEDGE BASED SYSTEMS; OPTIMIZATION; PROBLEM SOLVING; RESOURCE ALLOCATION; SCHEDULING;

KNOWLEDGE BASED MODELLING LANGUAGE VISIPLAN;

COMPUTER SIMULATION LANGUAGES;

EID: 0029769872     PISSN: 13502379     EISSN: None     Source Type: Journal    
DOI: 10.1049/ip-cta:19960088     Document Type: Article

References (31)

1. RAGHUNATHAN, S., and RAMAYYA, J.: 'MODFORM: a knowledee-based tool to support the modeling process', Inf. Syst. Res., 1993, 4, (4), pp. 331-358
2. MURPHY, F., STORE, E., and MA, P.: 'Composition rules for buildina linear programming models from component models', Manage. Sei., I992, 38, (7), pp. 948-963
3. SPANGLER, W.: The role of artificial intelligence in understandine the strategic decision-making process', IEE Trans KnoH-1. "Data Eng., 1991, 3, (2), pp. 149-159
4. GEOFFRION, A.: 'Introduction to structured modeling', Manage. Sei., 1987, 33, pp. 547-588
5. GEOFFRION, A.: The formal aspects of structured modeling', Oper. Res., 1989, 37, (1), pp. 30-51
6. GEOFFRION, A.: 'FW/SM: a prototype structured modeling environment', Manage. Sei., 1991, 37, pp. 1513-1538
7. GEOFFRION, A.: The SML language for structured modeling. Levels 1,2,3,4', Oper. Res., 1992, 40, (1), pp. 38-75
8. CLANCEY, W.: 'Model construction operators', Artif. Intel!., 1992, 53, (1), pp. 1-115
9. SIMON, H.: 'Artificial intelligence: Where has it been, and where is it going?', IEEE Trans. Knowl. Data Eng., 1991, 3, (2), pp. 128135
10. SCHILKRUT, A., and WURMANN, D.: 'Desarollo de modelos matemâticos aplicados al transporte en el sector forestal. Memoria de titulacion', Departamento de Ingenieria Industrial, Facultad de Ciencias Fisicas y Matemâticas, Universidad de Chile, 1993
11. VISHWANATHAN, K., and BAGCHI, A.: 'Best-first search methods for constrained two-dimensional cutting stock problems', Oper. Res., 1993, 4, (4), pp. 30-31
12. SAGER, T., and LIN, S.: 'A pruning procedure for exact graph coloring', ORSA J. Comp., 1991, 3, (3), pp. 226-230
13. APPLEGATE, D., and COOK, W.: 'A computational study of the job-shop scheduling problem', ORSA J. Comput., 1991, 3, (2), pp. 149-156
14. LAWLER, E.: 'Recent results in the theory of machine scheduling. Mathematical programming', The State of Art, 1982, pp. 202-233
15. LEUNG, J., and YOUNG, G.: 'Minimizing total tardiness on a single machine with precedence constraints', ORSA J. Comput., 1990, 2, (4), pp. 346-352
16. LU, L., and POSNER, M.: 'An NP-hard open shop scheduling problem with polynomial average time complexity', Math. Oper. Res., 1993, 18, (1), pp. 12-38
17. PAPADIMITROU, C, and STEIGLITZ, K.: 'Combinatorial optimization: algorithms and complexity' (Prentice-Hall, Englewood Cliffs, NJ, 1989)
18. RICH, E., and KNIGHT, K.: 'Artificial Intelligence' (McGraw-Hill, New York, 1991)
19. GLOVER, F., and GREENBERG, H.: 'New approaches for heuristic search: a bilateral linkage with artificial intelligent Europ. J. Oper. Res., 1989, 39, (2), pp. 119-130
20. KIRKPATRICK, S., GELATT, J., and VECCHI, M.: 'Optimization by simulated annealing', Science, 1983, 220, pp. 671-680
21. STERN, J.: 'Simulated annealing with a temperature-depende penalty function', ORSA J. Comput., 1992, 4, (3), pp 311-319
22. VAN LAARHOVEN, P.: 'Job shop scheduling by simulât A annealing', Oper. Res., 1992, 40, (1), pp. 113-125
23. FAIGLE, U., and KERN, W.: 'Some convergence results for probabilistic tabu search', ORSA J. Comput., 1992, 4, (i), pp 32- 37
24. GLOVER, F.: 'Tabu search. Part I', ORSA J. Comput IQRQ (3), pp. 190-206
25. GLOVER, F.: 'Tabu search. Part II', ORSA J. Comput IQon -i (1), PP. 4-32
26. BEAN, J.: 'Genetic algorithms and randoms keys for sequenc' and optimization', ORSA J. Comput., 1994, 6, (2), pp. 154-160
27. GOLDBERG, D.: 'Genetic algorithms in search, optimization and machine learning', (Addison-Wesley, Reading, MA, 1989
28. DANTZIG, G.: 'Linear programming and extension' (Princeton University Press, 1963)
29. HORNER, P.: 'Where do we go from here? A candid look at careers, conflicts and crises in the field of OR/MS' OR/MS Today, 1992, 19, (2), pp. 20-30
30. NUSSBAUM, M., GHIDINI, R., and SEPULVEDA, M.: 'VIS1 PLAN: An expert system for optimization problems'. 3rd Pacif " Rim international conference on Artificial Intelligence Beiiin, China, 1994
31. SEPÚLVEDA, M., NUSSBAUM, M., and LA VAL, E.: 'A shell for approximation methods'. 3rd Pacific Rim international conference on Artificial Intelligence, Beijing, China, 1994