This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
RAPS: A Rule-Based Language for Specifying Resource Allocation and Time-Tabling Problems
October 1994 (vol. 6 no. 5)
pp. 681-697

A general language for specifying resource allocation and time-tabling problems is presented. The language is based on an expert system paradigm that was developed previously by the authors and that enables the solution of resource allocation problems by using experts' knowledge and heuristics. The language enables the specification of a problem in terms of resources, activities, allocation rules, and constraints, and thus provides a convenient knowledge acquisition tool. The language syntax is powerful and allows the specification of rules and constraints that are very difficult to formulate with traditional approaches, and it also supports the specification of various control and backtracking strategies. We constructed a generalized inference engine that runs compiled resource allocation problem specification language (RAPS) programs and provides all necessary control structures. This engine acts as an expert system shell and is called expert system for resource allocation (ESRA). The performance of RAPS combined with ESRA is demonstrated by analyzing its solution of a typical resource allocation problem.

[1] D. Anderdon and C. Ortiz, "AALPS: A knowledge based system for aircraft loading,"IEEE Expert, vol. 2, no. 1, winter 1987, pp. 71-81.
[2] M. Ben-Basat, Y. Kfir, Z. Melamed, D. Schapiro, and A. Shapiro, "The W-6 approach to multi-dimensional scheduling: Where AI and operations research meet,"Proc. IEEE Int. Conf. Syst., Man, Cybernetics, 1990.
[3] R. P. Brazil and M. K. Swigger, "GATES: An airline gates assignment and tracking expert system,"IEEE Expert, vol. 3, pp. 33-40, Summer 1988.
[4] I. Buchanan, P. Burke, J. Costello, and P. Prosser, "A distributed asynchronous scheduler," Tech. Rep. AISL-36-88, Univ. of Strathclyde, Glasgow, Scotland, Nov. 1988.
[5] M. Carter, "A survey of practical applications of examination timetabling algorithms,"OR Practice, vol. 34, no. 2, pp. 193-202, Mar.-Apr. 1986.
[6] J. Cohen, "Constraint logic programming languages,"Commun. ACM, vol. 33, pp. 52-68, July 1990.
[7] A. Colmerauer, "An introduction to Prolog III,"Commun. ACM, vol. 33, pp. 69-90, July 1990.
[8] R. Dechter and J. Pearl, "Network-based heuristics for constraint-satisfaction problems,"Artificial Intell., vol. 34, pp. 1-37, 1988.
[9] V. Dhar and N. Ranganathan, "Integer programming vs. expert systems: an experimental comparison,"Commun. ACM, vol. 33, pp. 338-348, Mar. 1990.
[10] R. Feldman and M. Golumbic, "Interactive scheduling as a constraint labeling problem,"Annals of Mathematics and Artificial Intell., vol. 1, pp. 49-73, 1990.
[11] M. S. Fox and S. F. Smith, "ISIS: A knowledge-based system for factory scheduling,"Expert Syst., vol. 1, no. 1, pp. 25-49, 1984.
[12] E. Gudes, T. Kuflik, and A. Meisels, "On resource allocation by an expert system,"Eng. Applic. Artificial Intell., vol. 3, pp. 101-109, June 1990.
[13] F. Hayes-Rothet al., Building Expert Systems. New York: Addison Wesley, 1983.
[14] P. Jackson,An Introduction to Expert Systems, Addison-Wesley, Reading, Mass., 1986.
[15] S. C. Johnson, "Yacc: Yet another compiler compiler," Computing Sci. Tech. Rep. 32, AT&T Bell Laboratories, Murray Hill, NJ, USA, 1975.
[16] B. W. Kemighan and M. D. Ritchie,The C Programmig Language, 2nd ed. Englewood Cliffs, NJ: Prentice-Hall, 1988.
[17] R. E. Korf, "Macro-operators: A Weak method for learning,"Artificial Intell., vol. 26, pp. 35-77, 1985.
[18] G. Laporte and S. Desroches, "The problem of assigning students to course sections in a large engineering school,"Comput. and Operations Res., vol. 13, pp. 387-94, 1986.
[19] M. E. Lesk, "Lex: A lexical analyzer generator," Computing Sci. Tech. Rep. 39, AT&T Bell Laboratories, Murray Hill, NJ, USA, 1975.
[20] P. Levine and J.C. Pomerol, "Railcar distribution at the French railways,"IEEE Expert, vol. 5, pp. 61-69, Oct. 1990.
[21] S. Marcus, "Understanding decision ordering from a piecemeal collection of knowledge,"Knowl. Acquisition, vol. 1, pp. 279-298, 1989.
[22] J. McDermott, "Rl: A rule-based configurer of computer systems,"Artificial Intell., vol. 19, 1982, pp. 39-88.
[23] A. Meisels, E. Gudes, and T. Kuflik, "Limited-resource time-tabling by a generalized expert system,"Knowl.-Based Syst., vol. 4, pp. 215-224, Dec. 1991.
[24] C. C. Meng and M. Sullivan, "Logos: A constraint-directed reasoning shell for operations management,"IEEE Expert, Feb. 1991.
[25] W. Mettry, "A comparative evaluation of expert systems tools,"Comput., vol. 24, pp. 19-31, Feb. 1991.
[26] A. Monfroglio, "Time-tabling through a deductive database: A case study,"Data Knowl. Eng., vol. 3, pp. 1-27, Aug. 1988.
[27] P. Prosser, "A reactive scheduling agent,"Proc. IJCAI -- 89, Aug. 1989.
[28] Quintus Computer Systems,Quintus Prolog User's Guide Version 10, Mountain View, CA, USA, Mar. 1987.
[29] P. Reisner, "Human factors studies of database query languages: A survey and assesment,ACM Computing Surv., vol. 13, no. 1, Mar. 1981.
[30] J.R. Slagle and H. Hamburger, "An expert system for a resource allocation problem,"Commun. ACM, vol. 28, no. 9, pp. 994-1004, Sept. 1985.
[31] G. Solotorevsky, "RAPS: A rule-based language for specifying resource allocation problems," M.Sc. thesis, Dept. of Mathematics and Comput. Sci., Ben-Gurion Univ. of the Negev, Beer-Sheva, Israel, 1991.
[32] R. M. Stallman, "EMACS: The extensible, customizable, self-documenting display editor," inProc. ACM SIGPLAN/SIGOA Symp. Text Manipulation, pp. 147-156, June 1981.
[33] J. S. Sussman and G. R. S. Steel, "CONSTRAINTS: A language for expressing almost-hierarchical descriptions,"Artificial Intell., vol. 14, pp. 1-39, 1980.
[34] J. D. Ullman,Principles of Databases Systems. Rockville, MD: Computer Science Press, 1982.
[35] P. Van Hentenryck,Constraint Satisfaction in Logic Programming, MIT Press, Cambridge, Mass., 1989.
[36] A. J. Wald, "Implementing constraints in a knowledge base,"Proc. 2nd Int. Conf. Expert Database Syst.Redwood City, CA: Benjamin/Cummings, 1989, pp. 163-183.

Index Terms:
resource allocation; knowledge acquisition; specification languages; expert systems; formal specification; scheduling; inference mechanisms; RAPS; rule-based language; resource allocation specification; time-tabling problems; expert system paradigm; resource allocation problems; heuristics; specification language; allocation rules; knowledge acquisition tool; language syntax; rule specification; backtracking; generalized inference engine; compiled resource allocation problem specification; ESRA; Prolog
Citation:
G. Solotorevsky, E. Gudes, A. Meisels, "RAPS: A Rule-Based Language for Specifying Resource Allocation and Time-Tabling Problems," IEEE Transactions on Knowledge and Data Engineering, vol. 6, no. 5, pp. 681-697, Oct. 1994, doi:10.1109/69.317700
Usage of this product signifies your acceptance of the Terms of Use.