This Article 
 Bibliographic References 
 Add to: 
A Planning Aid: An Intelligent Modeling System for Planning Problems Based on Constraint Satisfaction
August 1992 (vol. 4 no. 4)
pp. 317-335

Constraint satisfaction problems have been extensively studied by researchers in both the operations research (OR) and artificial intelligence (AI) areas. The research aimed at integrating the two approaches so that some of their limitations can be removed is described. Specifically, a knowledge-based system that formulates and maintains OR models for manufacturing planning purposes is presented. Domain-specific knowledge allows synthesis of various qualitative relationships into mathematical relationships and its identification of various dependencies between symbolic and mathematical models. The modeler component engages in a search process to identify the simplest model that can be formulated. A truth maintenance system, specifically designed to support modeling for planning, allows the user to explore various scenarios to arrive at an appropriate plan. Preliminary experiments indicate that human planners are able to formulate models that are equivalent to those formulated by experienced OR modelers for various planning problems.

[1] J. Allen and J. Koomen, "Planning using temporal world model," inProc. IJCAI, 1983, pp. 741-747.
[2] M. S. Bazaraa and C. M. Shetty,Nonlinear Programming: Theory and Applications. New York: Wiley, 1979.
[3] R. Bellman,Dynamic Programming. Princeton, NJ: Princeton University Press, 1957.
[4] G. Dantzig,Linear Programming and Extensions. Princeton, NJ: Princeton University, 1963.
[5] J. de Kleer, "An assumption-based TMS,"Artificial Intell., vol. 28, pp. 127-162, 1986.
[6] J. De Kleer, "Problem solving with the ATMS,"Artif. Intell., vol 28, no. 2, Mar. 1986.
[7] V. Dhar and A. Croker, "Knowledge-based decision support in business: Issues and a solution,"IEEE Expert, spring 1988.
[8] V. Dhar, and H. E. Pople, "Rule-based versus structure-based models for explaining and generating expert behavior,"Commun. ACM, vol. 30, pp. 542-555, 1987.
[9] V. Dhar and N. Ranganathan, "Experiments with an Integer programming formulation of an expert system," MCC Tech. Rep. ACT-AI- 022-89 Rev 1, 1989.
[10] J. A. Doyle, "Truth maintenance system,"Artif. Intell., June 1979.
[11] C. Eastman, "Preliminary report on a system for general general space planning, "Commun. ACM, vol. 15, pp. 76-87, 1972.
[12] J. Feldman and R. F. Sproull, "Decision theory and artificial intelligence II: The hungry monkey," Tech. Rep., Dep. Comput. Sci., Univ. Rochester, 1977.
[13] M. Fox, "Job shop scheduling: An investigation in constraint directed reasoning," Ph.D dissertation, Carnegie-Mellon Univ., 1983.
[14] R. S. Garfinkel and G. L. Nemhauser,Integer Programming. New York: Wiley, 1972.
[15] V. Goel and P. Pirolli, "Motivating the notion of generic design within information processing theory: The design problem space,"AI Mag., pp. 19-36, Spring 1989.
[16] J. N. Hooker, "A quantitative approach to logical inference,"Decision Support Syst., vol 4, no 1, 1988.
[17] R. G. Jeroslow and J. K. Lowe, "Experimental results on the new techniques for integer programming formulation,"J. Oper. Res. Soc., vol. 36, pp. 393-403, 1985.
[18] L. A. Johnson and D. C. Montgomery,Operations Research in Production Planning, Scheduling and Inventory Control. New York: Wiley, 1974.
[19] A. K. Mackworth, "Constraint satisfaction," inEncyclopedia of Artificial Intelligence, S. C. Shapiro, ed. New York: Wiley, 1987.
[20] S. Marcus and J. McDermott, "SALT: A knowledge acquisition language for propose-and-revise systems,"Artif. Intell., vol. 39, no. 11, pp. 1-37.
[21] S. Marcus, J. Stout, and J. McDermott, "VT: An expert elevator designer that uses knowledge based backtracking,"AI Mag., pp. 95-112, spring 1988.
[22] D. McAllester, "Reasoning utility package," AI Lab. Memo 667, MIT, Cambridge, MA, 1982.
[23] D. McDermott, "Contexts and data dependencies: A synthesis,"IEEE Trans. Patt. Anal. Mach. Intell., vol. PAMI-5, pp. 237-246, 1983.
[24] D. Moon and D. Weinrab,Lisp Machine Manual, MIT, Cambridge, MA, 1981.
[25] A. Newell, and H. A. Simon,Human Problem Solving.Englewood Cliffs, NJ: Prentice Hall, 1977.
[26] N. Nilsson,Principles of Artificial Intelligence. Palo Alto, CA: Tioga, 1980.
[27] W. J. Orlikowski and V. Dhar, "Imposing structure on linear programming problems: An analysis of expert and novice models," inProc. Nat. Conf. on Artificial Intelligence, Philadelphia, PA, 1986.
[28] C. J. Petrie, "Reason maintenance in expert systems," MCC Tech. Rep. ACT-AI-021-89, Austin, TX, 1989.
[29] C. J. Petrie, R. L. Causey, D. D. Steiner and V. Dhar, "A planning problem: Revisable academic course scheduling," MCC Tech. Rep. ACT-AI-020-89, Austin, TX, 1989.
[30] S. Raghunathan, "An artificial intelligence approach to the formulation and maintenance of models," Doctoral dissertation, Joseph M. Katz Graduate School of Business, Univ. Pittsburgh, Pittsburgh, PA, 1990.
[31] J. Rit, "Propagating temporal constraints for scheduling," inProc. Fifth Nat. Conf. on AI, Philadelphia, PA, 1986, pp. 383-388.
[32] L. Schrage,Linear, Integer, and, Quadratic programming with LINDO. Palo Alto, CA: Scientific, 1984.
[33] H. A. Simon, "The structure of ill-structured problems,"Artif. Intell., vol. 4, no. 3, Sept. 1973.
[34] M. Stefik, "Planning with constraints:(MOLGEN: Part I),"Artif. Intell., vol. 16, pp. 111-150, 1980.
[35] R. Stallman, and G. Sussman, "Forward reasoning and dependency-directed backtracking for computer aided circuit analysis,"Artif. Intell., vol. 9, pp. 135-196, Dec. 1977.
[36] H. M. Wagner,Principles of Operations Research. Englewood Cliffs, NJ: Prentice-Hall, 1975.
[37] L. J. Watters, "Reduction of integer polynomial programming problems to 0-1 linear programming problems,"Oper. Res., 15, 1967, pp. 1171-1174.

Index Terms:
domain specific knowledge; symbolic models; planning aid; intelligent modeling system; planning problems; constraint satisfaction; operations research; artificial intelligence; knowledge-based system; manufacturing planning; qualitative relationships; mathematical relationships; mathematical models; truth maintenance system; artificial intelligence; constraint theory; knowledge based systems; manufacturing computer control; manufacturing data processing; operations research
S. Raghunathan, "A Planning Aid: An Intelligent Modeling System for Planning Problems Based on Constraint Satisfaction," IEEE Transactions on Knowledge and Data Engineering, vol. 4, no. 4, pp. 317-335, Aug. 1992, doi:10.1109/69.149927
Usage of this product signifies your acceptance of the Terms of Use.