SmartClients: Constraint Satisfaction as a Paradigm for Scaleable Intelligent Information Systems

Abstract

Many information systems are used in a problem solving context. Examples are travel planning systems, catalogs in electronic commerce, or agenda planning systems. They can be made more useful by integrating problem-solving capabilities into the information systems. This poses the challenge of scaleability: when hundreds of users access a server at the same time, it is important to avoid excessive computational load.

We present the concept of SmartClients: lightweight problem-solving agents based on constraint satisfaction which can carry out the computation- and communication-intensive tasks on the user's computer. We present an example of an air travel planning system based on this technology.

This is a preview of subscription content, log in to check access.

References

  1. 1.

    Borning, A., Duisberg, R., Feldman-Benson, B., Kramer, A., & Woolf, M. (1987). Constraint hierarchies. In Proceedings 1987 ACM Conference on Object-Oriented Programming Systems, Languages and Applications, pages 48–60, Orlando, FL.

  2. 2.

    Choueiry B. Y. (1994). Abstraction Methods for Resource Allocation. PhD thesis, Swiss Federal Institute of Technology, Lausanne.

    Google Scholar 

  3. 3.

    FIPA. (1998). Foundation of Intelligent Physical Agents. http://www.fipa.org.

  4. 4.

    Fox, M. (1987). Constraint-Directed Search: A Case Study of Job-Shop Scheduling. Morgan Kaufmann Publishers, Inc., Pitman, London.

    Google Scholar 

  5. 5.

    Freuder, E. C., & Wallace, R. J. (1992). Partial constraint satisfaction. Artificial Intelligence, 58(1): 21–70.

    Google Scholar 

  6. 6.

    Jango. (1998). Excite Product Finder. http://www.jango.com.

  7. 7.

    Kondrak, G., & van Beek, P. (1997). A theoretical evaluation ofselected backtracking algorithms. Artificial Intelligence, 89: 365–387.

    Google Scholar 

  8. 8.

    Linden, G., Hanks, S. & Lesh, N. (1997). Interactive assessment ofuser preference models: The automated travel assistant. In Proceedings of Sixth International Conference on User Modeling.

  9. 9.

    Mackworth, A. K. (1977). Consistency in networks ofrelations. Artificial Intelligence, 8: 99–118.

    Google Scholar 

  10. 10.

    Pu, P., & Faltings, B. (2000). Enriching buyers' experiences: The SmartClient approach. In CHI: Conference on Human Factors in Computing Systems, The Hague, The Netherlands.

  11. 11.

    Sabin, D., & Freuder, E. C. (1996). Configuration as composite constraint satisfaction. In Proceedings of the Artificial Intelligence and Manufacturing Research Planning Workshop, pages 153–161.

  12. 12.

    Sanjay Mittal, F. F. (1989). Towards a generic model ofconfiguration tasks. In Proceedings of the 11th IJCAI, pages 1395–1401, Detroit, MI.

  13. 13.

    Sathi, A., & Fox, M. S. (1989). Constraint-directed negotiation ofresource allocations. In L. Gasser and M. Huhns, eds., Distributed Artificial Intelligence Volume II, pages 163–194. San Mateo, CA Pitman Publishing; London and Morgan Kaufmann.

  14. 14.

    Stefik, M. (1981). Planning with constraints (MOLGEN: Part 1). Artificial Intelligence, 16(2): 111–140.

    Google Scholar 

  15. 15.

    Torrens, M., Weigel, R., & Faltings, B. (1997). Java Constraint Library: Bringing constraints technology on the Internet using the Java language. In Working Notes of the Workshop on Constraints and Agents, Tehnical Report WS-97-05, AAAI-97, Providence, Rhode Island, USA.

    Google Scholar 

  16. 16.

    Travelocity. (1998). http://www.travelocity.com.

  17. 17.

    Tsang, E. (1993). Foundations of Constraint Satisfaction. London, UK Academic Press.

    Google Scholar 

  18. 18.

    van Beek, P. (1995). CSPLib: A CSP Library Written in C Language. ftp://ftp.cs.ualberta.ca/pub/vanbeek/software.

  19. 19.

    Willmott, S., Calisti, M., Faltings, B., Gonzalez, S. M., Belakdhar, O., & Torrens, M. (2000). CCL: Expressions ofchoice in agent communication. In The Fourth International Conference on MultiAgent Systems (ICMAS-2000), Boston, USA.

Download references

Author information

Affiliations

Authors

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Torrens, M., Faltings, B. & Pu, P. SmartClients: Constraint Satisfaction as a Paradigm for Scaleable Intelligent Information Systems. Constraints 7, 49–69 (2002). https://doi.org/10.1023/A:1017940426216

Download citation

  • constraint satisfaction
  • software agents
  • electronic commerce
  • electronic catalogs
  • configuration
  • information systems