Abstract
Constraint and object have been two important gradients used in programming [1,4], knowledge representation [14] and intelligent system design [15]. The integration of the two is natural, and offers much more power and convenience in programming user interface [2,3,5], representing heterogeneous knowledge, as well as modelling more complex intelligent systems such as reactive ones. We have reported a generic, constraint-based and object-oriented knowledge representation scheme called GISM in [9], in which problem solving and control of intelligent systems programmed in GISM are centred at constraint resolution within object hierarchies. In this paper, we report strategies for such constraint resolution.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Jafar J. and Lassez J.-L., Constraint Logic Programming. In Proceedings of the Fourteenth ACM Principles of Programming Language Conference, Munich, 1987.
Gus Lopez, The Design and Implementation of Kaleidoscope, A Constraint Imperative Programming Language, PhD dissertation, Published as UW Tech Report 97-04-08 April 1997.
Wilson M. and Borning A.. Hierarchical Constraint Logic Programming. Journal of Logic Programming 16(3&4), pages 277–318, 1993.
Bistarell S., Montanari U. and and Rossi F, Semiring-based Constraint Logic Programming, in Proceedings of Fifteenth International Joint Conference on Artificial Intelligence, pages 352–357, 1997.
Myers B. A., McDaniel R. G., Miller R. C., Ferrency A. S., Faulring A., Kyle B. D., Mickish A., Klimovitski A. and Doane P. The Amulet Environment: New Models for Effective User Interface Software Development. IEEE Transactions on Software Engineering, Vol. 23, no. 6. pages 347–365, 1997.
McCarthy J., From here to Human-Level AI, available from URL http://www-formal.stanford.edu/jmc/human.html, 1998.
Freeman-Benson B. N. and Borning A., Integrating Constraints with an Object-Oriented Language, Proceedings of the 1992 European Conference on Object-Oriented Programming, pages 268–286, 1992.
Wang H., Constrained Object Hierarchies—An Architecture for Intelligent Systems, doctoral consortium abstract, appear in Proceedings of Fifteenth International Joint Conference on Artificial Intelligence, page 1546, 1997.
Wang H. and Slaney J. K., Towards Knowledge Encapsulation, Proceedings of The 21st Australasian Computer Science Conference, Perth, 1998.
George W. Ernst and Allen Newell, GPS: A Case Study in Generality and Problem Solving, Academic Press, 1969.
Simon H. A., The Science of the Artificial, 2nd ed., MIT Press, Cambridge, Mass., 1981.
Park T. J. and Gelder A. V., Partitioning Method for Satisfiability Testing on Large Formulas, CADE-13: 13th International Conference on Automated Deduction, New Brunswick, New Jersey, Page 748–762, 1996.
Ying Zhang and Alan K. Mackworth, Parallel and Distributed finite constraint satisfaction: complexity, algorithms and experiments, in Parallel Processing for Artificial Intelligence, Elsevier/North Holland, 1993.
Jérôme Gensel, Integrating Constraints in an Object-Oriented Knowledge Representation System, in Mafred Meyer (ed.) Constraint Processing, pages 67–83, Springer, 1995.
Kinny D. and Georgeff, Modelling and Designing of Multi-Agent System, in Jörg P. Müller et al. (eds.) Intelligent Agent III, Springer-Verlag, LNAI 1193, pages 1–20, 1997.
Zhang C. and Lukose D., Multi-Agent Systems—Methodologies and Applications, Lecture Notes in Artificial Intelligence (LNAI-1286), Springer-Verlag, page 196, 1997.
Pascal V. Hentenryck and Vijay A. Saraswat, Strategic Directions in Constraint Programming, Computing Surveys 28(4), pages 701–726, 1996.
Bjarne Stroustrup, The C++ Programming Language, Addison Wesley, 1993.
Frederick S. Hillier et al., Introduction to Operations Research, McGraw-Hill Publishing Company, 1990.
Hongxue W. and John S., U ni L og: A Unified Logic Framework, accepted for The 1998 Australasian Association for Logic Conference, also available from URL: http://cs.anu.edu.au/people/Hongxue.Wang/publication/unilog.ps, 1998.
H. Wang, Distributed Scheduling within Constrained Object Hierarchies, in Proceedings of International Symposium on Operations Research and its Applications (ISORA’98), Kunming, China, 1998.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wang, H. (1998). Constraint resolution within object hierarchies. In: Antoniou, G., Slaney, J. (eds) Advanced Topics in Artificial Intelligence. AI 1998. Lecture Notes in Computer Science, vol 1502. Springer, Berlin, Heidelberg . https://doi.org/10.1007/BFb0095057
Download citation
DOI: https://doi.org/10.1007/BFb0095057
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65138-3
Online ISBN: 978-3-540-49561-1
eBook Packages: Springer Book Archive